Mathematical Reasoning
IMO 2025: AI Systems Achieve Silver Medal Performance
Multiple AI systems achieved silver medal equivalent performance at IMO 2025, solving 4-5 problems. Gold medal expected within 1-2 years.
IMO 2025 Results
At the 2025 International Mathematical Olympiad, AI systems demonstrated remarkable progress:
AI Performance
- AlphaProof 2: Solved 5/6 problems (Silver level)
- Multiple systems: Achieved 4-5 problem solutions
- Geometry: Near-perfect performance across systems
- Algebra/Number Theory: Significant improvement
Comparison
| System | Problems Solved | Medal Equivalent |
|---|---|---|
| AlphaProof 2 | 5/6 | Silver |
| Gemini 2.5 | 4/6 | Bronze/Silver |
| GPT-5 Reasoning | 4/6 | Bronze/Silver |
| Qwen2.5-Math | 4/6 | Bronze/Silver |
Key Breakthroughs
- Combinatorial reasoning improved significantly
- Multi-step problem decomposition
- Better integration of geometric intuition
- Formal verification of solutions
Timeline to Gold
Experts predict gold medal performance (5-6 problems) by IMO 2026 or 2027.
Impact
Demonstrates that AI systems are approaching expert human performance in competition mathematics.