DeepSeek发布Prover-V2模型 参数量达6710亿

【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模型 参数量达6710亿
DeepSeek来了，企业级AI部署会更简单吗？
DeepSeek开源周Day1：FlashMLA：大家省，才是真的省
英伟达GTC上，“皮衣黄”也来蹭DeepSeek热度了
赋能千行百业！DeepSeek落地再提速
500亿芯片巨头官宣：成功运行DeepSeek
DeepSeek再发新模型
DeepSeek深夜发布多模态大模型 图像性能跑分力压OpenAI竞品
凌晨突袭！新版DeepSeek代码能力封神，Claude 3.7王座不保？
大模型专家解读Deepseek

网址: DeepSeek发布Prover-V2模型 参数量达6710亿 http://www.xishuta.com/newsview135524.html