AI数学推理新王者！DeepSeek-Prover-V2登场

IT之家 · 公众号 · 科技媒体 · 2025-05-01 20:00

正文

接着，利用一个较小的 7B 参数模型处理子目标的证明搜索，减轻计算负担。最终，结合完整的逐步证明与 DeepSeek-V3 的思维链（chain-of-thought），形成强化学习的“冷启动”数据。

推荐文章

InfoQ · 一篇文了解微信的技术之道：系统、架构、朋友圈……

8 年前

蓝橡树 · 这个世界, 不缺知识, 只缺教养。

8 年前

飞地 · 阿米亥: 也许我的一生都在错误中度过

8 年前

健康养身 · 冬病夏治，一年一次~这几个食方，现在开始吃，冬天病根全拔掉

8 年前

迪士尼中国 · 「迪士尼经典动画展映」闪耀上海电影节，满满童年回忆！

8 年前