DeepSeek 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
Usage Analytics
Token usage across the last 30 active days
Uptime
Reliability over the last 7 days
Throughput
Time-To-First-Token (TTFT)
Code Example
Example code for using this model through our API with Python (OpenAI SDK) or cURL. Replace placeholders with your API key and model ID.
Basic request example. Ensure API key permissions. For more details, see our documentation.
from openai import OpenAI
client = OpenAI(
base_url="https://api.naga.ac/v1",
api_key="YOUR_API_KEY",
)
resp = client.chat.completions.create(
model="deepseek-prover-v2",
messages=[
{{"role": "user", "content": "What's 2+2?"}}
],
temperature=0.2,
)
print(resp.choices[0].message.content)