Mathematics is the foundation of countless sciences, allowing us to model things like planetary orbits, atomic motion, signal frequencies, protein folding, and more. Moreover, it’s a valuable ...

Learn More Microsoft is doubling down on the potential of small language models (SLMs) with the unveiling of rStar-Math, a new reasoning technique that can be applied to small models to boost ...

The models use inference-time compute, breaking queries into smaller, manageable tasks. DeepSeek's DeepThink mode shows its thought process, solving challenging math problems. Chinese AI lab ...

Google DeepMind researchers recently developed a technique to improve math ability in AI language models like ChatGPT by using other AI models to improve prompting—the written instructions that ...

What happens when two bright and conscientious parents, without planning to do so, create one of the most ambitious math acceleration programs in the country? Jason and Sandy Roberts started the ...

The benchmark tests AI language models (such as GPT-4o, which powers ChatGPT) against original mathematics problems that typically require hours or days for specialist mathematicians to complete.

Microsoft has introduced a new set of small language models called Phi-4-reasoning, Phi-4-reasoning-plus, and Phi-4-mini-reasoning, which are described as "marking a new era for efficient AI.

[W]e investigate the fragility of mathematical reasoning in these models and demonstrate that their performance significantly deteriorates as the number of clauses in a question increases.

DeepSeek’s Prover series consists of domain-specific models designed to solve math-related problems. The company has yet to provide any details about the model on its Hugging Face page.