DeepMind AlphaProof Nexus solves dozens of open mathematical problems
Start here
Google DeepMind's AlphaProof Nexus solves dozens of open mathematical problems, and the related research was published in Science and passed peer review. The system solved 9 of 353 open Erdős problems, two of which had been open for 56 years; it also proved 44 conjectures in the OEIS integer sequence database, solved an open problem in algebraic geometry, and improved a known bound in min-max optimization used to train some AI models. The system is based on Gemini 3.1 Pro and uses the Lean formal method.
Generated by AI from reports · Updated 17 hr ago
Progress timeline
- The DecoderSelectedGoogle DeepMind's AlphaProof Nexus solves dozens of open mathematical problems and genuinely passes peer review
Google DeepMind's AlphaProof Nexus solves dozens of open mathematical problems, and the related research was published in Science and passed peer review. The system solved 9 of 353 open Erdős problems, two of which had been open for 56 years; it also proved 44 conjectures in the OEIS integer sequence database, solved an open problem in algebraic geometry, and improved a known bound in min-max optimization used to train some AI models. It is based on Gemini 3.1 Pro and uses the Lean formal language to draft and revise proofs; Lean checks after each revision, error messages guide the next attempt, and AlphaProof can be invoked for harder subproblems; DeepMind says the 9 Erdős problems can be solved without invoking AlphaProof.
Related discussion
Attention trend
New sources per day
- Oct 12New1 sources (1 outlets,0 accounts)
- Oct 13New0 sources (0 outlets,0 accounts)