deepseek-prover-v2
by deepseekDeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from DeepSeek-Prover-V1.5, but released without an official announcement or detailed documentation.
Pricing
Pay-as-you-go rates for this model. More details can be found here.
Input Tokens (1M)
$0.35
Output Tokens (1M)
$1.25
Capabilities
Input Modalities
Text
Output Modalities
Text
Rate Limits
Requests per minute (RPM) and per day (RPD) by tier. More about tiers here
| Tier | RPM | RPD |
|---|---|---|
| Free | — | — |
| Tier 1 | 10 | 1000 |
| Tier 2 | 15 | 1500 |
| Tier 3 | 25 | 2500 |
| Tier 4 | 50 | 5000 |
Usage Analytics
Token usage across the last 30 active days