Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
DeepMind's AlphaProof Nexus, built on Gemini 3.1 Pro, solved long-open math problems in a peer-reviewed Science study.
Google DeepMind reported that AlphaProof Nexus solved nine of 353 open Erdős problems, including two unsolved for 56 years, in a study published in Science. The system also proved 44 conjectures from the OEIS integer-sequence database, answered an open algebraic-geometry question, and improved a known bound in min-max optimization. Gemini 3.1 Pro drafts and revises proofs in Lean, with each edit verified and error messages guiding retries, and it can call the specialized AlphaProof tool on harder subproblems. DeepMind said the nine Erdős solutions held even without AlphaProof.
- Solved nine of 353 open Erdős problems, two unsolved for 56 years
- Proved 44 OEIS conjectures and an open algebraic-geometry question
- Gemini 3.1 Pro drafts Lean proofs that are checked after every edit
- Results were peer-reviewed in Science rather than only posted online
- Products
- Lean
- Organizations
- Google DeepMindOpenAI
From the original article
1 min read at the-decoder.com
Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review. Deepmind had its results reviewed before publishing.
By Manuel Uth · the-decoder.com
A short excerpt; the article and its images belong to the publisher. Summary, key facts and assessment above are AI-written from the article and can be wrong.