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

What happened

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed, according to The Decoder. 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. Google is an Internet and software company based in Mountain View.

Deepmind had its results reviewed before publishing. Short News Copy the url to clipboard Share this article Go to comment section 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.