DeepMind reported that AlphaProof and AlphaGeometry 2 together solved four of the six problems at the 2024 International Mathematical Olympiad, “achieving the same level as a silver medalist in the competition for the first time.” The systems scored 28 out of 42 points: AlphaProof solved three problems in algebra and number theory, and AlphaGeometry 2 solved the geometry problem.
AlphaProof scored silver-medal level at the 2024 IMO
Sources
Last verified June 6, 2026