DeepMind AlphaProof Nexus Solves 9 Erdős Problems, 2 Open for 56 Years
Google DeepMind released AlphaProof Nexus, an agentic framework for formal proof search powered by Gemini. The system autonomously solved nine open Erdős problems — including two unresolved for 56 years — plus 44 problems from the OEIS database, a 15-year open problem in algebraic geometry, and a 7-year open question in min-max optimization. The work involves active collaboration with mathematicians across combinatorics, graph theory, and quantum optics. Paper available at arxiv.org/abs/2605.22763v1.
Why It Matters
Solving decades-old conjectures across multiple mathematical domains crosses the "assistant to researcher" threshold. These are formally verified proofs of open problems — not synthetic benchmark scores — with the 56-year mark setting a new depth threshold for AI mathematical reasoning.