Living definition
What is DeepMind AlphaProof / AlphaGeometry 2 (IMO 2024 Silver Medal)?
Reinforcement Learning & Decision SystemsAI & Agents
- As of
- 2026-09-22
- Revision
- 2026-10-06.1
- Method
- v1.3.0
Definition
The term, in context
AI-assisted draft · approved dataset
AlphaProof and AlphaGeometry 2 are AI systems from Google DeepMind that solve advanced mathematics problems: AlphaProof combines a language model with reinforcement learning to construct formal proofs in the Lean proof-checking language, while AlphaGeometry 2 is a neuro-symbolic system specialized in Euclidean geometry problems, and together they reached medal-level performance on International Mathematical Olympiad problems.
Live readiness status
Status as of the current dateline
AI-assisted assembly · derived results
As of 2026-09-22, verified readiness is 47 (claimed 55, reported 51, gap 8) — Growing evidence strength; current signals suggest Track; not yet.
The readiness fact belongs to the canonical Readiness Verdict for DeepMind AlphaProof / AlphaGeometry 2 (IMO 2024 Silver Medal).
Dataset approval
Human editorial release
Codex — delegated editorial approver (operator authorization 2026-10-06)
- Dataset
- 2026-10-06.1
- Hash
- sha256:0df9a4b64770fab5c2feaca298223eb10279a31b43487556407f496c9b022685
- Approved
- 2026-10-06