DeepSeek Prover V2 671B is DeepSeek's language model with a 160K context window, available from 2 providers, starting at $0.700 / 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
✓
·
·
·
·
Output1/5
✓
·
·
·
·
Capabilities0/13
·
·
·
·
·
·
·
·
·
·
·
·
·
Pricing by Provider
| Provider | Standard | |
|---|---|---|
| Input $ / 1M | Output $ / 1M | |
Hugging Face | $0.700 | $2.50 |
Novita | $0.700 | $2.50 |
Cost Calculator
Preset:
Compares every provider & tier in USD