DeepSeek Prover V2 API

关于 DeepSeek Prover V2

开源LLM专攻正式定理在Lean 4中证明,基于递归定理的管道.

也称为 DeepSeek Prover, DeepSeek-Prover-V2

DeepSeek Prover V2 规格

模型 ID

deepseek-prover-v2

提供方

DeepSeek

类别

文本生成

发布日期

2025年4月30日

输入

文本

输出

文本

端点

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

备用模型 ID

deepseek-proverdeepseek/deepseek-prover-v2

DeepSeek Prover V2 API 价格

来自 EmpirioLabs 目录的实时按量计费价格。只为实际用量付费，没有月度最低消费。

如何调用 DeepSeek Prover V2 API

DeepSeek Prover V2 提供 OpenAI 兼容的 Chat Completions API。用你的 EmpirioLabs API 密钥把任意 OpenAI SDK 指向 https://api.empiriolabs.ai/v1，并使用模型 ID deepseek-prover-v2。 在EmpirioLabs 控制台获取 API 密钥。

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)

须知

专门用于在Lean 4中证明正式定理. 经由OpenRouter的路由.

DeepSeek Prover V2 API：常见问题

DeepSeek Prover V2 API 收费多少？

在 EmpirioLabs，DeepSeek Prover V2 按量计费：每个消息 $0.020 固定。本页的实时价格表始终与 API 的实际计费一致。

DeepSeek Prover V2 API 兼容 OpenAI 吗？

兼容。DeepSeek Prover V2 提供 OpenAI 兼容的 Chat Completions API，现有 OpenAI SDK 只需把 base_url 指向 https://api.empiriolabs.ai/v1 并把模型 ID 设为 deepseek-prover-v2 即可使用。

集成之前可以在浏览器里试用 DeepSeek Prover V2 吗？

可以。EmpirioLabs Playground在浏览器中以与 API 相同的参数运行 DeepSeek Prover V2，你可以在写代码之前先测试提示词。

如何获取 DeepSeek Prover V2 API 密钥？

创建 EmpirioLabs 账户，然后在控制台的 API Keys生成密钥。计费使用按量付费的额度，只为实际发出的请求付费。