Skip to content
  12.  
    13. © 2023 – 2025 OpenRouter, Inc

    DeepSeek: DeepSeek Prover V2

    deepseek/deepseek-prover-v2

    Created Apr 30, 2025163,840 context
    $0.50/M input tokens$2.18/M output tokens

    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.

    Providers for DeepSeek Prover V2

    OpenRouter routes requests to the best providers that are able to handle your prompt size and parameters, with fallbacks to maximize uptime.

    Performance for DeepSeek Prover V2

    Compare different providers across OpenRouter

    Apps using DeepSeek Prover V2

    Top public apps this week using this model

    Recent activity on DeepSeek Prover V2

    Total usage per day on OpenRouter

    Uptime stats for DeepSeek Prover V2

    Uptime stats for DeepSeek Prover V2 across all providers

    Sample code and API for DeepSeek Prover V2

    OpenRouter normalizes requests and responses across providers for you.

    OpenRouter provides an OpenAI-compatible completion API to 400+ models & providers that you can call directly, or using the OpenAI SDK. Additionally, some third-party SDKs are available.

    In the examples below, the OpenRouter-specific headers are optional. Setting them allows your app to appear on the OpenRouter leaderboards.

    Using third-party SDKs

    For information about using third-party SDKs and frameworks with OpenRouter, please see our frameworks documentation.

    See the Request docs for all possible fields, and Parameters for explanations of specific sampling parameters.