Google DeepMind's AlphaProof Nexus solved nine longstanding Erdős problems with Lean-verified proofs, sparking debates about AI progress and its limitations.
The computing resources used were worth just $100
May 25, 2026
12:27 pm
What's the storyGoogle's DeepMind has announced that its AI system, AlphaProof Nexus, has autonomously solved nine open Erdos problems.
The mathematical puzzles were first posed by the legendary mathematician Paul Erdos in 1946 and some had remained unsolved for as long as 56 years.
Google Deepmind's AlphaProof Nexus solves decades-old math problems for a few hundred dollars
Google DeepMind's AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
OpenAI smonta una congettura geometrica di 80 anni, ma Google risolve 9 problemi di Erdős con meno clamore
It Feels Like We're Days Away From The Crash
OpenAI claims its AI model solves 80-year-old math conjecture
OpenAI claims it solved an 80-year-old math problem — for real this time | TechCrunch
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
The first AI proof worthy of math's top journal landed and it won't be the last
AI cracks 80-year-old mathematics challenge — researchers are astonished
An AI solution to an 80-year-old problem has shocked mathematicians
Google Deepmind's AlphaProof Nexus has autonomously solved nine open Erdős problems, including two that stumped mathematicians…
Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems and proved 44 OEIS conjectures using AI-driven formal…
Il caso OpenAI ha attirato l’attenzione, ma AlphaProof Nexus ha chiuso 9 problemi di Erdős con verifiche formali in Lean. Il…
What could pop the AI bubble...and assets to own during a market crisis
OpenAI says its reasoning model autonomously disproved an 80-year-old math conjecture by Paul Erdős, with implications for smart…
Version of company’s Gemini 2.5 AI model solved complex real-world problem that stumped human programmers
