AlphaProof Nexus Solves Multiple Public Math Challenges
Understand the story
On October 12, 2026, The Decoder reported that research published by Google DeepMind in Science shows its AI system AlphaProof Nexus independently solved 9 of 353 open Erdős problems, two of which had stood for 56 years. The system also proved 44 conjectures from the OEIS integer sequence library, solved an open problem in algebraic geometry, and improved known bounds in min-max optimization. The results have passed peer review. Only this one report has appeared so far, with no follow-up responses or independent verification yet.
AI overview of reporting · Updated 6 days ago
Reporting timeline
Explore different aspects of the story through its reporting.
- The DecoderGoogle Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed
Research published in Science by Google DeepMind shows its AlphaProof Nexus independently solved 9 of 353 open Erdős problems, two of which had stood for 56 years, proved 44 conjectures in the OEIS integer sequence database, solved an open algebraic geometry problem, and improved known bounds for min-max optimization.
Story heat trend
Current heat3·Comparable peak10（10/12 19:00）·Comparable change over 24 hours -51%
The trend compares the same continuously observed sources, which may cover fewer sources than the current heat score. Hover or select the chart to inspect each hour; use the left and right arrow keys to navigate.