Benefit Ledger · verified · Mathematics
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.
Current score
+1.98
First widely documented medal-level IMO performance by AI (tier 3). High attribution. Evidence between technical disclosure and later peer review of AlphaProof (0.55). Realization is demonstrated proofs, not contest-time or official medals. Proofs are durable; the medal framing is analogical.
On 25 July 2024, DeepMind reported that AlphaProof (Lean reinforcement learning) solved IMO 2024 problems 1, 2, and 6, and AlphaGeometry 2 solved problem 4. Combinatorics problems 3 and 5 were unsolved. Formalization of statements into Lean was done by humans; computation ran over days, not contest time. A 2025 Nature paper later described AlphaProof. The medal analogy is unofficial: the systems were not contestants.
Found Lean proofs for three non-geometry IMO 2024 problems, including P6.
Solved three of the four solved problems, including the hardest.
Attribution 0.9000 · Credit share 70% · Google DeepMind
Proved the IMO 2024 geometry problem.
Solved the single geometry problem in the four-problem total.
Attribution 0.9000 · Credit share 30% · Google DeepMind
The combined systems solved four of six IMO 2024 problems for 28 points as scored by Gowers and Myers.
outcome · supported
The systems competed as official IMO contestants under contest time limits.
attribution · disputed
primary sources
Google DeepMind · developer announcement · 25 Jul 2024
Nature · peer reviewed · 12 Nov 2025 · peer reviewed
Secondary domains: Computer Science
13 Sep 2026 · 0.00 → 1.98
Initial adjudicated seed score under methodology 0.1.