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的旗舰模型到底什么时候更新,行业期待“鲸鱼”的下一个动作。
(文章来源:第一财经)
买股票怎么在网上开户流程:看股票的软件app-楼市政策持续优化“上新” 多地加快部署城市更新
炒股票用什么手机:正规股票app-十五五规划建议发布:推进人民币国际化 提升资本项目开放水平 建设自主可控的人民币跨境支付体系
手机炒股票用什么软件最好:巨潮讯资网股票下载app-“抢场地、抢演员、AIGC助力” 日均百部短剧齐拍 实探郑州短剧基地
最新股票选股软件app:股票配资保证金-市值124亿元公司 拟用138亿元炒股理财
股票新闻app软件排名:股票怎么看一个公司的估值-A股突发!重磅信号来袭!经济数据大超预期
股票炒股软件手机app下载:正规的股票配资公司-中央政治局会议释放八大信号 事关财政、货币政策和资本市场等
启泰网-实盘炒股配资平台_实盘炒股配资开户_安全杠杆炒股平台提示:文章来自网络,不代表本站观点。
记者王珍中国国际经济交流中心副理事长、国务院发展研究中心原副主任王一鸣周一在“中国发展高层论坛2025...
近日,开源证券大连分公司遭大连证监局处罚,暂停其办理需要合格投资者认定相关业务六个月。该惩处力度在近年来券商分支机构中并...
记者|赵阳戈年初,证监会就修改《证券发行与承销管理办法》部分条款向社会公开征求意见,市场也将注意力投向了...
界面新闻记者|张乔遇立足非洲的纸尿裤品牌乐舒适有限公司(简称:乐舒适、公司)近日向港交所递交了招股书,中...
3月24日,易方达国证自由现金流ETF公开发售。该产品跟踪国证自由现金流指数,这个指数是什么?有哪些优势?投资价值如何?...
记者辛圆3月25日,博鳌亚洲论坛旗舰报告《亚洲经济前景及一体化进程2025年度报告》(以下简称《报告》...
记者辛圆给补贴、建平台,为了吸引更多高层次人才,各地纷纷放出“大招”。据央广网周一发布消息,湖...
3月12日,汇丰发布对于中国投资市场的最新观点。汇丰环球私人银行及财富管理中国首席投资总监匡正表示,DeepSe...
3月24日,海洋王照明科技股份有限公司(以下简称“海洋王”,002724.SZ)早盘一字跌停,此后股价拉涨,尾盘封涨停板...
记者|张乔遇火锅丸子等速冻食品“一哥”安井食品近日披露了向香港联交所递交了境外发行上市申请,拟在联交所主...
【隔夜行情】•周五(2025年3月21日),A股三大指数集体下跌,截至收盘,截止收盘,沪指跌1.29%,报收33...
2025年3月25日,倍轻松(688793.SH)公告称,公司股东宁波倍松投资有限公司(简称“宁波倍松”)拟通过大宗交易...
界面新闻记者|陈慧东水晶光电(002273.SZ)抛出一则3亿元现金买董事长等联合实控公司的预案。...
沪深两市成交额连续第44个交易日突破1万亿,较昨日此时缩量超900亿。...
3月24日,AI眼镜概念股开盘拉升,瀛通通讯直线涨停,明月镜片涨超10%,比依股份、博士眼镜、恒玄科技、国光电器等跟涨。...