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 ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...

Mathematics, like many other scientific endeavors, is increasingly using artificial intelligence. Of course, math is the backbone of AI, but mathematicians are also turning to these tools for tasks ...

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 ...

Mathematical models that predict policy-driving scenarios - such as how a new pandemic might spread or the future amount of irrigation water needed worldwide - may be too complex and delivering ‘wrong ...

DeepSeek has reportedly open-sourced Prover-V2 model, a new specialist artificial intelligence model, as competition heated up within China's AI industry. The announcement comes a day after Alibaba ...

Microsoft found that small language models can exceed the performance of much larger ones when trained to specialize in a single area. Researchers fine-tuned the Mistral 7B model to create Orca-Math, ...