供应商与模式DeepSeek

DeepSeek Prover V2

DeepSeek Prover V2
DeepSeek · Text Generation
POST /v1/chat/completions

开源LLM专注于精益4的形式定理证明，基于递归定理证明流水线。

一眼看

场地价值
型号IDdeepseek-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 参考]（/api-reference））。

注释

专注于精益4的形式定理证明。通过OpenRouter路由。

Machine可读模式： GET https://api.empiriolabs.ai/v1/models/deepseek-prover-v2。