DeepSeek-Prover-V2
模型参数
6710亿
上下文长度
128K
中文支持
支持
推理能力
DeepSeek-Prover-V2 是由 DeepSeek-AI 发布的 AI 模型，发布时间为 2025-04-30，定位为 基础大模型，参数规模约为 6710亿，上下文长度为 128K，模型文件大小约 1342GB，采用 Apache 2.0 许可。
数据优先来自官方发布（GitHub、Hugging Face、论文），其次为评测基准官方结果，最后为第三方评测机构数据。 了解数据收集方法
DeepSeek-Prover-V2
模型基本信息
推理过程
不支持
思考模式
不支持思考模式
上下文长度
128K tokens
最大输出长度
64K tokens
模型类型
基础大模型
输入/输出模态
文本 → 文本
发布时间
2025-04-30
模型文件大小
1342GB
MoE架构
否
总参数 / 激活参数
6710亿 / 不涉及
知识截止
暂无数据
DeepSeek-Prover-V2
开源和体验地址
DeepSeek-Prover-V2
官方介绍与博客
官方论文
暂无官方论文
DataLearnerAI博客
DeepSeek-Prover-V2
API接口信息
接口速度
2/5
暂无公开的 API 定价信息。
DeepSeek-Prover-V2
评测结果
当前尚无可展示的评测数据。
和其他模型对比
暂时没有为该模型整理的相关对比页面。
想自定义其他组合？打开对比工具
DeepSeek-Prover-V2
发布机构
DeepSeek-AI
查看发布机构详情 DeepSeek-Prover-V2
模型解读
DeepSeek-Prover-V2是DeepSeekAI最新开源的大模型。根据猜测，这是一个可以用来帮助研究者做数学推理的大模型。
DataLearner 官方微信
欢迎关注 DataLearner 官方微信，获得最新 AI 技术推送
