Mathematics & Algorithms · Recorded milestone
AI agents clear open problems at scale
Recorded year2026
In May 2026 Google DeepMind's AlphaProof Nexus settles 9 open Erdős problems and 44 OEIS conjectures, each checked in Lean.
Explore this milestone on the interactive mapBuilt on
Led to
- AI Navier-Stokes blow-up proof (claimed)Recorded · 2026enables
- Textbook maths auto-formalisedForecast · ~2027enables
- AI co-authors most new mathematicsForecast · ~2028enables
- Erdős problem list largely clearedForecast · ~2028enables
- Verified-by-default softwareForecast · ~2028enables
- Formal-by-default mathematicsForecast · ~2029enables
Sources & evidence
Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.