DeepSeek-Prover-V2
by DeepSeek
· DeepSeek Prover family · released Apr 30, 2025
Open weights
Active
Formal theorem-proving subgraph-trained model.
Pricing
Launch price (from Apr 30, 2025)
$0.550 in / $2.19 out per 1M tokens
Current price (since Apr 30, 2025)
$0.550 in / $2.19 out per 1M tokens
Cache read: $0.140/M
| Tier | Effective | In $/M | Out $/M | Cache $/M | Per image | Per second | Source |
|---|---|---|---|---|---|---|---|
| Standard | Apr 30, 2025 – now | $0.550 | $2.19 | $0.140 | - | - | - |
Specifications
| Model type | Text LLM |
|---|---|
| Architecture | MoE |
| Parameters | 671 (37 active) |
| Context window | 163.8K tokens |
| Max output | Not disclosed tokens |
| Knowledge cutoff | Not disclosed |
| License | MIT License |
| Modalities | Text input Text output |
| Tags | Reasoning |
| End of life | Not disclosed |
| Last verified | Aug 20, 2026 |
Benchmarks
| Benchmark | Score | Src |
|---|---|---|
| MATH | 88.9% | official |