---
id: "2024-01-17-alphageometry"
url: "https://postcutoff.com/e/2024-01-17-alphageometry/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2024-01-17"
date_precision: day
category: science
importance: 3
confidence: high
status: [Result confirmed]
verification: Peer-reviewed
sources: 3
editor: human editor
human_review: null
version: "2026-10-04"
---

As of: 2026-11-13 13:49 CET.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/
Canonical page: https://postcutoff.com/e/2024-01-17-alphageometry/

# 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

## 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.

## Your AI and this story

- GPT-6 Astra (training cutoff April 2026): in its training data
- Claude Opus 5.5 (training cutoff June 2026): in its training data
- Gemini 4 Hydrogen (training cutoff March 2026): in its training data
- Grok 4.7 (training cutoff May 2026): in its training data

## Sources

1. [Solving olympiad geometry without human demonstrations (Nature)](https://www.nature.com/articles/s41586-023-06747-5) (nature.com, paper)
2. [Nature news on AlphaGeometry](https://www.nature.com/articles/d41586-024-00145-1) (nature.com, press)
3. [Wu's method can boost symbolic AI to rival silver medalists (arXiv 2404.06405)](https://arxiv.org/abs/2404.06405) (arxiv.org, discussion)

## Changes

- 2026-09-29 (filed): Created

## Related

- 2024-07-25: [AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard](https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/index.md)