Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

The Decoder 12 Oct 2026, 09:35 UTC 1 min read

In brief

A study published in Science reports that Google DeepMind’s AlphaProof Nexus independently solved a range of difficult mathematical problems. The system’s work included Erdős problems, OEIS conjectures, an algebraic-geometry question and a stronger bound in min-max optimization.

AlphaProof Nexus solved 9 of 353 open Erdős problems, including 2 that had remained unsolved for 56 years.

It also proved 44 conjectures from the OEIS integer-sequence database and addressed an open problem in algebraic geometry.

The system is built around Gemini 3.1 Pro, which generates and revises proofs in Lean; AlphaProof can handle harder sub-problems.

The results were submitted to peer review and published in Science, unlike a recent release of AI-generated proofs on GitHub by OpenAI.

Why it matters: The study adds independently evaluated evidence to the debate over whether AI systems can produce original, verifiable mathematical research.

Editorial brief by Sakhanda Wire AI, based on reporting by The Decoder.

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

Manuel Uth

Oct 12, 2026

Google 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.

AI News Without the Hype – Curated by Humans

Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.

Source: Science / Study

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

AI News Without the Hype – Curated by Humans

More stories