DeepSeek推出数学专用模型DeepSeek-Prover-V2 专注形式化定理证明
DeepSeek 发布了一个新的开源模型 DeepSeek-Prover-V2-671B，专注于数学定理证明任务。该模型建立在专家混合 （MoE） 架构之上，并利用 Lean 4 框架进行正式的推理训练。该算法的参数规模为 671B，将强化学习和大规模合成数据相结合，显著提升自动化证明能力。该模型现已在 Hugging Face 上可用，支持本地部署和商业使用。
来源：HuggingFace
DeepSeek 发布了一个新的开源模型 DeepSeek-Prover-V2-671B，专注于数学定理证明任务。该模型建立在专家混合 （MoE） 架构之上，并利用 Lean 4 框架进行正式的推理训练。该算法的参数规模为 671B，将强化学习和大规模合成数据相结合，显著提升自动化证明能力。该模型现已在 Hugging Face 上可用，支持本地部署和商业使用。
来源：HuggingFace
