2025年 4 月 30 日，人工智能公司 DeepSeek 在 Hugging Face 平台悄然发布其最新超大规模数学定理证明模型 —— DeepSeek-Prover-V2-671B。该模型参数量高达 6710 亿（671B），是前代版本 V1.5 的近百倍，刷新了当前开源数学推理模型的体量上限。
DeepSeek-Prover-V2 专注于形式化数学证明任务，适用于自动定理验证、逻辑推理训练、Lean 4 教学等场景。其架构基于 DeepSeek-V3，采用混合专家（MoE）设计，每层激活 8 个专家模块，支持超长 163K tokens 的上下文处理，专为复杂、长链数学逻辑建模打造。
尽管官方尚未公布训练细节与性能评测结果，但业内普遍预计该模型将在 MiniF2F、ProofNet 等数学证明基准上展现出显著性能，推动 AI 在数学自动化领域进一步发展。
🔗 模型地址：https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B/tree/main
