DeepSeek Prover V2 API

À propos de DeepSeek Prover V2

LLM open source spécialisé dans la démonstration formelle de théorèmes en Lean 4, basé sur un pipeline récursif de démonstration de théorèmes.

Aussi connu sous le nom DeepSeek Prover, DeepSeek-Prover-V2

Caractéristiques de DeepSeek Prover V2

ID du modèle

deepseek-prover-v2

Fournisseur

DeepSeek

Catégorie

Génération de texte

Publié

30 avr. 2025

Entrée

Texte

Sortie

Texte

Endpoints

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

Identifiants de modèle alternatifs

deepseek-proverdeepseek/deepseek-prover-v2

Tarifs de l'API DeepSeek Prover V2

Tarifs à l'usage en direct du catalogue EmpirioLabs. Vous ne payez que ce que vous utilisez, sans minimum mensuel.

Comment appeler l'API DeepSeek Prover V2

DeepSeek Prover V2 sert l'API Chat Completions compatible OpenAI. Pointez n'importe quel SDK OpenAI vers https://api.empiriolabs.ai/v1 avec votre clé API EmpirioLabs et utilisez l'id de modèle deepseek-prover-v2. Obtenez une clé API depuis le tableau de bord EmpirioLabs.

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)

Bon à savoir

Spécialisé dans la démonstration de théorèmes formels en Lean 4. Acheminé via OpenRouter.

API DeepSeek Prover V2 : questions fréquentes

Combien coûte l'API DeepSeek Prover V2 ?

Sur EmpirioLabs, DeepSeek Prover V2 est facturé à l'usage : Par message $0.020 fixe. La grille tarifaire en direct de cette page correspond toujours à ce que l'API facture.

L'API DeepSeek Prover V2 est-elle compatible OpenAI ?

Oui. DeepSeek Prover V2 sert l'API Chat Completions compatible OpenAI : les SDKs OpenAI existants fonctionnent en pointant base_url vers https://api.empiriolabs.ai/v1 et en utilisant l'id de modèle deepseek-prover-v2.

Puis-je essayer DeepSeek Prover V2 dans le navigateur avant d'intégrer ?

Oui. Le playground EmpirioLabs exécute DeepSeek Prover V2 dans le navigateur avec les mêmes paramètres que l'API expose, pour tester vos prompts avant d'écrire du code.

Comment obtenir une clé API DeepSeek Prover V2 ?

Créez un compte EmpirioLabs, puis générez une clé sous API Keys dans le tableau de bord. La facturation utilise des crédits à l'usage : vous ne payez que vos requêtes.