DeepSeek开源Prover-V2-671B，参数达6710亿专攻数学证明

4月30日下午，DeepSeek在AI开源社区Hugging Face发布名为DeepSeek-Prover-V2-671B的新模型，参数规模达6710亿，或为去年发布的Prover-V1.5数学推理模型的升级版本，延续了其一贯的开源路线。

在模型架构上，Prover-V2-671B基于DeepSeek-V3架构、采用MoE（混合专家）模式，具备61层Transformer层与7168维隐藏层。它支持超长上下文，最大位置嵌入达163840，使其能处理复杂的数学证明；同时采用FP8量化，并通过更高效的safetensors文件格式与多种计算精度支持，减小模型体积、提升推理效率，方便更快、更省资源地训练与部署。

与通用对话模型不同，Prover系列聚焦形式化数学证明这一高难度细分任务——即让模型以严谨逻辑推演并完成定理证明，是检验大模型逻辑推理能力的“硬核” benchmark。DeepSeek在通用大模型之外持续打磨Prover线，既展现其在数学推理与形式化验证上的技术纵深，也以开源方式向科研与工程社区释放能力。6710亿参数的规模，意味着这仍是一次对算力与工程能力的显著投入，也延续了国产大模型“用开源换影响力”的竞争打法。