Back to Models
DeepSeek: DeepSeek Prover V2 AI Model Icon

DeepSeek: DeepSeek Prover V2

deepseek/deepseek-prover-v2

Description

DeepSeek Prover V2 is a 671B parameter model, speculated to be geared towards logic and mathematics. Likely an upgrade from [DeepSeek-Prover-V1.5](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL) Not much is known about the model yet, as DeepSeek released it on Hugging Face without an announcement or description.

API Usage Examples

OpenAI Compatible Endpoint

Use this endpoint with any OpenAI-compatible library. Model: DeepSeek: DeepSeek Prover V2 (deepseek/deepseek-prover-v2)

curl https://api.ridvay.com/v1/chat/completions   -H "Content-Type: application/json"   -H "Authorization: Bearer YOUR_API_KEY"   -d '{
    "model": "deepseek/deepseek-prover-v2",
    "messages": [
      {
        "role": "user",
        "content": "Explain the capabilities of the DeepSeek: DeepSeek Prover V2 model"
      }
    ],
    "temperature": 0.7,
    "max_tokens": 1024
  }'

Supported Modalities

  • Text

API Pricing

  • Input: 0.5$ / 1M tokens
  • Output: 2.18$ / 1M tokens

Token Limits

  • Max Output: 163,840 tokens
  • Max Context: 163,840 tokens

Subscription Tiers

  • free
  • pro
  • ultimate

More from deepseek

DeepSeek: DeepSeek V3.1 AI Model Icon

DeepSeek: DeepSeek V3.1

deepseek/deepseek-chat-v3.1

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: R1 0528 AI Model Icon

DeepSeek: R1 0528

deepseek/deepseek-r1-0528

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3.2 Speciale AI Model Icon

DeepSeek: DeepSeek V3.2 Speciale

deepseek/deepseek-v3.2-speciale

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3.2 AI Model Icon

DeepSeek: DeepSeek V3.2

deepseek/deepseek-v3.2

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3.2 Exp AI Model Icon

DeepSeek: DeepSeek V3.2 Exp

deepseek/deepseek-v3.2-exp

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3.1 Terminus AI Model Icon

DeepSeek: DeepSeek V3.1 Terminus

deepseek/deepseek-v3.1-terminus

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3.1 Terminus (exacto) AI Model Icon

DeepSeek: DeepSeek V3.1 Terminus (exacto)

deepseek/deepseek-v3.1-terminus:exacto

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek R1 0528 Qwen3 8B AI Model Icon

DeepSeek: DeepSeek R1 0528 Qwen3 8B

deepseek/deepseek-r1-0528-qwen3-8b

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3 0324 AI Model Icon

DeepSeek: DeepSeek V3 0324

deepseek/deepseek-chat-v3-0324

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: R1 Distill Qwen 32B AI Model Icon

DeepSeek: R1 Distill Qwen 32B

deepseek/deepseek-r1-distill-qwen-32b

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: R1 Distill Llama 70B AI Model Icon

DeepSeek: R1 Distill Llama 70B

deepseek/deepseek-r1-distill-llama-70b

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: R1 AI Model Icon

DeepSeek: R1

deepseek/deepseek-r1

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text
DeepSeek: DeepSeek V3 AI Model Icon

DeepSeek: DeepSeek V3

deepseek/deepseek-chat

Subscription Tiers:

free pro ultimate

Supported Modalities:

Text