AlphaProof and AlphaGeometry 2 reach IMO silver

Thursday 25 July 2024 · significance ●●●●○

DeepMind's systems solve 4 of 6 problems at the International Mathematical Olympiad, scoring at silver-medal level.

What happened and why it matters

AlphaProof, a reinforcement-learning system that proves statements in the Lean formal language, solved two algebra and one number-theory problem, including the hardest of the competition. Proofs took up to three days, versus 4.5 hours for humans.

Sources

AI achieves silver-medal standard solving International Mathematical Olympiad problems Google DeepMind · 25 Jul 2024

Effect on the Gapnium Coefficient

+0.0052

0.1733 → 0.1785

Adjustments

gapnium.cognition +0.020 Elite-level competition mathematics, verified formally.
gapnium.discovery +0.008 Formal theorem proving becomes a practical tool.

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