DeepSeek Prover v2

Chat Completions

deepseek-prover-v2

Deepseek|Created Jun 1, 2025

Chat Completions

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.

Overview Specifications Activity Performance Uptime Examples API Reference

Compare

Pricing-50%

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

Supported Parameters

Available parameters for API requests

Frequency PenaltyLogprobsMax Completion TokensPresence PenaltyResponse FormatStopTemperatureTool ChoiceToolsTop P

Usage Analytics

Token usage of this model on our platform

Throughput

Not enough throughput data

Time-To-First-Token (TTFT)

Not enough TTFT data

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)