Google DeepMind announces AlphaProof and AlphaGeometry 2 results at IMO 2024
AlphaProof and AlphaGeometry 2 IMO 2024 results announced — solved 4 of 6 problems, scoring 28 out of 42 points (top of the silver-medal range). AlphaProof trains itself by proving or disproving candidate statements in Lean
Why it matters
Self-training grounded in a formal language reached olympiad level. DeepMind stated explicitly that it would not have been possible without Lean and Mathlib
Source — Primary sources first; secondary reports are labelled “Press”
Officialdeepmind.googlehttps://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/Added in Week 35, 2026 · See that week