小道消息独家爆料：DeepSeek今日震撼开源新模型DeepSeek-Prover-V2-671B，聚焦数学定理证明任务，震惊社区！
据社区和Hugging Face页面显示，该模型基于混合专家（MoE）架构，采用Lean 4框架进行形式化推理训练，参数规模达惊人的671B。通过结合强化学习与大规模合成数据，显著提升了自动化证明能力，引发行业热议。
DeepSeek-Prover-V2-671B模型已经在Hugging Face上线，支持本地部署与商业用途，预计将推动数学证明领域的革新。快来体验这款开源模型的强大威力吧！