新智元报道

　　编辑：倾倾

　　Google DeepMind再次血洗数学圈！700个地狱级难题被丢进Gemini的熔炉，结果让数学家集体破防：这哪是证明，这分明是「逻辑拆迁」。DeepMind这一波不仅贴脸爆杀了OpenAI，还砸烂了人类所有的优越感。

　　几百美金的悬赏，跨越半个世纪的死局。

　　20世纪最伟大的「题目魔术师」保罗·埃尔德什（PaulErdős）生前留下了几百个悬赏令，金额从50刀涨到5000刀。

　　50年里，无数数学天才熬秃了头，也没能拿走一分钱。

　　结果，Google DeepMind带着名为Aletheia（真理女神）的怪兽进场了。

　　上线仅7天，13道难题应声而碎。

　　论文链接：https://arxiv.org/abs/2601.22401

　　但最扎心的真相是：AI并不是比你更聪明，它只是比你更懂「洗稿」。

　　13/700的真相：AI真的在加速科学吗？

　　「AI攻克百年数学难题」看起来很像爽文标题，听听就行，别被带了节奏。

　　数学这行只看硬指标。DeepMind这次祭出的Aletheia，底色根本不是什么「天才数学家」，而是一个冷酷的「顶级逻辑洗煤厂」

　　这套逻辑极其残酷，带着一股子硅谷大厂KPI导向的血腥味：

　　初始的流量层里，装着700个埃尔德什猜想。

　　随后，Gemini开启Deep Think模式，像不要钱一样大规模灌入算力，得出200个候选方案。

　　然后，这200个候选人经过自然语言验证器，剔除逻辑不通的部分，最后只剩下63个。

　　最后，经过专家级别的数学推演，得到13个真正具有数学原创意义的答案。

　　成功证明问题：Erdős problem#1051

　　700个问题里只解答出13个，转化率还不到2%。

　　其中，最具代表性的是对「Erdős-1051」猜想中关于无理数分布的证明。

　　听着很牛X，但DeepMind自己也承认，剩下的68.5%都是学术垃圾。

　　有些AI给出的证明过程长达几百页，读起来像是东拼西凑的论文。

　　在整个过程中，Aletheia像一个「自动审稿员」。Gemini负责狂暴输出，而验证器负责冷酷拒绝。

　　Gemini DeepThink处理数学猜想具体过程：https://www.youtube.com/watch?v=Nmv4YxpbhU8

　　更讽刺的是，人类数学家复核后发现，这13个所谓的「突破」，很大一部分属于数学界的「低垂果实」——太繁琐所以没人想做。

　　一位参与评审的组合数学专家曾私下感叹：

　　AI目前的强项不是创造，而是清扫。

　　只要算力管够，这种靠暴力逻辑搜集、整理、强行出结果的路径，AI基本无敌。

　　潜意识剽窃：AI数学家的「洗稿」艺术

　　在这次DeepMind的成果展示中，出现了一个让学术界集体炸锅的新名词：潜意识剽窃。

　　简单说，就是AI利用自己几乎无限的硬盘，从某个犄角旮旯翻出一篇冷门论文，然后用现代的逻辑语言把它重新包装了一遍。

　　最典型的翻车现场是关于Erdős-1089猜想的证明。

　　当时Aletheia给出了一个极其精妙的推导，精妙到连几个顶尖数学家都差点想给它颁奖。

　　但随后，有人在数据库的深层挖掘中发现，这个所谓的「原创灵感」，与1981年一篇东欧冷门数学期刊上的论文高度重合。

　　这就是AI作为一个「黑盒」最让人绝望的本能。

　　对AI来说，它并没有原创和抄袭的概念。它只是在概率的指引下，把权重最高的Token组合在一起。

　　AI记住了所有你忘了的东西。当它从千亿级参数中提取出那个冷门关联时，它自己都不知道是在致敬还是在白嫖。

　　GoogleDeepMind-Aletheia项目详情，在此页面可以找到更多具体输出案例：https://github.com/google-deepmind/superhuman

　　只要喂的数据够多，AI就能通过变换符号系统、调整推导步长，把一篇旧论文洗得像刚出炉的SCI。

　　菲尔兹奖得主陶哲轩一语道破：

　　AI并不是在做数学，它是在对人类过往的智慧进行大规模的归纳整合。

　　细思极恐。如果连数学这种硬核真理领域，AI都能靠「洗稿」蒙混过关，那我们写的行业报告、架构方案、市场分析，在它眼里算什么？

　　大师也翻车：被诅咒的Erdős-75号

　　接下来这个「Erdős-75号灵异事件」，暴露出AI的智商硬伤。

　　这道题在数学圈臭名昭著，因为它被「诅咒」了。

　　1995年，埃尔德什在写下这个猜想时，犯了一个低级逻辑错误，这道题题干就是错的，是个伪命题。

　　魔幻的一幕发生了：Aletheia接手后，不仅没发现题目有问题，反而凭借其狂暴的算力和自我博弈机制，硬生生地输出了一份长达几十页、逻辑闭环的「完美证明」。

　　这种「逻辑狂奔」暴露了当前AI的致命缺陷：

　　首先，AI缺乏审美与常识。它只会在符号框架内找最优解，却根本分不清这个框架本身是不是一张废纸。

　　其次，奖励函数具有盲目性。AI的目标是让验证器闭嘴。只要推导过程符合规则，结论哪怕再荒谬，它也敢一路狂飙到底。

　　最后发现Bug的，还得是那帮数学家。他们翻出1995年的手稿，一行行对完后得出结论：「这题出错了，AI证的是个寂寞。」

　　而这一点，恰恰是我们和AI竞争时的最后防线。AI能在几毫秒内跑完几千公里的逻辑马拉松，但它不知道终点线是不是画在悬崖外面。

　　DeepMind贴脸开大：OpenAI的「数学公关战」破产题

　　前阵子，OpenAI靠着o1在数学AIME考试里刷屏，宣称AI已经有了类似人类的「慢思考」能力。

　　但在DeepMind看来，那顶多算是一场极其成功的文献开盒。

　　为了打脸OpenAI，Google专门在Aletheia的输出分类里设立了一个很损的标签：「已知文献关联」。

　　它明摆着在讽刺OpenAI：你以为你解决了问题，其实你只是从训练集里翻出了标准答案。

　　而DeepMind表示，我不仅能证出来，我还能告诉你哪些是人类证过的、哪些是我洗稿洗出来的、哪些才是真正的原创。

　　这场「数学公关战」撕开了大厂竞争的遮羞布。

　　OpenAI的数学能力很大程度上依赖于「题海战术」，一旦遇到训练集之外的真命题就容易抓瞎。

　　而DeepMind走的是「AlphaGo路线」——自我博弈+形式化验证（Lean），宁可转化率只有2%，也要确保这13个成果是硬通货。

　　DeepMind官方技术文档：Aletheia用于数学的自我对弈与形式化证明

　　数学界的「扫地僧」陶哲轩一直关注着这场博弈。

　　他在自己的他在博客里含蓄地表示：相比于追求「看起来正确」的概率模型，他更看好那种能生成「可由计算机验证证明」的系统。

　　这等于是给DeepMind站了台。

　　瓶颈位移：从「解题机器」到「审美法官」

　　折腾了半天，这场13/700的战役到底告诉了我们什么？

　　是——数学发现的瓶颈，正在从「解题能力」位移到「价值判定」。

　　这种范式转移，预示了未来所有硬核从业者的两种求生路径：

　　一种是从「操作员」变成「审美法官」。

　　既然AI能以极低成本生成海量逻辑证明，人类的价值就不再是去复核每一个符号，而是运用直觉和审美，去判断哪个方向才有真正的科学突破。

　　另一种形态是逻辑审计员。

　　面对潜意识剽窃和大师Bug，人类需要利用对历史的精通，去甄别AI到底是真天才，还是个洗稿高手。

　　AI能在几毫秒内重走完人类几千年的逻辑之路，但它依然读不懂人类在深夜推演失败时，那份撕掉草稿纸的无奈。

　　逻辑可以代工，但灵魂和审美，AI暂时还没学会怎么洗。

　　参考资料：

　　https://x.com/quocleix/status/2018402933193539735?s=20

　　https://arxiv.org/abs/2601.22401