DeepSeek Prover V2 671B
DeepSeek Prover V2 671B is DeepSeek's language model with a 160K context window, starting at $0.7 / 1M input and $2.50 / 1M output. A 671B Mixture-of-Experts LLM specialized in mathematical theorem proving using Lean 4, representing DeepSeek's largest open-source formal reasoning model.
Capabilities
Input1/5
Text✓
Image·
Audio·
Video·
PDF·
Output1/5
Text✓
Image·
Audio·
Video·
Embedding·
Capabilities0/13
Reasoning·
Adaptive Reasoning·
Function Calling·
Parallel Function Calling·
Structured Outputs·
Native JSON Schema·
Web Search·
URL Context·
Computer Use·
Code Execution·
File Search·
Prompt Caching·
Assistant Prefill·
Pricing by Provider
US Dollar ($)
Per 1M tokens
| Provider | Standard | |
|---|---|---|
| Input $ / 1M | Output $ / 1M | |
| $0.7 | $2.50 | |
Cost Calculator
US Dollar ($)
Preset:
Cheapest Instances to Run It
Cloud GPU instances that can host DeepSeek Prover V2 671B, ranked by cheapest on-demand price. The model needs about 1610 GB of GPU memory at FP16 precision (estimated from its parameter count), so treat the fit as guidance rather than a guarantee.
All clouds
FP16 (full precision)
US Dollar ($)
Instance | Cloud | GPU | VRAM | Price | Cheapest region |
|---|---|---|---|---|---|
| p6-b300.48xlarge |  AWS | 8× B300 | 2149 GB | $142.42/hr | us-east-1 |
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 |