AI再次攻克了一道数学难题。就在这个月，OpenAI对外宣布：它的推理模型独立生成了一个原创数学证明，成功证伪了组合几何学中悬而未决近80年的核心猜想——由著名数学家保罗·埃尔德什于1946年提出的平面单位距离问题。消息一出，数学界和AI圈同时炸了锅。不是因为这道题有多难——它是组合几何中最著名的难题之一，被普林斯顿大学顶尖组合学家诺加·阿隆称为“埃尔德什最喜欢的问题之一”——而是因为，这次AI给出的证明，完全不是人类近80年来一直坚信的那个答案。“近80年来，数学界普遍认为，这类问题的最优构造大体应类似于‘方形网格’。”OpenAI在社交媒体上这样写道，“而我们的推理模型发现了一族全新的构造，在性能上优于传统方格方案。”这就像一个学生走进考场，面对一道老师们已经研究了80年的难题，不仅没被难住，还写出了一种所有老师都没见过的解法。等等，这是在制造焦虑吗？不，先别急着下结论。如果我们仔细看一看这些AI究竟是怎么“赢”的，就会发现一个比“AI到底会不会取代数学家”更有意思、也更值得我们认真对待的话题。你有多久没体验过“不知疲倦”的感觉了？想象一下：凌晨三点，你还在工位上改代码。眼睛酸涩，大脑像过热的GPU，风扇疯狂运转但输出效率直线下降。你告诉自己再坚持十分钟就好，但事实上，你从十点就在说这句话。这就是人类。我们会累，会饿，会心烦意乱，会因为一次次的失败而产生自我怀疑。我们的大脑在进化过程中被设计成了一台节能引擎——它天生倾向于走捷径、找规律、避免重复劳动。而Agent不是这样。OpenAI的推理模型在证明过程中，探索了一个人类数学家从未系统挖掘过的庞大构造空间。这种探索没有捷径可走，它需要在无数可能的方向上进行系统性的尝试——有些路通向死胡同，有些路绕了一大圈回到原点，只有极少数路最终抵达了那个完美的反例构造。OpenAI首席科学家Jakub Pachocki透露，这个尚未正式发布的内部模型在为期一周的测试中，成功攻克了10道顶尖数学难题中的至少5道——而这些题目都直接来自数学家科研一线，并非传统的竞赛题库。如果让一个人来做这件事，可能在第137次失败后就已经崩溃了。这就是我们今天想认真聊一聊的话题：当Agent以“不会疲劳”的姿态进入数学研究、进入工程实践、进入我们日常工作的每一个角落时，人和AI的关系正在经历一场深刻的、却未必是威胁性的重构。一个“不那么聪明”但绝对固执的探索者你在打瞌睡的时候，它已经试完了第11万种方案让我们先回到那个凌晨三点的场景。你还记得第一次写单元测试的感受吗？那种明明知道应该覆盖所有边界情况，但当写到第38个test case时就开始自我怀疑“我是不是在有病”的疲惫感。你不是不专业，你只是人类的耐心预算在那一刻告罄了。而OpenAI这次推出的推理模型，本质上做了一件什么事呢？它在回答一个问题：“如果给你一个足够复杂的问题空间，让你把每一种可能的方向都试一遍，你愿意吗？”人类会说：不，我要聪明一点，我要先想一个好的策略。Agent会说：好，现在开始试第一个。埃尔德什1946年提出的平面单位距离问题，在近80年的时间里经历了无数数学家的研究。2005年出版的《离散几何研究问题》一书甚至将其称为“组合几何中可能最著名（且解释起来最简单）的问题”。但所有人都被困在同一种直觉里——方形网格的构造方式“应该”是最优的。这不是因为数学家们不够聪明。恰恰相反，正因为他们太聪明了，太擅长归纳和简化，所以在一遍又一遍的尝试之后，大家不约而同地走到了一条“看起来最合理”的路上。而Agent没有这种“聪明的偏见”。它不在乎前人的直觉怎么说，也不在乎这个方向是不是已经被尝试过太多次而变得“不优雅”。它就像那个在数学课上说“为什么不试试除以0”的孩子——当然它不会真的除以0——但它确实会去尝试那些人类因为路径依赖而自动忽略的方向。OpenAI的模型利用了非传统数论中“隐藏的对称性”，在一类此前被忽略的数字系统中发现了一种全新的点阵排列方法，从而生成比传统方格方案多得多的单位距离对。结果是惊人的。它发现的不仅是一个孤立的反例，而是一整个“无限反例族”——在多项式级
