AlphaProof

Benefit

+1.39

Harm

0.00

Net Good

1.39

Verified benefit

1.39

History

Cumulative score

Domains

Mathematics1.39

Release

Status released. First dated 25 Jul 2024.

Event timeline

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.39