Back
DeepSeek: DeepSeek Prover V2 (free)
DeepSeek
Input: text
Output: text
Released: Apr 30, 2025•Updated: Apr 30, 2025
DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5 Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.
163,840 Token Context
Process and analyze large documents and conversations.
Advanced Coding
Improved capabilities in front-end development and full-stack updates.
Agentic Workflows
Autonomously navigate multi-step processes with improved reliability.
Available On
| Provider | Model ID | Context | Max Output | Input Cost | Output Cost | Throughput | Latency |
|---|---|---|---|---|---|---|---|
| GMICloud | gmiCloud | 131K | - | $0.50/M | $2.18/M | 77.5 t/s | 917 ms |
| DeepInfra | deepInfra | 164K | - | $0.70/M | $2.18/M | 76.4 t/s | 870 ms |
| NovitaAI | novitaAi | 160K | - | $0.70/M | $2.50/M | 35.6 t/s | 937 ms |
Standard Pricing