Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

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

At school or in everyday life, proportional reasoning is essential for many activities. This type of reasoning allows us to adapt the quantity of ingredients in a recipe or to calculate the distance ...

There’s a curious contradiction at the heart of today’s most capable AI models that purport to “reason”: They can solve routine math problems with accuracy, yet when faced with formulating deeper ...

Chinese artificial intelligence company DeepSeek has released a mathematical reasoning model that can identify and correct its own errors. The model beat the best human score in one of the world’s ...

As a mathematics education researcher, I study how math instruction impacts students' learning, from following standard math procedures to understanding mathematical concepts. Focusing on the latter, ...