AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard
Result confirmed
Importance: major (4 of 5)The takeaway
Google DeepMind’s AlphaProof (RL + Lean formal proofs) and AlphaGeometry 2 solved 4 of 6 problems at the 2024 International Mathematical Olympiad, scoring 28/42 — silver-medal level, one point short of gold.
Status
- Claim
Result confirmed
- Our reporting
- High confidence
- Verification
- Lean-verified
- Importance
- Major (4 of 5)
- Last verified
- 29 September 2026
Your AI and this story
- GPT-6 AstraIn its training data
- Claude Opus 5.5In its training data
- Gemini 4 HydrogenIn its training data
- Grok 4.7In its training data
It happened before the cutoffs of all four assistants, so it can be in their training data.
Key facts
- Announced 25 July 2024
- Score: 28/42 (gold cutoff was 29)
- AlphaProof solved two algebra problems and one number theory problem, including the hardest problem
- AlphaGeometry 2 solved the geometry problem
- Some problems took up to three days of compute (humans get 9 hours)
- Full AlphaProof method published in Nature on 12 Nov 2025 (RL on millions of auto-formalised problems plus test-time RL)
What happened
DeepMind’s systems, operating on problems manually translated into the Lean formal language, were graded by IMO medalists.
Why it matters
First AI to reach medal level at the IMO; a year later, natural-language LLMs reached gold.
Sources
3 sources from 3 sites. Numbers match the chips in the text.
3 sources: 3 primary
Primary
- AI achieves silver-medal standard solving International Mathematical Olympiad problems (Google DeepMind)deepmind.google, official
- AlphaGeometry: Solving olympiad geometry without human demonstrations (Nature, DOI)doi.org, paper
- Olympiad-level formal mathematical reasoning with reinforcement learning (AlphaProof, Nature 2025)nature.com, paper
Changes
- Added science block (science & math tab)
- Filed
