详细参数
模型定位
open_weight
适合场景
数学推理与定理证明
输入价格
公开资料未说明
输出价格
公开资料未说明
语言模型DeepSeekopen_weight稳定版
DeepSeek Prover V2 671B
调用名：deepseek-ai/DeepSeek-Prover-V2-671BDeepSeek Prover V2 671B 是 DeepSeek 于 2026 年 4 月发布的数学推理开放权重模型。
适合
数学推理与定理证明
open_weight
价格
公开资料未说明
1M Tokens
输入
文本
输出
文本
规格
上下文未说明
数学推理定理证明开放权重深度推理通用助手推理OpenAI兼容math
所属厂商：DeepSeek
能力与信息
核心能力
推理
支持
工具调用
不支持
结构化输出
不支持
训练与版本
微调
不支持
蒸馏
不支持
接入信息
知识截止
公开资料未说明
调用名
deepseek-ai/DeepSeek-Prover-V2-671B
API 基础地址
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B
调用协议
huggingface
主接口
model_download
接口说明
DeepSeek 官方 Hugging Face 开放权重模型，非 DeepSeek API 原生调用型号。
发布时间
2026-04-30
价格与计费
计费摘要
输入价
公开资料未说明
输出价
公开资料未说明
缓存输入
公开资料未说明
币种
未标注
计费单位
1M Tokens
单位类型
未标注
价格说明
原始价格文案
未收录
补充说明
暂无
发布时间
2026-04-30
官方入口