New: connect Claude & other AIs to GenAIList over MCP — research the catalog and contribute to the shared knowledge base. Learn how →
A head-to-head benchmark comparison of Seed Prover across 0 evaluations.
By official invitation, the ByteDance Seed team participated in IMO (The International Mathematical Olympiad) 2025, deploying our specialized formal mathematica.
Full Seed Prover specs →No shared benchmark scores found for these models yet.
This comparison covers 0 benchmarks on which at least one of the selected models has a published score.
Scores are aggregated from official model cards, technical reports and standard public evaluations, and link back to each benchmark's source. They are updated as new results are published.
Help us grow the database! Only the announcement link is required — we'll fetch the rest.
Missing a card? Drop the spec/announcement link — we'll verify the specs and add it. The link is the only required field.
Know an inference runtime we're missing (llama.cpp, vLLM, MLX, ComfyUI…)? Drop the link.
Spotted a wrong spec or an out-of-date price? Tell us and we'll verify it.
We'll send you a login code via email
