您现在的位置是：首页 > 快讯快讯

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

zhoucl 2025-04-30 18:41:35 快讯已有人查阅

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

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

本文标签：

很赞哦！ ()

上一篇：2015年IC0参与巨鲸向Kraken充值3000枚ETH，已清仓

下一篇：Binance Alpha 上线 BSquared Token (B2)