Mathematical Reasoning AI News & Updates
AI Language Models Demonstrate Breakthrough in Solving Advanced Mathematical Problems
OpenAI's latest model GPT 5.2 and Google's AlphaEvolve have successfully solved multiple open problems from mathematician Paul Erdős's collection of over 1,000 unsolved conjectures. Since Christmas, 15 problems have been...
OpenAI Criticized for Overstating GPT-5 Mathematical Problem-Solving Capabilities
OpenAI researchers initially claimed GPT-5 solved 10 previously unsolved Erdős mathematical problems, prompting criticism from AI leaders including Meta's Yann LeCun and Google DeepMind's Demis Hassabis. Mathematician Th...
OpenAI and Google AI Models Achieve Gold Medal Performance in International Math Olympiad
AI models from OpenAI and Google DeepMind both achieved gold medal scores in the 2025 International Math Olympiad, demonstrating significant advances in AI reasoning capabilities. The achievement marks a breakthrough in...
DeepSeek Updates Prover V2 for Advanced Mathematical Reasoning
Chinese AI lab DeepSeek has released an upgraded version of its mathematics-focused AI model Prover V2, built on their V3 model with 671 billion parameters using a mixture-of-experts architecture. The company, which prev...
DeepMind's AlphaGeometry2 Surpasses IMO Gold Medalists in Mathematical Problem Solving
Google DeepMind has developed AlphaGeometry2, an AI system that can solve 84% of International Mathematical Olympiad geometry problems from the past 25 years, outperforming the average gold medalist. The system combines...