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 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
| Provider | Standard | |
|---|---|---|
| Input $ / 1M | Output $ / 1M | |
 Novita | $0.700 | $2.50 |
Cost Calculator
Preset: