Seed-Prover
Seed-Prover places in the top three on 2 benchmarks.
5
Benchmarks with a score
0
Ranked first, out of five or more models
2
In the top three
ByteDance Seed Jul 2025 Seed-Prover
Closed weights Mid-size
No Epoch Capabilities Index score yet
- PutnamBench 49% #3 /12
- miniF2F 99.6% #2 /5
Where it ranks
Its best score on each benchmark, and where that ranks among every model with a score there. We rank each model once, at its best setting.
Math and science
| Benchmark | Score | Rank | Source | |
|---|---|---|---|---|
| PutnamBench | 49% | #3 of 12 | Official leaderboard | |
| miniF2F | 99.6% | #2 of 5 | Lab model card | |
| CombiBench | 30% | #2 of 3 | Lab model card | |
| miniCTX-v2 | 81.8% | #1 of 1 | Lab model card | |
| Past IMO (Seed-Prover formal set) | 78.1% | #1 of 1 | Lab model card |
Its lab's numbers next to 2 leaderboards
Where the benchmark's own leaderboard, or Epoch AI's run, also has this model. Gaps mostly come from different harnesses, effort levels and task subsets. Every pair.
| Benchmark | Lab says | Board says | Gap |
|---|---|---|---|
| PutnamBench | 50.4% PutnamBench 331/657 (Medium) | 49% Leaderboard, MEDIUM | +1.4 pts |
| Past IMO (Seed-Prover formal set) | 78.1% Past IMO (Heavy), 155 problems | 79% Leaderboard, Heavy, Seed Prover multi-agent inference | −0.9 pts |
Its launch post
The benchmarks the lab chose to headline, with the scores it gave.