DeepSeek Prover V2 | EmpirioLabs AI Docs

DeepSeek · Text Generation

POST /v1/chat/completions

오픈소스 LLM은 재귀적 정리 증명 파이프라인 위에 구축된 Lean 4의 형식적 정리 증명에 특화되어 있습니다.

한눈에

필드	가치
모델 ID	`deepseek-prover-v2`
모델 출시일	2025-04-30
입력 양상	본문
출력 방식	본문
컨텍스트 윈도우	-
무게 정밀도	-
특징	수학, 추론
원주민 추론	아니
신규	아니
지원되는 엔드포인트	`POST /v1/chat/completions`, `POST /v1/responses`

가격

돌격	사양	요금
메시지 하나	고정	$0.020

예시 요청

$ 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":"Hello"}]}'

매개변수

_This 모델은 표준 채팅 완료 매개변수를 수용합니다(API 참조를 참조하세요).

주석

Lean 4에서 형식 정리 증명에 특화되어 있습니다. OpenRouter를 통해 라우팅했습니다.

Machine-읽기 가능한 스키마: GET https://api.empiriolabs.ai/v1/models/deepseek-prover-v2.