DeepMind's AlphaProof Nexus solves 9 Erdős problems, 2 open 56 years, passes peer review in Science
Hesamation · x · 2026-10-12
Google DeepMind's AlphaProof Nexus solved 9 of 353 open Erdős problems—two open for 56 years—and the results passed peer review and were published in Science.
- It also proved 44 OEIS conjectures, solved an open algebraic geometry question, and improved a known bound in min-max optimization used in AI training
- Built around Gemini 3.1 Pro, it drafts and revises proofs in Lean, with Lean checking each edit; harder sub-problems can call the specialized AlphaProof tool, though Gemini alone sufficed for the nine problems
- Cost was only a few hundred dollars per problem
- Context: OpenAI recently dumped hundreds of AI proofs on GitHub instead of submitting to journals, prompting a boycott call from the Association for Human Mathematics led by Terence Tao—DeepMind's peer-reviewed route stands in contrast
Related event: DeepMind's AlphaProof Nexus Solves Erdős Problems, Published in Science(2 posts)→
More from AGI Musings
- NYC coffee shop spot check: only 6 of 22 laptops used AI, all ChatGPT — thedealdirector · 2026-10-12
- Sandberg: treat papers like software projects in need of patching — anderssandberg · 2026-10-12
- Anders Sandberg: AI-assisted reviewing will force science into an era of super-rigor — anderssandberg · 2026-10-12
- Merzmensch publishes essay arguing AI is creative only in collaboration with humans — Merzmensch · 2026-10-12
- Would Coca-Cola Build Its Own AI? A Debate on Why Fortune 500 Firms Balk at Frontier-Lab AI — binarybits · 2026-10-12
- Karpathy: 75% of the world hasn't touched LLMs while 5,000 see frontier agent swarms — The Decoder · 2026-10-12