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
0.00
Harm
0.00
Net Good
0.00
Releases
Leaderboard
| Rank | Model | Organization | Benefit | Harm | Net | Events | Last impact |
|---|
Timeline
- Benefit
- Harm
- Net
Events
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
Capability17 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 Major2.77