DeepSeek Prover V2 API

DeepSeek Prover V2 について

LLM は、再帰的理論のパイプライン上に構築された、ラン 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 を提供します。任意の OpenAI SDK を EmpirioLabs API キーで 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)

知っておくと便利

リーン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 プレイグラウンドでは API と同じパラメーターで DeepSeek Prover V2 をブラウザ上で実行できるので、コードを書く前にプロンプトを試せます。

DeepSeek Prover V2 の API キーはどうやって取得しますか?

EmpirioLabs アカウントを作成し、ダッシュボードの API Keysでキーを生成してください。課金は従量制クレジットなので、実行したリクエストの分だけ支払います。