Seed Prover
No estimate
No hardware requirements for this model
The weights for this model have not been published, so it cannot be downloaded or run on your own hardware at any size. It is reachable only through its provider, and no graphics card changes that.
On record
Full specification
Everything on record for this model. Most of it describes how it was trained rather than how it runs — useful context for judging how much work went into it, and how it compares with models built at a different scale.
Origin
Who built this model, where, and when it was published.
- Organisation
- ByteDance
- Organisation type
- Industry
- Country
- China
- Published
- 23 July 2025
What it does
The problem areas the model was built for. A model can carry several of each.
- Domain
- Language
- Task
- Mathematical reasoning
Size
How large the model is and how much data it was trained on. Parameters are the figure that decides whether it fits on a given graphics card.
- Training data
- tokens
Availability
Whether you can obtain the model and run it on your own hardware, which is what decides if any of the graphics-card figures on this page apply.
- Weights
- Closed — provider access only
- Model access
- Unreleased
- Training code
- Unreleased
How it is classified
Labels the source dataset applies when tracking notable models, and how confident it is in the entry.
- Record confidence
- Unknown
Sources
Where this record came from and when it was last checked.
- Reference
- ByteDance Seed Prover Achieves Silver Medal Score in IMO 2025
- Last updated
- 28 November 2025
What the numbers mean
About this model
Seed Prover was published by ByteDance, in China, in July 2025. industry is the category the publisher falls under.
It works in Language, and is recorded as doing mathematical reasoning.
Because the weights are not available, none of the hardware figures elsewhere on this site apply to it.
Answers
Seed Prover — common questions
What is Seed Prover used for?
Seed Prover works in Language, and is recorded as handling mathematical reasoning. A model can carry several of each, so these are the areas it was built for rather than a limit on what it will attempt.
What GPU do I need to run Seed Prover?
None. Seed Prover is a closed model — its weights were never published, so it cannot be downloaded or run on your own hardware at any price. It is reachable only through its provider.
Is Seed Prover open source?
No. Seed Prover has not had its weights published, so it exists only as a service controlled by its owner.
How many parameters does Seed Prover have?
No parameter count has been published for Seed Prover, which is why no memory or speed figure appears on this page.
Who created Seed Prover?
Seed Prover was published by ByteDance, based in China, categorised as industry.
When was Seed Prover released?
Seed Prover was published in July 2025.
The other direction
Looking at it from the other side?
This page starts from the model. If you already own a card and want to know everything it will run, start from the hardware instead.