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量化，可通过量化技术减小模型大小，提高推理效率。(金十)
免责声明：仅供参考。 过去的表现并不预示未来的结果。
推荐文章
回顾2024年美股，标普指数四起三落，预计继2023年涨24%后将连续2年涨幅超20%。展望2025年，标普超标6000点后，特朗普2.0时代突破7000点不在话下？
汇银预计，在美元相对强势的背景下下，台币汇率将继续保持偏弱。
关税对美国经济的损害可能比欧元区更严重，分析师看涨欧元兑美元至1.12。
黄金（黄金/美元）价格在新一周开始时吸引了新的卖盘，亚洲时段跌至3268-3267美元区域，回到接近周五的波动低点。
金价下跌近1%，报道称美国将降低汽车关税；油价继续下跌，摩根士丹利看跌至60美元；JOLTS职位空缺将发布>>
