Living definition
What is DeepMind AlphaProof / AlphaGeometry 2 (IMO 2024 Silver Medal)?
Reinforcement Learning & Decision Systems AI & Agents
- As of
- 2026-07-27
- Revision
- 2026-07-28.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-07-27, 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
pragma.vision editorial — standing authorization (operator dev@soft.house, 2026-07-17)
- Dataset
- 2026-07-28.1
- Hash
- sha256:02aa1ee2b9f805eacafe59552c1be4a62ac3e0edb8374314ff1adcfa3147c32f
- Approved
- 2026-07-28