财联社
财经通讯社
打开APP
【电报解读】DeepSeek发布Prover-V2模型,相较前代实现近百倍的模型容量扩张,机构看好私有化部署需求增加有望推高大模型一体机销量,这家公司提供基于华为昇腾系列算力的AI一体机产品
【DeepSeek发布Prover-V2模型 参数量达6710亿】《科创板日报》30日讯,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模型,相较前代实现近百倍的模型容量扩张,机构看好私有化部署需求增加有望推高大模型一体机销量,这家公司已与中电数科签订算力中心项目合作协议,提供基于华为昇腾系列算力的AI一体机产品,另一家相关市场份额位居行业第四。
财联社声明:文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。
商务合作
相关阅读
专栏
立即订阅