Driving AI Giants Toward Profitability: Mapping Mathematics and AI World Models

Tech stock declines highlight unsustainable AI spending; EssentaTor proposes Mapping Mathematics for durable, efficient intelligence systems.
VentureBeat

New open-source math model Light-R1-32B surpasses equivalent DeepSeek performance with only $1000 in training costs

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...
The Conversation

Mathematical modelling: a language that explains the real world

Mining is one of the industries that’s helped by mathematical modelling: models can predict ceiling collapses and keep miners safe. Sunshine Seeds/Shutterstock/For editorial use only Imagine dropping ...
Reuters

Math Magic Launches Hitem3D, World’s First 1536^3 Ultra-High-Resolution AI 3D Model Generator

HONG KONG, July 11, 2025 (EZ Newswire) -- Math Magic has officially launched Hitem3D, opens new tab, the world’s first AI-powered tool for 3D content creation that supports ultra-high-resolution ...
TechCrunch

DeepSeek upgrades its math-focused AI model Prover

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...