DeepSeek Prover V2 API

Acerca de DeepSeek Prover V2

LLM de código abierto especializado en demostración formal de teoremas en Lean 4, basado en una cadena recursiva de demostración de teoremas.

También conocido como DeepSeek Prover, DeepSeek-Prover-V2

Especificaciones de DeepSeek Prover V2

ID del modelo

deepseek-prover-v2

Proveedor

DeepSeek

Categoría

Generacion de texto

Lanzado

30 abr 2025

Entrada

Texto

Salida

Texto

Endpoints

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

IDs de modelo alternativos

deepseek-proverdeepseek/deepseek-prover-v2

Precios de la API de DeepSeek Prover V2

Tarifas de pago por uso en vivo del catálogo de EmpirioLabs. Solo pagas por lo que usas, sin mínimo mensual.

Cómo llamar a la API de DeepSeek Prover V2

DeepSeek Prover V2 sirve la API de Chat Completions compatible con OpenAI. Apunta cualquier SDK de OpenAI a https://api.empiriolabs.ai/v1 con tu clave de API de EmpirioLabs y usa el id de modelo deepseek-prover-v2. Consigue una clave de API en el panel de 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)

Información útil

Especializada en demostración formal de teoremas en Lean 4. Enrutado a través de OpenRouter.

API de DeepSeek Prover V2: preguntas frecuentes

¿Cuánto cuesta la API de DeepSeek Prover V2?

En EmpirioLabs, DeepSeek Prover V2 se factura por uso: Por mensaje $0.020 Fijado. La tabla de tarifas en vivo de esta página siempre coincide con lo que cobra la API.

¿La API de DeepSeek Prover V2 es compatible con OpenAI?

Sí. DeepSeek Prover V2 sirve la API de Chat Completions compatible con OpenAI, así que los SDKs de OpenAI existentes funcionan apuntando base_url a https://api.empiriolabs.ai/v1 y usando el id de modelo deepseek-prover-v2.

¿Puedo probar DeepSeek Prover V2 en el navegador antes de integrar?

Sí. El playground de EmpirioLabs ejecuta DeepSeek Prover V2 en el navegador con los mismos parámetros que expone la API, para que pruebes prompts antes de escribir código.

¿Cómo consigo una clave de API de DeepSeek Prover V2?

Crea una cuenta de EmpirioLabs y genera una clave en API Keys en el panel. La facturación es con créditos de pago por uso, así que solo pagas por las solicitudes que haces.