Skip to content
K = 0.731

Google DeepMind’s AlphaProof Nexus Solves Open Math Problems in Peer-Reviewed Study

1 reports 1 reporting sources 5 days agoNew

Understand the event

AI overview

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.

Generated by AI from reports · Updated 5 days ago

Latest development10/12 17:35 (UTC+8)
Google DeepMind’s AlphaProof Nexus solves dozens of open math problems in peer-reviewed studyThe Decoder

Report timeline

Follow the reports to explore different sides of the event.

10/12
  1. The DecoderPicks
    Google DeepMind’s AlphaProof Nexus solves dozens of open math problems in peer-reviewed study

    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.

Event heat trend

可比范围当前
3
Peak within comparable coverage
1010/12 19:00 (UTC+8)
近 24 小时变化
-51%

Trends compare the same continuously observed participants, which may cover fewer sources than current heat. Point or click to inspect hourly heat, or use left and right arrow keys.

Keep reading

Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation Pipeline

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