Artificial intelligence · 2024

AlphaProof IMO silver

An AI solves four of six International Math Olympiad problems.

In July 2024 Google DeepMind's AlphaProof, which proves statements in the Lean formal language via reinforcement learning, and AlphaGeometry 2 together scored 28 of 42 points, silver medal standard. It solved the hardest problem, which only five humans cracked.

See it in the living tree Wikipedia

Arcs above join it to what it stood on, arcs below to what it led to. The bar places this stretch on the tree's whole timeline.

What it built on 3

AlphaGeometry 2024
Gemini 1.0 2023
AlphaZero 2017

What it led to 1

LLMs win IMO gold 2025

Related measurements

The dashed line marks when it first worked.

Best AI score on GPQA Diamond Latest: 95.8 % correct (2026) Source: Epoch AI, Capabilities & benchmarking (benchmark_data.zip, gpqa_diamond.csv); Anthropic: Claude 3 public launch (March 4, 2024)

Training compute of notable AI models Source: Epoch AI, Notable AI Models (CC BY 4.0)