Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Quick Answer
Google DeepMind's AlphaProof Nexus independently solved nine open Erdős problems and 44 conjectures, showcasing significant advancements in AI-driven mathematics.
Quick Take
The model, built on Gemini 3.1 Pro, underwent peer review, contrasting with OpenAI's recent approach of publishing proofs on GitHub. This development highlights the ongoing debate over AI's role in mathematical research.
Key Points
- AlphaProof Nexus solved nine out of 353 open Erdős problems, including two unsolved for 56 years.
- The AI proved 44 conjectures from the OEIS integer sequence database and improved optimization bounds.
- It utilizes Gemini 3.1 Pro and the Lean formal language for drafting and revising proofs.
- DeepMind's work was peer-reviewed, contrasting with OpenAI's method of releasing proofs on GitHub.
- The study adds to the ongoing debate over the role of AI in mathematics.
📖 Reader Mode
~1 min readGoogle Deepmind's AI solved dozens of open math problems on its own, per a new study in Science. AlphaProof Nexus cracked nine of 353 open Erdős problems, two unsolved for 56 years. The team shared those solutions online ahead of the paper.
Beyond that, AlphaProof Nexus proved 44 conjectures from the OEIS integer sequence database, solved an open question in algebraic geometry, and improved a known bound in min-max optimization, a technique used to train some AI models. It's built around Gemini 3.1 Pro, which drafts and revises proofs in the formal language Lean. Lean checks each draft after every edit, and error messages guide the next attempt. For harder sub-problems, it can call on AlphaProof, a specialized proof tool. Even without AlphaProof, it solved the nine Erdős problems, Google Deepmind reports.
The study lands amid a heated debate over AI math. OpenAI recently dumped hundreds of AI proofs on GitHub instead of submitting them to journals. The Association for Human Mathematics, led by Terence Tao, called for a boycott. Deepmind put its work through peer review.
— Originally published at the-decoder.com
Want this in your inbox every morning?
Daily brief at your local 8am — bilingual EN/中文, free.
More from The Decoder
See more →
An AI model programmed nonstop for 19 days on a single MirrorCode task that cost $2,600 to run
Epoch AI's MirrorCode benchmark reveals Claude Opus 4.7 as the leader with a 56% solve rate, reconstructing a 16,000-line toolkit in 14 hours. Despite this, all models tested struggle with the most complex tasks, highlighting limitations in current AI capabilities. The single task consumed $2,600 over 19 days, raising questions about cost-effectiveness in AI development.
