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 推出 DeepSeekMath‑V2 模型,主打自验证数学推理能力
2025-11-27 20:52:29
DeepSeek故障近5小时!官方大方发补偿:所有API用户7天内的消耗金额全返
2026-10-15 18:05:18
Claude新模型曝光!能跳出思维定势,修Bug治标又治本
2026-10-20 10:01:49
花几秒钟跟AI抬个杠 是我最近最爽的清醒运动
2026-10-20 10:05:29
解道题奖金100万元!华为第七届奥林帕斯奖启动全球征集:聚焦存储领域
2026-10-21 16:44:03
用魔法打败魔法!澳洲公司利用AI主动被骗:让电诈分子白忙活17年
2026-10-19 19:22:04
15岁少女用AI修图:栽赃前男友扬言校园枪击!反面临15年监禁
2026-10-20 13:15:46
量智齐飞!4个月9款车落地,轻舟城市NOA击穿10-20万体验天花板
2026-10-21 15:37:38
“山姆品质暴跌你还敢去吗”登热搜 山姆:遭数千条虚假信息恶意攻击
2026-10-19 15:06:58
尹同跃:奇瑞是披着车企马甲的AI科技公司 未来不敢用AI重构自己的企业将被淘汰
2026-10-20 12:11:59
具身记忆赛道持续升温,长记忆迎来新 SOTA
2026-10-22 10:39:20
770 文章
1035445 浏览
24小时热文
更多
-
2026-10-22 15:53:37 -
2026-10-22 15:52:14 -
2026-10-22 15:50:48