DeepSeek发布Prover-V2模型 参数量达6710亿
创始人
2025-04-30 19:12:36

《科创板日报》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量化，可通过量化技术减小模型大小，提高推理效率。

上一篇：第四届长沙国际工程机械展启动布展 聚焦行业新趋势

下一篇：北京突发：钓鱼者河中遇险，房山消防火速救援

相关内容

热门资讯

今年我省粮食产量达515.56... （来源：辽宁日报）转自：辽宁日报 图为在中储粮（盘锦）储运有限公司，装运粮食的重型卡车排起长队...
国家发展改革委部署促进投资止跌... （来源：辽宁日报）转自：辽宁日报 新华社北京12月13日电 （记者魏玉坤） 记者13日从全国发展和改...
江苏省实施《中华人民共和国森林... （来源：新华日报） 目 录 第一章 总则 第二章 森林、林木和林地权属管理...
姜堰数字化产品讲“活”理论 （来源：新华日报） □ 本报记者 卢佳乐 通讯员 姜宣 “王教授，您约我‘喝茶论道’，...
联合国维和部队在苏丹遇袭 6人... 转自：财联社【联合国维和部队在苏丹遇袭 6人死亡】财联社12月14日电，当地时间13日，苏丹武装部队...