热门：
DeepSeek发布Prover-V2模型 参数量达6710亿
DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B使用了更高效的safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达16.38万，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。
（文章来源：科创板日报）
(原标题：DeepSeek发布Prover-V2模型，参数量达6710亿)
(责任编辑：98)
关于我们|资质证明|研究中心|联系我们|安全指引|免责条款|隐私条款|风险提示函|意见建议|在线客服|诚聘英才
天天基金客服热线：95021 |客服邮箱：vip@1234567.com.cn|人工服务时间：工作日 7:30-21:30 双休日 9:00-21:30
郑重声明：天天基金系证监会批准的基金销售机构[000000303]。天天基金网所载文章、数据仅供参考，使用前请核实，风险自负。
中国证监会上海监管局网址：www.csrc.gov.cn/pub/shanghai
CopyRight 上海天天基金销售有限公司 2011-现在 沪ICP证：沪B2-20130026 网站备案号：沪ICP备11042629号-1