IMO 2025
Models write full proofs for the six problems of the 2025 International Mathematical Olympiad. Graders score proofs out of 42 points, mapped to medal cutoffs.
This is a one-time competition exam, not a maintained benchmark.
- Released
- July 2025
- Kind
- Written proofs
- Level
- Competition
- Scored
- Graded by people
- Answers
- Written proof
- Tasks
- All public
- Strongest model tested
- GPT-5 #70 on the capability index
- Last in a launch post
- June 2026, dropped before it saturated
- Last model added
- June 2026
- Scores refreshed
- November 12th, 2026
4 models share the top score of 83.3% among models released by June 2026
Best score per model as labs report them in their own cards. Labs pick their own settings, so these compare less cleanly than independent runs.
GPT-5 leads with 38.1% across all independent runs
Best score per model across MathArena’s leaderboard, Epoch AI’s own runs and any board Epoch AI copied. Each bar and row names its source.
DeepSeekMath-V2 leads with 83.3%, claims included
Best score per model from every source, including labs’ own numbers and claims Epoch AI collected from reports and papers. Labs pick their own settings, so a claim can beat an independent run of the same model.
The newest model with a score here came out in June 2026, and nobody has reported a newer one. Among the 20 highest-ranked models on the capability index, these have no score yet:
- Claude Fable 5.2
-
Gemini 4 Carbon
- GPT-6 Astra
- Claude Opus 5.5
- and 16 more
- 1
DeepSeekMath-V2 83.3%
- 2
Seed2.0 Pro 83.3%
- 3
Nemotron-Cascade 2 30B-A3B 83.3%
- 4
Nemotron 3 Ultra 83.3%
- 5
Seed2.1 Pro 65.2%
- 6
Gemini 2.5 Deep Think 60.7%
Source: Labs’ model cards
- 1 GPT-5 high 38.1%
- 2
Gemini 2.5 Pro Jun 2025 31.6%
- 3 o3 high 16.7%
- 4 o4-mini high 14.3%
- 5 Grok 4 11.9%
- 6
DeepSeek-R1 May 2025 6.85%
Source: MathArena’s leaderboard
- 1
DeepSeekMath-V2 83.3%
- 2
Seed2.0 Pro 83.3%
- 3
Nemotron-Cascade 2 30B-A3B 83.3%
- 4
Nemotron 3 Ultra 83.3%
- 5
Seed2.1 Pro 65.2%
- 6
Gemini 2.5 Deep Think 60.7%
- 7 GPT-5 high 38.1%
- 8
Gemini 2.5 Pro Jun 2025 31.6%
- 9 o3 high 16.7%
- 10 o4-mini high 14.3%
- 11 Grok 4 11.9%
- 12
DeepSeek-R1 May 2025 6.85%
Sources: Labs’ model cards and MathArena’s leaderboard
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | | 83.3% | Nov 2025 | Lab model card | |
| 2 | | 83.3% | Feb 2026 | Lab model card | |
| 3 | | 83.3% | Mar 2026 | Lab model card | |
| 4 | | 83.3% | Jun 2026 | Lab model card | |
| 5 | | 65.2% | Jun 2026 | Lab model card | |
| 6 | | 60.7% | Aug 2025 | Lab model card |
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | GPT-5 | 38.1% | high | Aug 2025 | Official leaderboard |
| 2 | | 31.6% | Jun 2025 | Official leaderboard | |
| 3 | o3 | 16.7% | high | Apr 2025 | Official leaderboard |
| 4 | o4-mini | 14.3% | high | Apr 2025 | Official leaderboard |
| 5 | Grok 4 | 11.9% | Jul 2025 | Official leaderboard | |
| 6 | | 6.85% | May 2025 | Official leaderboard |
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | | 83.3% | Nov 2025 | Lab model card | |
| 2 | | 83.3% | Feb 2026 | Lab model card | |
| 3 | | 83.3% | Mar 2026 | Lab model card | |
| 4 | | 83.3% | Jun 2026 | Lab model card | |
| 5 | | 65.2% | Jun 2026 | Lab model card | |
| 6 | | 60.7% | Aug 2025 | Lab model card | |
| 7 | GPT-5 | 38.1% | high | Aug 2025 | Official leaderboard |
| 8 | | 31.6% | Jun 2025 | Official leaderboard | |
| 9 | o3 | 16.7% | high | Apr 2025 | Official leaderboard |
| 10 | o4-mini | 14.3% | high | Apr 2025 | Official leaderboard |
| 11 | Grok 4 | 11.9% | Jul 2025 | Official leaderboard | |
| 12 | | 6.85% | May 2025 | Official leaderboard |
MathArena’s leaderboard has 7 entries, 6 of them models we track. Switch the scores above to rank them together.
2 models have held number one in labs’ own numbers since its release in July 2025 2 models have held number one across all independent runs since its release in July 2025 3 models have held number one with claims included since its release in July 2025
Lab claims count from the day the card came out, independent runs from the model’s release. We draw one row each for MathArena’s leaderboard and what labs claim in their cards.
Sources: MathArena’s leaderboard and labs’ model cards
Scores over time
All the scores we have, one dot each, so a model tested at several settings appears more than once.
Sources: MathArena’s leaderboard and labs’ model cards
Labs headline it less often now, last in June 2026
Launch posts from every lab that has listed it, one tick per post. Tall colored ticks include it, and short gray ones leave it out.
| Date | Launch post | Score | As the post writes it |
|---|---|---|---|
| Jun 1, 2026 | 35 | IMO 2025 | |
| Mar 19, 2026 | 35 | IMO 2025 (35 pts, gold medal level) | |
| Feb 14, 2026 | 35 | IMO 2025, 35/42, gold (Table 2) | |
| Feb 12, 2026 | International Math Olympiad 2025, gold-medal level | ||
| Feb 10, 2026 | 35 | IMO 2025 (full score 42), self-tested | |
| Dec 19, 2025 | 35 | IMO 2025, Lean proofs for P1 to P5 within 16.5 hours | |
| Nov 27, 2025 | 83.3 | IMO 2025 Points (P1 to P5 solved) | |
| Aug 1, 2025 | 60.7 | IMO 2025 (Bronze medal grade; pass@1) | |
| Jul 31, 2025 | 4 | IMO 2025 4/6 (Heavy, 5/6 post-competition) |
7 system cards report it, from 4 labs
Besides launch posts, we read the system cards, model cards and technical reports labs publish with a release. They report far more, including safety and frontier-risk tests.
| Date | Document | Score | As the document writes it | Section |
|---|---|---|---|---|
| Jun 23, 2026 | | 65.2 | IMO 2025, Seed2.1 Pro column (Table 7). Deep Think 81.0 | Capabilities |
| Jun 9, 2026 | | 83.3 | IMO 2025, 35/42, generate-verify-refine test-time scaling, human graded (Table 11) | Capabilities |
| Mar 19, 2026 | | 83.3 | IMO 2025, 35/42 points, gold, human expert graded except P2 (Tables 1 and 2), recorded as 83.3% | Capabilities |
| Feb 14, 2026 | | 83.3 | IMO 2025, 35/42 points, gold, recorded as 83.3% (Table 2) | Capabilities |
| Dec 1, 2025 | | 35 | IMO 2025, 35/42 points, gold medal (Table 4) | Capabilities |
| Nov 27, 2025 | | 83.3 | IMO 2025 Points, P1 to P5 solved, high-compute search (Table 1) | Capabilities |
| Oct 21, 2025 | | IMO 2025 in the AWorld multi-agent framework, natural language only, solved Problems 1, 3, 4 and 5 on the first attempt, silver medal level, no point total (Section 3.3) | Capabilities |
Versions
More in Math
- AIME 2026 In use Models solve the 30 integer-answer problems from the 2026 AIME I and II math competitions. Scored by exact answer match. GPT-5.5 100%
- IMO-AnswerBench In use 400 olympiad problems with short verifiable answers, robustified against memorization. Scored by answer match. GLM-5.2 91%
- HMMT 2026 In use Models solve the 33 final-answer problems from the February 2026 Harvard-MIT Mathematics Tournament. Scored by exact answer match. GPT-5.5 98.5%
- PolyMath In use Models solve 9,000 parallel math problems in 18 languages across four difficulty levels, from school math to frontier math. Final answers are checked.
Qwen3.7-Max 86.5%
- MathArena (Apex, IMO, USAMO) In use Evaluates models on newly released math competitions after release. Final-answer or human/LLM-judged proof scores. Claude Opus 4.8 81.3%
- MathArena Apex Shortlist In use Models solve 47 hard final-answer problems that MathArena selected from 2025 competitions, where the best models scored about 50% at selection. Scored by accuracy over repeated attempts. GPT-5.5 98.4%