今日新闻

当前位置: 今日新闻 > 资讯 > 文章页

V2模型 参数达6710亿

时间:2025-05-09 04:55来源: 作者:admin 点击: 9 次
DeepSeek发布Prover-V2模型 参数达6710亿,https://m.jrj.com.cn/madapter/finance/2025/04/30194150056340.shtml

智通财经APP获悉,4月30日,DeepSeek于AI开源社区Hugging Face上发布了一个名为“DeepSeek-Prover-V2-671B”的新模型。据悉,DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式,并支持多种计算精度,方便模型更快、更省资源地训练和部署,参数达6710亿,或为去年发布的Prover-V1.5数学模型升级版本。

在模型架构上,该模型使用了DeepSeek-V3架构,采用MoE模式,具有61层Transformer层,7168维隐藏层。同时支持超长上下文,最大位置嵌入达163840,使其能处理复杂的数学证明,并且采用了FP8量化,可通过量化技术减小模型大小,提高推理效率。

(责任编辑:)
------分隔线----------------------------
发表评论
请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
评价:
表情:
用户名: 验证码:
发布者资料
查看详细资料 发送留言 加为好友 用户等级: 注册时间:2025-05-14 14:05 最后登录:2025-05-14 14:05
栏目列表
推荐内容