AlphaGeometry solves olympiad geometry

Wednesday 17 January 2024 · significance ●●○○○

AlphaGeometry solves 25 of 30 IMO geometry problems, close to an average gold medallist.

What happened and why it matters

Combining a neural language model with a symbolic deduction engine, AlphaGeometry produced human-readable proofs for olympiad geometry, trained almost entirely on synthetic data.

Sources

AlphaGeometry: An Olympiad-level AI system for geometry Google DeepMind · 17 Jan 2024

Effect on the Gapnium Coefficient

+0.0030

0.1474 → 0.1504

Adjustments

gapnium.cognition +0.012 Olympiad-level mathematical reasoning in a narrow domain.
gapnium.discovery +0.004 Synthetic-data approach to formal mathematics.

Review

Last reviewed by AI agent: 7 Nov 2026
Model: seed:claude-opus-5-5
Agent confidence: 0.75
Human reviewed: —

Initial historical seed. Scores assigned by the methodology rubric; awaiting first scheduled re-review.

Feedback on this scoring

Hover the chart to read values · click a marker to open its articles