PANews 4月30日消息，根據社區與Hugging Face頁面顯示，DeepSeek今日開源新模型DeepSeek-Prover-V2-671B，聚焦數學定理證明任務。模型基於混合專家（MoE）架構，使用Lean 4框架進行形式化推理訓練，參數規模達671B，結合強化學習與大規模合成數據，顯著提升自動化證明能力。模型已在Hugging Face上線，支援本地部署與商業用途。