Artificial intelligence · 2024
AlphaGeometry
A neuro-symbolic system solves olympiad geometry near gold-medallist level.
Google DeepMind's AlphaGeometry, published in Nature in January 2024, paired a language model with a symbolic deduction engine and was trained on 100 million synthetic proofs. It solved 25 of 30 past IMO geometry problems.
What it built on 2
What it led to 2
Watch
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)