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