IMO 2025
Progress Over Time
Interactive timeline showing model performance evolution on IMO 2025
IMO 2025 Leaderboard
| Context | Cost | License | ||||
|---|---|---|---|---|---|---|
| 1 |  MiniMax | — | 1.0M | $0.30 / $1.20 | ||
| 2 |  ByteDance | — | — | — |
What is IMO 2025?
IMO 2025 evaluates models on the six problems from the 2025 International Mathematical Olympiad, requiring rigorous proof-based reasoning. Following the MathArena methodology, proofs are graded against human expert rubrics by dual strong judge models, with the minimum of the two scores taken as final. Maximum score is 42 points.
IMO 2025 is a text benchmark evaluating models on math and reasoning tasks. LLM Stats tracks 2 models on this benchmark, scored on a 0–42 scale. The current average is 17.8, with the leader at 35.0.
Compare leaders on the best AI for math and best AI for reasoning leaderboards.
Current leaders
MiniMax M3 from MiniMax currently leads the IMO 2025 leaderboard with a score of 35.000 across 2 evaluated AI models.
FAQ
Common questions about the IMO 2025 benchmark and leaderboard.