Google DeepMind's AlphaProof Nexus solves open math problems, published in Science
Overview
Google DeepMind says its AlphaProof Nexus solved nine of 353 open Erdős problems, two of which had gone unsolved for 56 years, according to a peer-reviewed study in Science.
The system is built around Gemini 3.1 Pro, which drafts and revises proofs in the Lean formal proof language.
The study also reports that the system proved 44 OEIS conjectures and improved a known min-max optimization bound. The Erdős solutions were shared online before publication, amid a debate over AI math publication norms.
Written by AI from the articles below · updated Oct 12, 5:54 AM ET
Check the sources:
Article timeline
The articles in this story. Times are ET.
- The DecoderNewsPickGoogle DeepMind's AlphaProof Nexus solves open math problems in a peer-reviewed Science study
AIGoogle DeepMind says its AlphaProof Nexus solved nine of 353 open Erdős problems, two unsolved for 56 years, according to a new study in Science. The system, built around Gemini 3.1 Pro and the Lean proof language, also proved 44 OEIS conjectures and improved a known min-max optimization bound. The article notes that the Erdős solutions were shared online before publication, amid a debate over AI math publication norms.
Heat trend
- Current comparable heat
- 9
- Peak comparable heat
- 10Oct 12, 6:00 AM ET
- Change in past 24 hours
- –
The trend compares only continuously observed participants, so its scope may be smaller than the current heat total. Hover or tap for hourly heat; use arrow keys with a keyboard.