首页 - 科技 > DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型！

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型！

发布于：2025-04-30 作者：凹凸曼 阅读：38

今日下午，DeepSeek 在 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。

据介绍，DeepSeek-Prover-V2-671B 其参数量达到6710亿，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多种计算精度，方便模型更快、更省资源地训练和部署。

在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。

同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

有网友分析，该模型被视为 Prover-V1.5的升级版，专注于形式化定理证明，专门用于攻克数学难题，擅长自动证明定理和复杂计算，类似于 AlphaGo 在围棋中的自我对弈方式。

接下来它的性能测试表现会如何，值得期待。

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型

DeepSeek上新！开源发布DeepSeek-Prover-V2-671B新模型


二维码

扫一扫关注我们

版权声明：本文内容由互联网用户自发贡献，本站不拥有所有权，不承担相关法律责任。如果发现本站有涉嫌抄袭的内容，欢迎发送邮件至 3941001135@qq.com举报，并提供相关证据，一经查实，本站将立刻删除涉嫌侵权内容。

上一篇：余承东首个科普视频！车上的摄像头、4D毫米波雷达、激光雷达到底是干啥用的！

下一篇：全面超越旧时代豪华MPV 魏牌高山预订破万：魏建军官宣上市时间！

相关文章

客服QQ：3941001135

客服邮箱：3941001135@qq.com

二维码

本站部分文字及图片均来自于网络，如有侵权请及时联系删除处理

Copyright © 2023 本站技术支持0571YP技术支持 苏ICP备2024129037号-1