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를 제공합니다. 아무 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)

알아두면 좋은 점

Lean 4.에서 proving 형식적인 theorem를 위해 전문화하는 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에서 키를 생성하세요. 요금은 종량제 크레딧이라 실행한 요청에 대해서만 결제합니다.