以下文章来源于MaxAIBox ，作者Max MaxAIBox . MaxAIBox.com 汇集优秀 AI 工具，探索 AI 无限可能 DeepSeek 坏得很，假前给大家送劳动节礼物来了，不过这次不是 DeepSeek-R2。 4 月 30 日，DeepSeek 正式推出 DeepSeek-Prover-V2-671B，标志着 AI 数学推理能力迈入新纪元。 DeepSeek-Prover-V2-671B 是什么？ 作为 DeepSeek 开源模型系列的新一代自动定理证明专家，该模型基于与 DeepSeek-V3 相同的 6710 亿参数混合专家（MoE）架构，专为 Lean 4 证明辅助框架中 的证明生成与验证而优化。 其 MoE 设计采用动态参数激活机制，单次推理仅调用约 370 亿参数（根据 DeepSeek 官方 MoE 架构报告推测，例如 V3 的技术方案），在保持强大推理能力的同 时显著提升计算效率。 该模型为多个领域带来革新可能： 技术架构解析 根据 DeepSeek-V3 等前代模型技术脉络，当前披露的核心规格如下： | Feature | Detail | Why it Matters ...