DeepSeek Prover V2 API

Über DeepSeek Prover V2

Open-Source LLM spezialisierte sich auf formale Theoremprüfung in Lean 4, basierend auf einer rekursiven Theorem-proving Pipeline.

Auch bekannt als DeepSeek Prover, DeepSeek-Prover-V2

DeepSeek Prover V2 Spezifikationen

Modell-ID

deepseek-prover-v2

Anbieter

DeepSeek

Kategorie

Textgenerierung

Veröffentlicht

30. Apr. 2025

Eingabe

Text

Ausgabe

Text

Endpoints

POST/v1/chat/completionsPOST/v1/responsesPOST/v1beta/models/deepseek-prover-v2:generateContent

Alternative Modell-IDs

deepseek-proverdeepseek/deepseek-prover-v2

DeepSeek Prover V2 API-Preise

Live Pay-as-you-go-Preise aus dem EmpirioLabs-Katalog. Du zahlst nur für das, was du nutzt, ohne monatliches Minimum.

So rufst du die DeepSeek Prover V2 API auf

DeepSeek Prover V2 bedient die OpenAI-kompatible Chat Completions API. Richte ein beliebiges OpenAI SDK mit deinem EmpirioLabs API-Schlüssel auf https://api.empiriolabs.ai/v1 und verwende die Modell-ID deepseek-prover-v2. Hol dir einen API-Schlüssel im EmpirioLabs Dashboard.

curl https://api.empiriolabs.ai/v1/chat/completions \
  -H "Authorization: Bearer $EMPIRIOLABS_API_KEY" \
  -H "Content-Type: application/json" \
  -d '{
    "model": "deepseek-prover-v2",
    "messages": [
      {"role": "user", "content": "Write a haiku about the ocean."}
    ]
  }'

from openai import OpenAI

client = OpenAI(
    base_url="https://api.empiriolabs.ai/v1",
    api_key="YOUR_EMPIRIOLABS_API_KEY",
)

response = client.chat.completions.create(
    model="deepseek-prover-v2",
    messages=[{"role": "user", "content": "Write a haiku about the ocean."}],
)
print(response.choices[0].message.content)

Gut zu wissen

Spezialisiert auf formale Theoremprüfung in Lean 4. Geführt durch OpenRouter.

DeepSeek Prover V2 API: häufige Fragen

Wie viel kostet die DeepSeek Prover V2 API?

Auf EmpirioLabs wird DeepSeek Prover V2 nach Verbrauch abgerechnet: pro Nachricht $0.020 fest. Die Live-Preistabelle auf dieser Seite entspricht immer dem, was die API berechnet.

Ist die DeepSeek Prover V2 API OpenAI-kompatibel?

Ja. DeepSeek Prover V2 bedient die OpenAI-kompatible Chat Completions API. Bestehende OpenAI SDKs funktionieren, indem du base_url auf https://api.empiriolabs.ai/v1 setzt und als Modell-ID deepseek-prover-v2 verwendest.

Kann ich DeepSeek Prover V2 im Browser testen, bevor ich integriere?

Ja. Der EmpirioLabs Playground führt DeepSeek Prover V2 im Browser mit denselben Parametern aus, die die API bietet. So kannst du Prompts testen, bevor du Code schreibst.

Wie bekomme ich einen DeepSeek Prover V2 API-Schlüssel?

Erstelle ein EmpirioLabs-Konto und generiere dann einen Schlüssel unter API Keys im Dashboard. Die Abrechnung erfolgt über Pay-as-you-go-Guthaben, du zahlst also nur für deine Requests.