AI systems reach gold-medal level at the International Mathematical Olympiad
Result confirmed
Importance: historic (5 of 5)Status
- Claim
Result confirmed
- Our reporting
- High confidence
- Verification
- Expert-checked
- Importance
- Historic (5 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
- OpenAI announced its result on 19 July 2025; Google DeepMind on 21 July 2025
- Both scored 35/42, solving 5 of 6 problems
- Google DeepMind’s result was officially certified by IMO coordinators
- Natural-language proofs, no formal translation, within competition time limits
- Formal provers: Harmonic’s Aristotle produced Lean-verified solutions to 5 of 6 problems (gold-equivalent; arXiv 2510.01346); ByteDance Seed-Prover got an IMO-certified 30 points in-contest and later completed P1–P5
- One year earlier, AlphaProof reached silver with formal Lean proofs and days of compute
What happened
Two general-purpose LLM reasoning systems achieved gold-medal scores at the world’s top high-school math competition.
Why it matters
A long-standing AI grand challenge fell years earlier than many forecasters expected, showcasing the power of RL-trained reasoning.
Sources
5 sources from 5 sites. Numbers match the chips in the text.
5 sources: 4 primary, 1 press
Primary
- Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the IMO (Google DeepMind)deepmind.google, official
- OpenAI announcement on Xx.com, official
- Harmonic Aristotle IMO 2025 paper (arXiv 2510.01346)arxiv.org, paper
- ByteDance Seed-Prover IMO 2025 resultseed.bytedance.com, official
Press
- OpenAI Model Earns Gold-Medal Score at International Math Olympiad (Scientific American)scientificamerican.com, press
Changes
- Added science block, Aristotle and Seed-Prover formal results; (science & math tab)
- Filed