DeepSeek-Prover-V2-671B开源：6710亿参数的“数学定理证明机”横空出世

2025年4月30日，AI开源社区Hugging Face迎来重磅更新——DeepSeek团队正式开源6710亿参数的数学推理大模型DeepSeek-Prover-V2-671B。作为Prover-V1.5的升级版，该模型以“暴力算力+算法创新”双引擎，试图突破AI在严谨数学推理中的天花板。

架构革新：混合专家模式与超长上下文
DeepSeek-Prover-V2-671B采用DeepSeek-V3架构与MoE（混合专家）模式，61层Transformer层与7168维隐藏层构成其“数学大脑”。最大位置嵌入达16.38万，使其能处理长达数万字符的复杂定理证明，远超同类模型。FP8量化技术将模型体积压缩至可部署范围，同时保留90%以上精度，配合safetensors格式与BF16/FP8/F32多精度支持，实现“推理速度提升3倍，资源消耗降低50%”的突破。

性能猜想：从“高考题”到“菲尔兹奖级”的跨越
尽管官方未公布性能数据，但前代Prover-V1.5在miniF2F高中数学测试中已达63.5%成功率，超越GPT-4与Claude-3。V2版本参数暴增96倍，或可挑战ProofNet大学级别测试的30%+成功率阈值。有开发者猜测，该模型可能采用“自我对弈强化学习”策略，通过生成海量合成数据迭代优化，最终实现“从证明几何定理到推导黎曼猜想”的跨级能力。

开源意义：数学AI的“普惠化”革命
DeepSeek-Prover-V2-671B的开源，标志着数学AI从“实验室玩具”向“工业级工具”的转变。教育机构可借此搭建自动批改系统，科研团队能加速微分几何、代数拓扑等领域的证明验证，甚至可能催生“AI数学家”新职业。当6710亿参数的“数学引擎”向全球开放，人类或将在AI辅助下，迎来定理证明的“大航海时代”。