PANews 4月30日消息，据社区与Hugging Face页面显示，DeepSeek今日开源新模型DeepSeek-Prover-V2-671B，聚焦数学定理证明任务。该模型基于混合专家（MoE）架构，使用Lean 4框架进行形式化推理训练，参数规模达671B，结合强化学习与大规模合成数据，显著提升自动化证明能力。模型已在Hugging Face上线，支持本地部署与商业用途。