2 articles

AlphaProof

Index of editorial tags and filtered coverage.

Oct 13, 2026Google DeepMind

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.

Jul 25, 2024AlphaProof

AlphaProof and AlphaGeometry: formalization as muscle

DeepMind coupled language models to Lean and synthetic geometry to solve olympiad problems with checkable proofs.