AlphaGeometry solves olympiad geometry near gold-medallist level without human demonstrations
AlphaGeometry (Nature, 17 Jan 2024) solved 25 of 30 IMO geometry problems from 2000–2022. The previous best system solved 10 and the average gold medallist 25.9. It combines a language model with a symbolic deduction engine and was trained on 100M synthetic proofs.
Key facts
- IMO-AG-30 benchmark: 25/30 solved vs 10 for the previous state of the art (Wu's method)
- Trained entirely on 100 million synthetic theorems and proofs, no human demonstrations
- A later paper showed Wu's method plus a better deductive database rivals it (arXiv 2404.06405)
- AlphaGeometry 2 (2025) reached gold-medallist level on geometry
Science result
- Field
- mathematics / Euclidean geometry / automated theorem proving
- Problem
- Olympiad-level geometry proofs
- Result
- 25 of 30 IMO geometry problems solved with human-readable proofs.
- AI system
- AlphaGeometry
- Human role
- Autonomous
- Verification
- Peer-reviewed in Nature; proofs checked by an IMO coach (Evan Chen)
- Status
- confirmed
What happened
DeepMind generated synthetic geometry theorems at scale to train a language model that proposes auxiliary constructions, while a symbolic engine does the deduction.
Why it matters
It was a step towards the 2024 IMO silver and 2025 gold, and showed that synthetic data could replace scarce human proofs.
Changelog
- 2026-09-29: created
Related events
Sources (3)
- paperSolving olympiad geometry without human demonstrations (Nature)
- pressNature news on AlphaGeometry
- discussionWu's method can boost symbolic AI to rival silver medalists (arXiv 2404.06405)
id: 2024-01-17-alphageometry · updated 2026-09-29 · open in the interactive timeline