新万博体育

　　猫眼电影记者 王德元 报道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：江南娱乐app官网下载

??11月23日,2025年放假安排来了！多了两天假，你想怎么休？,

　　“真的，我速度比你们快！”小不点一口咬定，而后还传了一些“秘法”，憨憨的笑着，让他们一定要保密。

,365唯一官网。

??11月23日,文化中国行！最新中华文化主题宣传片上线,

　　一、要找准位置，明确职责，树立起高度的责任感

,澳门小神仙-1,开云娱乐官网,世界杯买球平台叫什么。

??时事2：ballbet贝博app下载艾弗森

??11月23日,江西泰和小龙虾迎产销旺季 “稻虾连作”实现“种养互补”,

　　第一，重抓城市建设，是推动嘉荫现代化建设的需要。城市建设事关经济社会发展大局，事关人民群众切身利益。对照县委全会确立的打造“富庶之县、实力之县、宜居之县、和谐之县”的目标，在加快全县城乡一体化的进程中，必须充分发挥城市的龙头带动作用，以城市化带动现代化，以城市发展带动全县发展，以城市文明引领全县文明，以城区品位提升嘉荫形象。

,千亿购彩app最新版本,吉祥娱乐网站0251,华体会hth登录。

??11月23日,西藏林芝市工布江达县发生3.3级地震 震源深度10千米,

　　雨蒙冷幽幽的说道：“高手啊，我喜欢，我最近养了一头凶兽，需要强者的血，你将我身边的几人也带上，去将那父子给我捉来，我怀疑他们可能有些来头。”

,pg电子是什么游戏,乐虎国际在哪玩,特码诗。

??时事3：必赢app平台

??11月23日,雨水送寒北方冷空气将至 台风“桃芝”影响华南地区,

　　柳枝摆动而过，将一位高手拦腰斩断，它看似柔弱，但是却堪比一柄神刀，直接将人截断，鲜血喷涌。

,日博体育平台首页,捕鱼打钱,日博和365。

??11月23日,俄媒：中国展会非常适合俄罗斯企业,

　　有的同学因为诸多原因，成绩不好，就开始破罐子破摔，混时度日，甚至自我安慰：说什么读书不是唯一出路，不读书将来照样成功。还可以举出很多例子，如比尔盖茨等，你难道不知道世界上就只有一个比尔盖茨吗，再说你有他的那个智商吗，即使有，比尔盖茨成功的那个时代环境不是已经过去了吗，

,欧博亚星,新老虎机游戏平台,皇冠官方app客户端。

??时事4：国际象棋游戏在线真人

??11月23日,用新质生产力引领农业,

　　“喂，石村的朋友手下留情，有话好说，事情好商量。”狈村的人急了，这样一个潜力惊大荒的少年若是被整死，对他们这一族来说损失太大了。

,AG亚洲官网入口,bob体彩官网入口,澳门游戏平台注册就送。

??11月23日,强降雨袭珠三角 中山部分镇街道“成河”鳄鱼“出逃”,

　　1、严守交通规则，限时回家，不在外留宿。放学路上不能横排走。横排走会把道路占满，影响别人和车辆的通行，更容易发生危险，应当排成纵队走，自觉遵守交通法规，不在马路上嬉戏玩闹而妨碍了交通。

,必威好玩吗?,彩6官方,赌博去哪里赌。