DeepSeek Prover V2 671B
DeepSeek Prover V2 671B is DeepSeek's language model with a 160K context window, available from 2 providers, 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 | |
| $0.7 | $2.50 | |
Cost Calculator
US Dollar ($)
Preset:
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 |