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.

DeepSeek: DeepSeek Prover V2

deepseek/deepseek-prover-v2

Created Apr 30, 2025163,840 context

$0.50/M input tokens$2.18/M output tokens

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.