您现在的位置是： > 快讯快讯

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

zhoucl 2025-04-30 19:40:56 快讯已有人查阅

导读DeepSeek今日于AI开源社区Hugging Face上发布了一个名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B 使用了更高效的 safetensors文件格式，并支持多种计算精度，方便模型更快、更省资源地训练和部署，参数达6710亿，或为去年发布的Prover-V1.5数学模型升级版本。在模型架构上，该模型使用了DeepSeek-V3架构，采用MoE（混合专家）模式，具有61层Transformer层，7168维隐藏层。同时支持超长上

DeepSeek今日在Hugging Face发布新模型DeepSeek-Prover-V2-671B。该模型参数规模达6710亿，基于DeepSeek-V3架构，采用MoE模式，包含61层Transformer和7168维隐藏层，支持超长上下文（最大位置嵌入16.38万）。它使用safetensors格式，兼容多种计算精度，便于高效训练与部署，同时引入FP8量化技术，优化模型大小并提升推理效率。此版本或为去年Prover-V1.5数学模型的升级版，专为复杂数学证明设计。

本文标签：

很赞哦！ ()

上一篇：问链网：升级发现费用铸造合约错误，已暂停充提功能确保资金安全