2025年11月,DeepSeek开源全新数学模型DeepSeekMath-V2,专注自验证数学推理,打破谷歌和OpenAI在该领域的垄断。该模型在IMO 2025、CMO 2024及Putnam 2024竞赛中表现卓越,尤其在Putnam中以118/120超越人类最高分90分,并在代数、几何、数论等CNML级别问题上全面领先GPT-5-Thinking-High和Gemini 2.5-Pro。DeepSeekMath-V2采用迭代强化学习循环优化证明生成与验证,首次实现完全自动化数据标注流程,显著提升模型能力。此模型由研究员邵智宏主导开发,他曾提出经典算法GRPO并参与多个重要项目。这一成果标志着开源AI在复杂数学推理领域的重要突破。
原文链接
本文链接:https://kx.umi6.com/article/29323.html
转载请注明文章出处
相关推荐
换一换
DeepSeek 推出 DeepSeekMath‑V2 模型,主打自验证数学推理能力
2025-11-27 20:52:29
谷歌IMO金牌模型可以用了!推理性能秒了o3、Grok 4
2025-08-02 10:14:11
DeepSeek再破谷歌OpenAI垄断:开源IMO数学金牌大模型
2025-11-28 13:28:13
石油巨头沙特阿美借 AI 降本增效,2025 年技术应用价值预计达 30-50 亿美元
2026-01-21 16:19:39
国产GPU厂商燧原科技科创板IPO获受理
2026-01-22 19:08:26
端侧AI下半场,从跑起来到会思考
2026-01-21 15:15:34
2026年将成消费电子「最贵之年」?
2026-01-22 00:31:16
俄罗斯9层楼高暴雪视频引争议 当地留学生:是AI合成的假雪
2026-01-21 20:26:51
过去一年,中国AI如何改变全球开源格局?
2026-01-22 13:56:28
黄仁勋:AI时代蓝领更吃香 水管工、电工能拿六位数薪水
2026-01-22 07:42:15
重思启动重塑,美通社成功举办2026新传播年度论坛
2026-01-22 13:58:50
纳德拉达沃斯警示:没电,AI全是空谈
2026-01-22 04:36:47
没有商业模式,是DeepSeek最坚固的「护城河」
2026-01-21 14:10:41
635 文章
398665 浏览
24小时热文
更多
-
2026-01-23 00:20:44 -
2026-01-22 23:18:34 -
2026-01-22 23:17:29