math benchmark
IMO 2025 Leaderboard
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.
Updated Aug 17, 2026
Models2
Model coverage2
MetricScore
EvidenceB
IMO 2025 Ranking
Higher score ranks better on this benchmark.
Sort by
Rank | Model | Score | Percentile | Participants | Evidence | Evaluated |
|---|
| Rank01 | ModelMI | Score35 points | Percentile100.0% | Participants2 | EvidenceC | Evaluated |
| Rank02 | ModelBY | Score0.652 points | Percentile0.0% | Participants2 | EvidenceC | Evaluated |
IMO 2025 Highlights
The leading models and scores on this benchmark.
IMO 2025 Score Distribution
A closer view of the leading scores on this benchmark.
The Top AI Models for IMO 2025
The first five results on this benchmark, with official price and output speed added where the model identity can be matched.
Ranking basisThis imo 2025 AI model leaderboard uses descending score in the benchmark's original unit. The leaderboard ranking keeps matched price and speed data separate from benchmark evidence.
- 01MIMiniMax M3MiniMax
- Score
- 35 points
- Price
- $0.30 input / $1.2 output per 1M tokens
- Speed
- Up to 214 tok/s via Together
Strengths
- Ranks #1 of 2 compared models
- 100th percentile on this benchmark
- C evidence result
Considerations
- This result measures IMO 2025, not total model capability
- 02BYSeed 2.1 ProByteDance
- Score
- 0.652 points
Strengths
- Ranks #2 of 2 compared models
- 0th percentile on this benchmark
- C evidence result
Considerations
- This result measures IMO 2025, not total model capability
Selection summary
Best AI Models for IMO 2025
MiniMax M3 currently leads IMO 2025 with 35 points. It is the top model on this specific benchmark, while the best LLM for the broader task should also be checked against other benchmarks, price and runtime.
Use this leaderboard with the supporting benchmark results and coverage details above. A leaderboard position summarizes the selected ranking signal; it does not replace workload-specific testing.
What is IMO 2025?
What IMO 2025 measures and how its scores work.
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.
Scores are shown in points. This benchmark is not independently verified and has an evidence level of B.
- Family
- IMO 2025
- Modality
- text
- Primary category
- math
- Score direction
- higher
- LLMBoard eligible
- No
- Evaluation key
- imo-2025|llm-stats-current
Benchmark scores retain their original unit. Overall score eligibility is shown separately.
FAQ
Common questions about IMO 2025.
Which model scores highest on IMO 2025?
MiniMax M3 is currently ranked first with 35 points.
What does IMO 2025 measure?
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.
Is a higher score better?
Yes. Higher values rank better for this benchmark.
How many models are compared?
2 model results are currently shown.
Does this benchmark affect the overall score?
No. This benchmark is shown for reference but does not contribute to the overall score.