11月27日晚，DeepSeek悄悄地在Hugging Face 上开源了一个新模型：DeepSeek-Math-V2 。这是一个数学方面的模型 ，也是目前行业首个达到IMO（国际奥林匹克数学竞赛）金牌水平且开源的模型 。
在同步发布的技术论文中 ，DeepSeek表示，Math-V2的部分性能优于谷歌旗下的Gemini DeepThink ，并展示了模型在IMO-ProofBench基准以及近期数学竞赛上的表现。
具体来看 ，在其中的Basic基准上，DeepSeek-Math-V2 远胜其他模型 ，达到了近99%的高分 ，而排在第二的谷歌旗下Gemini Deep Think (IMO Gold)分数为89% 。但在更难的 Advanced 子集上，Math-V2分数为61.9% ，略逊于 Gemini Deep Think (IMO Gold)的65.7% 。
在这篇名为《DeepSeek Math-V2：迈向可自验证的数学推理》的论文中 ，DeepSeek指出，大语言模型已经在数学推理方面取得了重大进展，这是人工智能的重要试验台 ，如果进一步推进 ，可能会对科学研究产生影响。
但当前的AI在数学推理方面有着研究局限：以正确的最终答案作为奖励，正确的答案却不能保证正确的推理 。许多数学任务 ，如定理证明 ，需要严格的分步推导，而不是数字答案 ，这使得最终答案奖励不适用 。
为了突破深度推理的极限 ，DeepSeek认为有必要验证数学推理的全面性和严谨性。团队提出，自我验证对于扩展测试时间计算尤为重要 ，特别是对于那些没有已知解决方案的开放问题 。
此次DeepSeek推出的Math-V2就从结果导向转向了过程导向 ，展示了强大的定理证明能力 。这一模型不依赖大量的数学题答案数据，而是通过教会AI如何像数学家一样严谨地审查证明过程 ，从而在没有人类干预的情况下 ，也能不断提升解决高难度数学证明题的能力 。
论文提到，Math-V2在IMO 2025和CMO 2024上取得了金牌级成绩，在Putnam 2024上通过扩展测试计算实现了接近满分的成绩（118/120）。
DeepSeek认为 ，虽然仍有许多工作要做 ，但这些结果表明，可自我验证的数学推理是一个可行的研究方向 ，可能有助于开发更强大的数学AI系统 。
对于DeepSeek此次的动作 ，海外的反应是“鲸鱼终于回来了” 。有网友感慨，DeepSeek以10个百分点的优势击败了谷歌的IMO Gold 获奖模型DeepThink ，这不在预测范围内。“想象一下 ，当他们公布编程模型时会发生什么，我打赌他们绝对有编程模型 。 ”
目前 ，行业头部厂商的模型已经又迭代了一轮 ，11月，先是OpenAI发布了GPT-5.1 ，几天后xAI发布Grok 4.1 ，就在上周谷歌发布了Gemini 3系列引爆AI圈，“也该轮到DeepSeek出牌了 ” 。不过，更受外界关注的仍然是 ，DeepSeek的旗舰模型到底什么时候更新 ，行业期待“鲸鱼”的下一个动作。
（文章来源：第一财经）
股票软件有哪些手机版:a股加杠杆-10万美元签证费击碎“美国梦” 硅谷恐失去下一代“马斯克” 美企加速外包 加拿大趁机“抢人”
网上怎么买股票开户:股票买卖怎么加杠杆-iPhone Air牵手联通推出eSIM手机！电信移动亦有准备 哪些A股厂商有望受益
正规的股市怎么加杠杆:新开户能买哪些开头的股票-稳定币浪潮席卷A股背后：翻倍牛股股东搭上快车“精准”高位减持
手机股票交易软件哪个好:股市怎么加杠杆交易-北方稀土：上半年净利润9.31亿元 同比增长1951.52%
股票用手机怎么买:有哪些正规股票的加杠杆平台-5月446股获券商首次关注！这只股距目标价还有24%上涨空间
股票加杠杆具体步骤:手机玩股票软件-“榜眼”、“探花”上新！中际旭创跃居第三 创业板市值前三座次大变
实盘配资排行榜_配资服务_证券配资提示：文章来自网络，不代表本站观点。
记者｜赵阳戈年初，证监会就修改《证券发行与承销管理办法》部分条款向社会公开征求意见，市场也将注意力投向了...
3月24日，易方达国证自由现金流ETF公开发售。该产品跟踪国证自由现金流指数，这个指数是什么？有哪些优势？投资价值如何？...
2025年3月25日，倍轻松(688793.SH)公告称，公司股东宁波倍松投资有限公司（简称“宁波倍松”）拟通过大宗交易...
记者辛圆3月25日，博鳌亚洲论坛旗舰报告《亚洲经济前景及一体化进程2025年度报告》（以下简称《报告》...
当地时间3月24日，特斯拉美股涨幅扩大至5%，现报262.055美元/股。...
