AlphaGeometry
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
+3.37
Harm
0.00
Net Good
3.37
Releases
Leaderboard
| Rank | Model | Organization | Benefit | Harm | Net | Events | Last impact |
|---|---|---|---|---|---|---|---|
| 5 | AlphaGeometry | Google DeepMind | +2.77 | 0.00 | 2.77 | 1 | 17 Jan 2024 |
| 36 | AlphaGeometry 2 | Google DeepMind | +0.59 | 0.00 | 0.59 | 1 | 25 Jul 2024 |
Timeline
Events
Benefit25 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 Major+1.98
Benefit17 Jan 2024
AlphaGeometry solves olympiad plane-geometry problems without human proof data
DeepMind’s neuro-symbolic AlphaGeometry solved 25 of 30 IMO-AG-30 geometry problems in a Nature paper, approaching average human gold-medalist performance on that set.
MathematicsverifiedTier 3 Major+2.77