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量化，可通过量化技术减小模型大小，提高推理效率。(金十)
文章版权声明：除非注明，否则均为数币资讯网原创文章，转载或复制请以超链接形式并注明出处。
币安交易所
全球第一大所，币圈用户必备，新用户可得注册奖励最高可达500USD
欧易交易所
全球前三大交易所之一，新用户注册可拆数字盲盒，100%可以获得数字货币
更多交易所入口
一站式注册各大交易所、点击进入加密世界、永不失联，币安Binance/欧易OKX/GATE.IO芝麻开门/Bitget/抹茶MEXC/火币Huobi