AI models are starting to crack high-level math problems

“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...
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 ...
VentureBeat

Microsoft’s new Orca-Math AI outperforms models 10x larger

Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Students and STEM researchers of the world, rejoice! Particularly if you ...
The Chronicle of Higher Education

A Tech-Based Model to Teach Math Has Spread Across Higher Education. But for Some Students, Could It Do More Harm Than Good?

Two decades ago, a new way of teaching math drew interest and caught fire across higher education. Instead of having students sit in a lecture hall listening to a professor walk through mathematical ...
NextBigFuture

AI Large Language Model Math Breakthroughs

AI large language models have been especially weak on math. There are now several papers from Google Deep Mind, Alibaba and other universities where AI large language models are at Math Olympiad ...
GIGAZINE

DeepSeek releases AI model 'DeepSeek-Math-V2' specialized for mathematical reasoning, achieving a gold medal-level accuracy rate at the International Mathematical Olympiad

DeepSeek released DeepSeek-Math-V2, an AI model specialized for mathematical reasoning, on November 27, 2025. DeepSeek-Math-V2 focuses on theorem proving and self-verification capabilities, and ...