DeepSeek发布6710亿参数开源模型，专注数学定理证明

4月30日消息，DeepSeek开源新模型DeepSeek-Prover-V2-671B，专注于数学定理证明。模型基于混合专家（MoE）架构，使用Lean 4框架训练，参数量达671亿，结合强化学习与合成数据，提升自动化证明能力。该模型已在Hugging Face上线，支持本地部署及商业用途。