猫眼电影
猫眼电影记者 陆天平 报道Q8X2R7L1T4J5M9B6W3
作者 | 辰辰
出品 | 网易科技
专挑节假日搞大新闻”的DeepSeek又出手了。
就在大洋彼岸的工程师们准备切火鸡庆祝节日时,DeepSeek保持了极客传统,悄然上线了DeepSeekMath-V2。
开源权重、IMO金牌水平、超越GPT-5。?这套熟悉的“三连击”,再次巩固了DeepSeek作为“开源灯塔”的地位。?在算力受限的背景下,DeepSeek 再次证明了自己:不需要庞大的 GPU 集群,也能用算法奇迹在最硬核的数学赛道上,教闭源巨头们“做人”。
它“不搞虚的”,直接拿数学竞赛界的“终极试金石”,包括2025国际数学奥林匹克(IMO 2025)?和?普特南数学竞赛(Putnam)?的真题开练。在严苛的基准测试中,它交出了一份与 GPT-5和 Gemini 2.5 Pro 平起平坐,甚至更胜一筹的完美答卷。
1. 战绩彪悍:AI “碾压”人类学霸
DeepSeekMath-V2到底有多强?数据不会说谎。
——?IMO 2025金牌得主,比肩谷歌 OpenAI。?在 IMO 2025的基准测试中,DeepSeekMath-V2成功解出6道题中的5道,达到“金牌”水准。这一成绩直接对标谷歌 DeepMind 和 OpenAI 此前引以为傲的闭源模型。?要知道,在此之前,这种级别的推理能力是硅谷巨头们严防死守的商业机密。
——?普特南竞赛:118分 VS 人类最高分90分。?威廉·罗威尔·普特南数学竞赛(Putnam)可以说是北美本科生的“噩梦”,以难度极高著称,中位数得分甚至接近于0。DeepSeek 团队透露,DeepSeekMath-V2在2024年的普特南考题测试中,12道题做对了11道,最后一道也仅有微小瑕疵,最终得分118分(满分120)。相比之下,人类选手的最高分只有90分左右。这说明 AI 不仅仅是在“背题”,而是具备了超越顶尖人类选手的逻辑解题能力。
此外,DeepSeekMath-V2在代数、几何等5大数学领域全面超越 GPT-5和 Gemini 2.5 Pro。
2. 揭秘:为什么它能这么聪明?
数学推理一直是 AI 的软肋,因为大模型很容易“一本正经地胡说八道”(幻觉问题)。DeepSeek 是如何解决这个问题的?
答案是“元验证”(Meta-Verification)技术。
传统的 AI 训练是“给糖吃”:答案对了就奖励。但在高等数学证明中,答案对不代表过程对。AI 很容易瞎编一个过程然后蒙对答案。
但 DeepSeek 引入了一套“左右互搏”机制:
其中生成器就像一个学生,负责写解题步骤。验证器则是老师,负责检查逻辑漏洞,不仅仅看答案,还要看推导过程是否严谨。
更绝的是,他们还训练了一个“二阶验证器”,用来监督“老师”批改得对不对,防止模型为了拿分而钻空子。?这种递归式的验证结构,逼着模型必须学会真正的逻辑推理,而不是投机取巧。
而在推理阶段,模型不是张口就来。它会针对一个问题生成64个候选证明路径,然后用验证器逐一打分,挑出逻辑最严密的那一个。?这种“三思而后行”的模式,正是通往通用人工智能(AGI)的关键一步。
此外,DeepSeekMath-V2还打造了数字闭环生态,用验证反馈直接优化生成质量,用自主产生的高难度训练样本推动系统迭代。
3. 最大的杀手锏:它是开源的!
这才是让技术界沸腾的真正原因。
以往,无论是 OpenAI 还是谷歌都选择闭源。你想用顶级的数学推理能力?只能付费调用 API,不仅数据要传到云端,使用更受限于人。
但 DeepSeek 直接掀了桌子:模型权重公开下载,Apache 2.0协议。
Hugging Face 的 CEO 克莱门特·德朗格(Clément Delangue)为此激动地发推表示:
“据我所知,没有任何聊天机器人或 API 能给你提供 IMO 金牌级别的模型。但今天变了,你可以在 Hugging Face 上直接下载 DeepSeek Math-V2的权重。”
这意味着,高校研究人员、企业开发者都可以在本地部署这个“数学天才”。所有人都可以体验在本地运行“奥数金牌” AI 的快感,无需担心数据隐私,也不用看硅谷大厂的脸色。?一夜之间,曾经被视为核心竞争力的“推理护城河”,变成了人人可用的基础设施。
一经上线,全球各路技术播客和达人纷纷上手试用。
技术博主、英国程序大佬西蒙·威利森(Simon Willison)快速对 DeepSeek Math-V2的发布做了技术层面解读,强调这是一个开放权重模型。他还特意提到,OpenAI和谷歌的同等模型有将近700G,相比之下DeepSeek Math-V2要小得多。
BinaryVerse 发布的播客也称 DeepSeekMath-V2在某些数学推理基准上超越了已有闭源大模型,但同时也提到,模型“对常识问答或通用场景并非全面领先”。
Hacker News 等社区也纷纷对模型指标和能力发表个人看法。不少人惊讶模型的强大能力,但也有人质疑大量推理算力带来的优异指标是否可迁移到常规使用场景。许多评论强调“惊艳但令人不安”的速度,讨论模型在更广义推理与安全性方面的意义。
4. 逆风翻盘:算力受限下的极致优化
DeepSeek 的这次突围,背景其实略带悲壮。
由于芯片供应问题,DeepSeek 在算力硬件上并不占优,旗舰模型 R2甚至因硬件兼容性问题而被迫推迟。
但在这种极限施压下,DeepSeekMath-V2证明了一件事:算法的创新可以弥补算力的不足。
它没有单纯依赖暴力堆砌英伟达的 GPU 集群,而是通过“冷启动”训练——让 AI 自己生成训练数据,自己训练自己,还用自动化标注系统摆脱了对昂贵人工标注数据的依赖。
5. 结语
DeepSeekMath-V2的发布证实:在通往 AGI 的道路上,开源模型并没有掉队,甚至正在反超。
当硅谷还在试图用“安全”为由将顶级模型锁在黑盒子里时,来自中国企业的 DeepSeek 选择大度把钥匙交给了全世界。
对于所有 AI 从业者来说,这是一个最好的时代。
??时事1:斗地主加倍是什么意思
??11月25日,中国核电站废水氚含量高于福岛核污染水?中方:二者有本质区别,
根据《国务院办公厅新万博体育:20--年部分节假日安排的通知》上20--年五一假期为5月1日至5月3日,共3天,根据我乡5月6日前后是春茶采摘旺季、学校教学秩序受到一定影响的实际。经报上级批准,我校决定法定“五一节”放假时间不变,今年的“端午节”、“清明节”各一天的放假时间移到5月4日、5日,具体如下:
,世界杯在线投注软件。??11月25日,菲官员否认中菲就仁爱礁曾达成“新模式”等协议 中方阐明基本事实,
数十人都被解决了,石飞蛟等人没有手软,将他们扔进山中喂了猛兽,这些凶寇手上沾满了血,放过他们等于在惩善扬恶,新万博体育:的人会被祸害。
,十年信举亚洲首选主页,捕鱼达人2金币,牛牛游戏网。??时事2:kb88凯时手机网页版登录入口
??11月25日,市场监管总局发布《防范外卖餐饮浪费规范营销行为指引》,
七年级新生已跨入中学大门,从今天起,你们就开始了自己学习生活的另一个征程,希望同学们从进入中学校门的第一天起,就有一个新的计划,严格要求自己,遵守校纪班规,努力学习,勤奋上进,争做一名合格的中学生!九年级同学已进入人生重要的选择阶段,从今天开始,你的手中就握着你自己的命运,从今天开始,你的学习生活一切要求就要更强、更高,希望你们不要碌碌无为悔恨终身,谁要是游戏了人生,必将会一事无成;谁不能主宰自己,就永远是一个奴隶,唯有奋斗,才能征服命运之神。正如我们南教学楼的名字:(行健楼)“天行健,君子以自强不息;地势坤,君子以厚德载物”,奋斗才是成功的法宝,生命不止奋斗不息。正如我们北教学楼的名字(励志楼),俗话说:“有志者事竟成”,“志不立,天下无可成之事”。志当存高远,远大志向可以给人奋斗的动力。励志,
,必威手机登陆版下载,伟德体育体育下载,欢乐斗棋牌欢乐斗牛。??11月25日,00后小伙梅大高速驾车被拦停后 与群众合力救4人,
原本由他与另外一个老爷子照看,确保石昊无恙,但他们毕竟年岁大了,又是男性,不怎么会照料孩子,这才同意小辈人帮忙看护。
,比分直播188体育新版,天博app官网入口App,dafabet什么公司。??时事3:体育BBIN体育网
??11月25日,第十届华厦眼科青光眼论坛启幕 开创微创诊疗新格局,
冲云镇,一座气势宏伟的府邸中,一个微胖的中年人踱步,他名为雨蒙,面白无须,眼中隐约间有慑人的符文流转,他是雨族的一位高手。
,yabo平台首页,bet365足球,大阳城集团娱乐网站app666。??11月25日,11月广州一手住宅网签超90万平方米 市场热度持续,
与此同时,青鳞鹰交织出的符文发威,将鼠王震的浑身出现一道道可怕的血痕,伤势极重,坠向山石间。
,世界杯怎么买球?,欢乐斗地主竞技,爱体育app官方登录入口。??时事4:体育平台官方
??11月25日,中新健康丨十八载擒获致病基因NUP160 专家最新研究报告带来“大利好”, 针对目前的旱情,河南省水利厅于6月14日17时将水旱灾害防御(抗旱)Ⅳ级应急响应提升至Ⅲ级,并密切监视雨情、水情、旱情,科学精准调度水利工程,加强灌溉用水管理,细化落实各项供水保障措施,确保城乡居民饮水安全,最大程度减轻干旱灾害损失。,天富娱乐账号注册,jxf登录入口,ag真人登录。
??11月25日,二月初二“龙抬头”上海市民喜迎“好彩头”,
祭灵败了,死在了山地上!
,大发dafa,世界杯票哪里购买便宜,世界杯投注图片。责编:江晟
审核:河伯
责编:鲁元宏












