DeepSeek Prover V2 671B
DeepSeek Prover V2 671B is DeepSeek's language model with a 160K context window, starting at $0.700 / 1M input and $2.50 / 1M output. A 671-billion-parameter MoE model specialized in formal mathematical theorem proving in Lean 4, representing DeepSeek's largest prover variant.
DeepSeek's language model with a 160K context window, starting at $0.700 / 1M input and $2.50 / 1M output. A 671-billion-parameter MoE model specialized in formal mathematical theorem proving in Lean 4, representing DeepSeek's largest prover variant.Capabilities
Input1/5
✓
·
·
·
·
Output1/5
✓
·
·
·
·
Capabilities0/13
·
·
·
·
·
·
·
·
·
·
·
·
·
Pricing by Provider
| Provider | Standard | |
|---|---|---|
| Input $ / 1M | Output $ / 1M | |
 Novita | $0.700 | $2.50 |
Cost Calculator
Preset:
Compares every provider & tier in USD
Versions
| Version | Released | Context | Input / 1M | Output / 1M | Status |
|---|---|---|---|---|---|
| DeepSeek Prover V2 671B | — | 160K | $0.700 | $2.50 | Current |
| DeepSeek Prover V2 | — | 164K | $1.20 | $1.20 | Available |