---
id: "2024-07-25-alphaproof-imo-silver"
url: "https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/"
as_of: "2026-11-13T13:49:00+01:00"
date: "2024-07-25"
date_precision: day
category: science
importance: 4
confidence: high
status: [Result confirmed]
verification: Lean-verified
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-07-25-alphaproof-imo-silver/

# AlphaProof and AlphaGeometry 2 reach IMO silver-medal standard

Google DeepMind's AlphaProof (RL + Lean formal proofs) and AlphaGeometry 2 solved 4 of 6 problems at the 2024 International Mathematical Olympiad, scoring 28/42 — silver-medal level, one point short of gold.

## Key facts
- Announced 25 July 2024
- Score: 28/42 (gold cutoff was 29)
- AlphaProof solved two algebra problems and one number theory problem, including the hardest problem
- AlphaGeometry 2 solved the geometry problem
- Some problems took up to three days of compute (humans get 9 hours)
- Full AlphaProof method published in Nature on 12 Nov 2025 (RL on millions of auto-formalised problems plus test-time RL)

## What happened

DeepMind's systems, operating on problems manually translated into the Lean formal language, were graded by IMO medalists.

## Why it matters

First AI to reach medal level at the IMO; a year later, natural-language LLMs reached gold.

## 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. [AI achieves silver-medal standard solving International Mathematical Olympiad problems (Google DeepMind)](https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/) (deepmind.google, official)
2. [AlphaGeometry: Solving olympiad geometry without human demonstrations (Nature, DOI)](https://doi.org/10.1038/s41586-023-06747-5) (doi.org, paper)
3. [Olympiad-level formal mathematical reasoning with reinforcement learning (AlphaProof, Nature 2025)](https://www.nature.com/articles/s41586-025-09833-y) (nature.com, paper)

## Changes

- 2026-09-29: Added science block (science & math tab)
- 2026-09-29 (filed): Created

## Related

- 2025-07-21: [AI systems reach gold-medal level at the International Mathematical Olympiad](https://postcutoff.com/e/2025-07-21-imo-gold-ai/index.md)
- 2024-01-17: [AlphaGeometry solves olympiad geometry near gold-medallist level without human demonstrations](https://postcutoff.com/e/2024-01-17-alphageometry/index.md)
- People: [Timothy Gowers](https://postcutoff.com/person/timothy-gowers/)
- Archived: 1 video, listed in https://postcutoff.com/e/2024-07-25-alphaproof-imo-silver/index.json