tech
December 15, 2025
AI achieves silver-medal standard solving International Mathematical Olympiad problems
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
TL;DR
- AlphaProof and AlphaGeometry 2 are new AI systems designed for formal mathematical reasoning and geometry problem-solving, respectively.
- The combined AI systems tackled problems from the International Mathematical Olympiad (IMO), solving four out of six.
- The AI's performance achieved a score equivalent to a silver medalist in the competition.
- AlphaProof uses reinforcement learning and a formal language (Lean) to prove mathematical statements, while AlphaGeometry 2 is an improved neuro-symbolic system for geometry.
- The systems show promise for future collaboration between mathematicians and AI tools to advance scientific discovery.
Continue reading
the original article