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
DeepSeek 推出 DeepSeekMath‑V2 模型,主打自验证数学推理能力
2025-11-27 20:52:29
谷歌IMO金牌模型可以用了!推理性能秒了o3、Grok 4
2025-08-02 10:14:11
SoulAgent 即将亮相北京智源大会,探索个人智能体在知识服务场景中的应用
2026-06-08 17:43:47
华为多名AI人才离职创业!90后 "盘古少帅" 新公司估值达1亿美元
2026-06-04 12:03:27
覆盖20多个垂直场景Agent!腾讯首发效率智能体工具集
2026-06-05 17:08:27
OpenAI芯片核心叛逃Anthropic!就在量产前夜
2026-06-07 20:48:02
阶跃Step 3.7 Flash登顶AA榜:速度、性价比、端到端三项第一
2026-06-05 14:59:31
慕尼黑工大Johannes Betz 教授:时速300公里的自动驾驶超车 | ICRA 2026
2026-06-04 16:14:04
刚刚,李飞飞亲自下场定义世界模型
2026-06-04 09:56:31
世界模型榜首易主!跨维智能登顶WorldArena
2026-06-03 19:33:11
港股鞋王千百度,一夜完成AI数据公司转型
2026-06-06 12:44:02
突发!Anthropic重磅发现:AI已开始自我进化 呼吁全球暂停研究
2026-06-05 10:55:28
716 文章
633881 浏览
24小时热文
更多
-
2026-06-09 00:54:40 -
2026-06-09 00:53:08 -
2026-06-08 23:49:41