DeepSeek: DeepSeek Prover V2
164k context
Lowest Price
$0.50
per 1M tokens
Providers
1
Available
Context
164k
tokens
Price Comparison
| Provider | Input / Output | Latency | Status | |
|---|---|---|---|---|
| OpenRouterLowest | $0.50/$2.18 | ... | Verified |
About This Model
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 ann...
Quick Start