DeepSeek Prover V2
Released
2025-04-30
Last refreshed
2026-06-29
Status
Researched 133d ago
Open sourceCommercial use: permittedLong context
DeepSeek releases · 7 in the last 12 monthsChangelog →
Specifications
- Family
- DeepSeek Prover
- Released
- 2025-04-30
- Context
- 160k
- Parameters
- 671B
- Architecture
- Decoder Only
- Specialization
- reasoning
- Openness
- Open source
- License
- MITOSI-approvedCommercial use: permitted
- Weights
- Unknown
- Code
- Unknown
- Training
- Pretrained
Created by
Pricing
Output / 1M
$1.68
Input / 1M
$0.560
Cheapest of 2 routes · Fireworks AI
About
DeepSeek Prover V2 is DeepSeek's DeepSeek Prover model focused on step-by-step reasoning. It offers a 160K-token context window with weights openly available for self-hosting.
Provider price ladder
Compare all 2Compare API pricing across 2 providers for input and output tokens, batch, and cached reads when available.
| Provider | Input / 1M | Output / 1M | Route |
|---|---|---|---|
| Fireworks AI | $0.560 | $1.68 | Serverless |
| Novita AI | $0.700 | $2.50 | Serverless |
Available via routers & gateways(1)
Capabilities
Reasoning
Benchmark peer barsfor Long context
No task-mapped benchmark peers are available for this model yet.
Migration checks
No linked migration route is available for this model yet.
Created by
Pricing
Output / 1M
$1.68
Input / 1M
$0.560
Cheapest of 2 routes · Fireworks AI