AlphaProof
A family is a named generation or product line. Scores below are the sum of its named releases and any documented internal systems in the same line.
Benefit
+0.14
Harm
0.00
Net Good
0.14
Releases
Leaderboard
| Rank | Model | Organization | Benefit | Harm | Net | Events | Last impact |
|---|---|---|---|---|---|---|---|
| 59 | AlphaProof | Google DeepMind | +0.14 | 0.00 | 0.14 | 1 | 21 May 2026 |
Timeline
- Benefit
- Harm
- Net
Events
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+4.29
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.98