DeepSeek Prover V2 API

Sobre DeepSeek Prover V2

LLM de código aberto especializado em prova de teorema formal em Lean 4, construído em um pipeline de prova recursiva de teorema.

Também conhecido como DeepSeek Prover, DeepSeek-Prover-V2

Especificações de DeepSeek Prover V2

ID do modelo

deepseek-prover-v2

Provedor

DeepSeek

Categoria

Geração de Texto

Lançado

30 de abr. de 2025

Entrada

Texto

Saída

Texto

Endpoints

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

IDs de modelo alternativos

deepseek-proverdeepseek/deepseek-prover-v2

Preços da API DeepSeek Prover V2

Tarifas pay-as-you-go ao vivo do catálogo EmpirioLabs. Você paga só pelo que usa, sem mínimo mensal.

Como chamar a API DeepSeek Prover V2

DeepSeek Prover V2 atende a API Chat Completions compatível com OpenAI. Aponte qualquer SDK OpenAI para https://api.empiriolabs.ai/v1 com sua chave de API EmpirioLabs e use o id de modelo deepseek-prover-v2. Obtenha uma chave de API no painel 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)

Bom saber

Especializado para provar teorema formal em Lean 4. Dirigido pelo OpenRouter.

API DeepSeek Prover V2: perguntas frequentes

Quanto custa a API DeepSeek Prover V2?

Na EmpirioLabs, DeepSeek Prover V2 é cobrado por uso: Por mensagem $0.020 fixado. A tabela de tarifas ao vivo desta página sempre corresponde ao que a API cobra.

A API DeepSeek Prover V2 é compatível com OpenAI?

Sim. DeepSeek Prover V2 atende a API Chat Completions compatível com OpenAI, então SDKs OpenAI existentes funcionam apontando base_url para https://api.empiriolabs.ai/v1 e definindo o id de modelo deepseek-prover-v2.

Posso testar DeepSeek Prover V2 no navegador antes de integrar?

Sim. O playground da EmpirioLabs executa DeepSeek Prover V2 no navegador com os mesmos parâmetros que a API expõe, para você testar prompts antes de escrever código.

Como consigo uma chave de API DeepSeek Prover V2?

Crie uma conta EmpirioLabs e gere uma chave em API Keys no painel. A cobrança usa créditos pay-as-you-go, então você paga apenas pelas requisições que faz.