Science publishes AlphaProof Nexus, the Google DeepMind system that solved 9 Erdős problems with Lean-verified proofs
Science published Google DeepMind’s paper on AlphaProof Nexus on October 8, 2026, describing an agent framework that produces formal proofs verified in Lean and solved 9 of 353 attempted Erdős problems and 44 of 492 open OEIS conjectures.
