IMC 2025
Gemini 2.5 Pro Jun 2025 94.5% Models write proofs for the 10 problems of the 2025 International Mathematics Competition for University Students. Human judges grade each proof.
MathArena graded only three Gemini systems, all above the gold threshold of 56 percent.
- Made by
- IMC (contest), MathArena (evaluation)
- Released
- August 2025
- Kind
- Written proofs
- Level
- University
- Scored
- Graded by people
- Answers
- Written proof
- Tasks
- All public
- Strongest model tested
- Gemini 2.5 Pro Jun 2025 #96 on the capability index
- Last model added
- June 2025
- Scores refreshed
- November 12th, 2026
Gemini 2.5 Pro leads with 94.5%
Best score per entry from MathArena’s leaderboard, read on November 12th, 2026. Where a model ran with several settings or harnesses, we keep its best. Names in gray aren't in our model list: fine-tunes, agent systems, products and older models. They don't count toward leaders.
- 1 Gemini 2.5 Pro Jun 2025 94.5%
- 2 Gemini IMO Deep Think 93%
Source: MathArena’s leaderboard
| # | Entry | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | Gemini 2.5 Pro Jun 2025 | 94.5% | agent | Jun 2025 | Official leaderboard |
| 2 | Gemini IMO Deep Think | 93% | Official leaderboard |
Gemini 2.5 Pro on the official leaderboard passed 85% in June 2025
All the scores we have, one dot each, so a model tested at several settings appears more than once.
Source: MathArena’s leaderboard
No lab model card reports it yet
We read the headline results of 522 launch posts from 52 labs, and none of them list this benchmark.
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%