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