Math & science · around 2033

AI proves a major open conjecture

Projection

An AI system produces a verified proof of a famous unsolved mathematical problem.

Combining language models with formal proof checkers lets machines search for proofs and verify every step. A landmark result would change how mathematics is done.

Why it’s plausible: AI systems reached gold-medal level at the International Mathematical Olympiad in 2025 and formal libraries are growing; research-level problems demand much longer, original reasoning.

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 5

Related measurements

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)