DeepSeek发布Prover-V2模型 参数达6710亿
创始人
2025-04-30 20:05:23

4月30日，DeepSeek于AI开源社区Hugging Face上发布了一个名为“DeepSeek-Prover-V2-671B”的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。

在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE模式，具有61层Transformer层，7168维隐藏层。同时支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明，并且采用了FP8量化，可通过量化技术减小模型大小，提高推理效率。

上一篇：诚邦生态环境股份有限公司2025年第一季度报告

下一篇：华联控股：截至2025年4月18日公司股东总人数为42121户

相关内容

热门资讯

投资者提问：请问董秘，当前中日... 投资者提问：请问董秘，当前中日关系陷入僵局乃至谷底之际，公司有规划更多使用国产光刻胶等材料来替代日系...
富德生命人寿咸阳中心支公司被罚... 12月16日金融一线消息，据咸阳金融监管分局行政处罚信息公开表显示，富德生命人寿保险股份有限公司咸阳...
市场监管总局：抓紧推进出台《互... 转自：北京日报客户端记者16日从市场监管总局获悉，市场监管总局正抓紧推进《互联网平台反垄断合规指引》...
天奇股份：锂电循环业务夯实产业... 12月16日，江西天奇金泰阁集团（简称“天奇金泰阁”）资本赋能发展大会在江西龙南举行。会上，天奇股份...
「侠客岛」他们用上了“AI分身... 　　炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！ （来源：海外网）来源...