SettledResearch
DeepMind's AlphaProof Nexus resolves 9 open Erdős problems, now in Science
Google DeepMind's AlphaProof Nexus agent writes proofs in Lean and resolved 9 of 353 open Erdős problems autonomously and proved 44 of 492 OEIS conjectures, per its arXiv paper, which puts the cost at a few hundred dollars per problem. The Decoder reports the work has now been published in Science after peer review; we could not open the journal page.
- HEAT
- OUTLETS
- 1
- FIRST SEEN
- LAST SIGNAL
Primary source
arXiv (Google DeepMind)arxiv.org/abs/2605.22763Coverage · 2 articles, oldest first
Monday, October 12, 2026