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再破谷歌OpenAI垄断:开源IMO数学金牌大模型
2025-11-28 13:28:13
DeepSeek 推出 DeepSeekMath‑V2 模型,主打自验证数学推理能力
2025-11-27 20:52:29
谷歌IMO金牌模型可以用了!推理性能秒了o3、Grok 4
2025-08-02 10:14:11
特斯拉之后 Figure AI 也秀肌肉:Figure 03 人形机器人跑起来,还是折返跑
2025-12-05 19:47:48
中信证券:医疗健康产品销售线上化率有望迎来长足提升
2025-12-06 10:24:18
漫剧满足了群众吃「电子路边摊」的需求
2025-12-05 14:32:40
中华人民共和国和法兰西共和国关于持续推进和平利用核能领域合作的联合声明
2025-12-05 13:31:00
工信部:实施工业互联网与重点产业链“链网协同”行动 打造一批适配的工业互联网解决方案
2025-12-04 19:42:46
OpenAI和NextDC计划斥资46亿美元在澳大利亚悉尼建设数据中心
2025-12-05 11:28:34
中国AI芯片市场迎巨变:英伟达2026年将仅占8%
2025-12-05 12:26:55
中国电信首条跨境空芯光纤和超低时延商用传输系统发布
2025-12-05 21:54:25
戴尔科技集团 x OpenCSG,推出⾯向智能初创企业的⼀体化 IT 基础架构解决方案
2025-12-06 10:23:57
“豆包手机”在二手市场价格都翻倍了……
2025-12-05 15:34:04
587 文章
326592 浏览
24小时热文
更多
-
2025-12-07 14:30:16 -
2025-12-07 13:30:59 -
2025-12-07 13:29:51