DeepSeek发布Prover-V2模型 参数达6710亿
创始人
2025-05-01 04:40:31
0次

智通财经APP获悉，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量化，可通过量化技术减小模型大小，提高推理效率。

来源：智通财经网

上一篇：凯盛新材：PEKK生产成本低于PEEK且加工窗口更宽

下一篇：激辩AI Agent商业化：万亿市场如何破局？｜甲子引力X

相关内容

热门资讯

透视中牌率！欢乐棋牌有外挂，德... 您好，德州ai机器人辅助这款游戏可以开挂的，确实是有挂的，需要了解加微【757446909】很多玩家...
透明攻略!哈糖大菠萝有挂(辅助... 透明攻略!哈糖大菠萝有挂(辅助透视)软件透明挂(有挂软件)-哔哩哔哩；超受欢迎的哈糖大菠萝有挂稳赢小...
透视软件！wepoke辅助插件... 透视软件！wepoke辅助插件（软件透明挂）微扑克系统是有问题（有挂规律）-哔哩哔哩是一款可以让一直...
透视黑科技!来玩app有挂(透... 您好：来玩app有挂这款游戏可以开挂的，确实是有挂的，很多玩家在这款游戏中打牌都会发现很多用户的牌特...
透视线上！拱趴大菠萝免费辅助器... 透视线上！拱趴大菠萝免费辅助器，德州wepower透视辅助，有挂教程（教程教程）-哔哩哔哩;1、不需...
透明新版!好运大菠萝有辅助(透... 《透明新版!好运大菠萝有辅助(透视辅助)软件透明挂(有挂透明挂)-哔哩哔哩》 好运大菠萝有辅助软件透...
透视黑科技！德州ai辅助神器机... 您好：德州ai辅助神器机器人 这款游戏可以开挂，确实是有挂的，需要了解加微【487309276】很多...
透明插件！wepoke用模拟器... 透明插件！wepoke用模拟器有用，aapoker辅助工具存在，有挂规律（下载教程）-哔哩哔哩；aa...
透视数据!云扑克是否有外挂(辅... 透视数据!云扑克是否有外挂(辅助透视)软件透明挂(有挂辅助)-哔哩哔哩是一款可以让一直输的玩家，快速...
透视存在！aapoker辅助工... 您好，aapoker辅助工具这款游戏可以开挂的，确实是有挂的，需要了解加微【757446909】很多...