Google DeepMind’s AlphaProof Nexus solves dozens of open math problems in peer-reviewed study

What happened

Google DeepMind’s AlphaProof Nexus solved dozens of open math problems, according to a peer-reviewed study in Science, including nine of 353 open Erdős problems, two unsolved for 56 years. It also proved 44 OEIS conjectures, solved an open algebraic geometry question, and improved a min-max optimization bound. Built around Gemini 3.1 Pro, it drafts and revises proofs in Lean using checker feedback and can call AlphaProof for harder sub-problems, though DeepMind reports it solved the nine Erdős problems without that tool.

The story so far

Google DeepMind reported in a peer-reviewed study in Science that its AlphaProof Nexus system solved dozens of open math problems, including nine of 353 open Erdős problems, two of which had remained unsolved for 56 years. The reported results also include proofs of 44 OEIS conjectures, a solution to an open algebraic geometry question, and an improved bound for min-max optimization. Built around Gemini 3.1 Pro, AlphaProof Nexus drafts and revises proofs in Lean using feedback from a proof checker. It can call AlphaProof to tackle harder sub-problems, but DeepMind said it solved the nine Erdős problems without using that tool.

Keep reading

Trending now

1. 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
2. 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
3. 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
4. 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights