DeepSeek: DeepSeek Prover V2
OpenAI • text • json-mode
Provider ID
deepseek/deepseek-prover-v2DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
Quick Summary
Best For:
High-volume, low-latency tasks where cost efficiency is paramount
Pricing:
$0.00/1M input tokens, $0.00/1M output tokens
Context Window:
163,840 tokens
Key Differentiator:
Cost-optimized for high-volume usage
Specifications
Context Window
163,840 tokens
Streaming
Yes
JSON Mode
Yes
Vision
No
Tier
Affordable
Capabilities
text
json-mode
Tags
affordable
Modalities