Putnam 2025
DeepSeek-V4-Pro 120.0 DeepSeek-V3.2-Speciale 103.0 leads since December 2025 DeepSeek-V4-Pro 120.0 leads since April 2026 Models solve the 12 problems of the 2025 William Lowell Putnam competition with full proofs. Scored out of 120 points.
DeepSeek scored it with a hybrid informal and formal Lean pipeline checked by a strict verifier.
- Released
- December 2025
- Kind
- Written proofs
- Level
- Competition
- Scored
- Graded by people
- Answers
- Written proof
- Tasks
- All public
- Strongest model tested
-
Gemini 3 Pro #55 on the capability index - Last in a launch post
- December 2025, dropped before it saturated
- Last model added
- June 2026
- Scores refreshed
- November 12th, 2026
DeepSeek-V4-Pro leads with 120.0
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.
DeepSeek-V3.2-Speciale leads with 103.0 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.
DeepSeek-V4-Pro leads with 120.0, 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.
- 1 DeepSeek-V4-Pro 120.0
- 2
Seed-Prover 1.5 11.0
Source: Labs’ model cards
- 1 DeepSeek-V3.2-Speciale 103.0
- 2 GPT-5 Pro 93.0
- 3 Gemini 3 Pro 91.0
- 4 GPT-5.1 high 58.0
Source: MathArena’s leaderboard
- 1 DeepSeek-V4-Pro 120.0
- 2 DeepSeek-V3.2-Speciale 103.0
- 3 GPT-5 Pro 93.0
- 4 Gemini 3 Pro 91.0
- 5 GPT-5.1 high 58.0
- 6 Seed-Prover 1.5 11.0
Sources: Labs’ model cards and MathArena’s leaderboard
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | DeepSeek-V4-Pro | 120.0 | Apr 2026 | Lab model card | |
| 2 | Seed-Prover 1.5 | 11.0 | Dec 2025 | Lab model card |
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | DeepSeek-V3.2-Speciale | 103.0 | MathArena agent | Dec 2025 | Official leaderboard |
| 2 | GPT-5 Pro | 93.0 | Oct 2025 | Official leaderboard | |
| 3 | Gemini 3 Pro | 91.0 | Nov 2025 | Official leaderboard | |
| 4 | GPT-5.1 | 58.0 | high | Nov 2025 | Official leaderboard |
| # | Model | Score | Setting | Date | Source |
|---|---|---|---|---|---|
| 1 | DeepSeek-V4-Pro | 120.0 | Apr 2026 | Lab model card | |
| 2 | DeepSeek-V3.2-Speciale | 103.0 | MathArena agent | Dec 2025 | Official leaderboard |
| 3 | GPT-5 Pro | 93.0 | Oct 2025 | Official leaderboard | |
| 4 | Gemini 3 Pro | 91.0 | Nov 2025 | Official leaderboard | |
| 5 | GPT-5.1 | 58.0 | high | Nov 2025 | Official leaderboard |
| 6 | Seed-Prover 1.5 | 11.0 | Dec 2025 | Lab model card |
MathArena’s leaderboard has 5 entries, 4 of them models we track. Switch the scores above to rank them together.
Number one over time Number one over time 2 models have held number one with claims included since its release in December 2025
Lab claims count from the day the card came out, independent runs from the model’s release.
Source: MathArena’s leaderboard
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 December 2025
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 |
|---|---|---|---|
| Dec 19, 2025 | Seed-Prover 1.5 | 11 | Putnam 2025, 11 of 12 problems in 9 hours |
| Dec 9, 2025 | Nomos 1 | 72.5 | Putnam 2025: 87/120 with the Nomos reasoning harness |
2 system cards report it, from 2 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 9, 2026 |  Nemotron 3 Ultra technical report | 96.7 | Putnam 2025, 116/120, generate-verify-refine test-time scaling, human graded (Table 11) | Capabilities |
| Apr 26, 2026 | DeepSeek-V4-Pro technical report | 120 | Putnam-2025, hybrid formal-informal pipeline, 120/120 (Figure 8 right). The figure names the model only as DeepSeek-V4 | 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%