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 /14
- 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 14 | Official leaderboard | |
| miniF2F | 99.6% | #2 of 5 | Model card | |
| CombiBench | 30% | #2 of 3 | Model card | |
| miniCTX-v2 | 81.8% | #1 of 1 | Model card | |
| Past IMO (Seed-Prover formal set) | 78.1% | #1 of 1 | Model card |
Its launch post
The benchmarks the lab chose to headline, with the scores it gave.