AlphaProof
Benefit
+0.14
Harm
0.00
Net Good
0.14
Verified benefit
0.00
History
Cumulative score
- Benefit
- Harm
- Net
Domains
Release
Status released. First dated 25 Jul 2024.
Event timeline
Benefit21 May 2026
AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures
A 21 May 2026 DeepMind preprint reports formal proofs for nine of 353 Erdős problem instances and 44 of 492 OEIS conjectures, plus research collaborations. Its Gemini-led agents publish Lean artifacts; independent records distinguish full, partial, and variant results.
MathematicsprovisionalTier 3 Major+0.14
Capability25 Jul 2024
AlphaProof and AlphaGeometry 2 reach silver-medal standard on IMO 2024
DeepMind’s AlphaProof and AlphaGeometry 2 solved four of six IMO 2024 problems for 28 of 42 points, scored by Timothy Gowers and Joseph Myers, one point below that year’s gold cutoff.
MathematicsverifiedTier 3 Major1.39