OpenAI released 719 manuscripts claiming solutions to hard math problems, but fell short of guidelines from a Princeton IAS-hosted advisory group, with few chain-of-thought releases and incomplete formalization. A Cambri...
OpenAI has published new findings demonstrating an internal frontier model solving open mathematical problems. The organization also made formal proofs in the Lean language and related research details accessible on GitH...
NYU mathematician Tristan Buckmaster and Anthropic's Levent Alpöge announced three proofs, including a preliminary result on the Navier-Stokes existence and smoothness Millennium Prize problem, produced with heavy use of...
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...
