Updated daily at 05:00 UTC
- Released
- 30 Apr 2025
- Status
- Current
- Context
- 163.8K
- Max output
- —
- Input per 1M tokens
- —
- Output per 1M tokens
- —
- Open weights
- Yes
- License
- deepseek-license
- Parameters
- 671B, 37B active
- Knowledge cutoff
- —
- Reasoning
- Yes
- Modalities
- text → text
Category scores
Out of 100, from independent and third-party results only, by method category-2026-09-29.1.
Not enough independent results yet
Only independent and third-party results rank a model; self-reported and unattributed numbers never do.
Benchmark results
Every result we hold for this model, with who ran it and where it was published.
No benchmark results yet
Other DeepSeek-Prover versions
- DeepSeek-Prover-V2 7B30 Apr 2025
- DeepSeek-Prover-V1.515 Aug 2024
- DeepSeek-Prover-V1Aug 2024