Seed Prover
Seed Prover is an announced but not yet released language model from ByteDance, released July 23, 2025.
By official invitation, the ByteDance Seed team participated in IMO (The International Mathematical Olympiad) 2025, deploying our specialized formal mathematical reasoning model, Seed Prover.
Check it against your own PC →
Lab
ByteDance
Released
July 23, 2025
Weights
announced but not yet released
Parameters
–
Context
–
Price / M tokens
–
Epoch ECI
not yet rated
Benchmark results
Epoch AI has not published results for Seed Prover yet. New models are usually evaluated within days to weeks.
Links
More from ByteDance
Cola2 · Doubao Seed 2.1 Turbo · Doubao Seed 2.1 Pro · Doubao Seed Evolving (Nov 2026) · Doubao Seed 2.0 Lite (Apr 2026) · Doubao-Seed-2.0 Pro · Doubao Seed 2.0 Code · Doubao Seed 2.0 Mini