夜雨聆风5月21日，OpenAI扔了一颗“核弹”。
不是GPT-5，不是Sora，不是什么花里胡哨的多模态大模型——而是一个通用推理模型，安安静静地，把一道折磨了数学界整整79年的几何难题给破了。
平面单位距离猜想，Erdős Unit Distance Problem，1946年由匈牙利数学天才保罗·厄多斯提出，至今无人能解。直到昨天，一个AI说：我解了。
OpenAI CEO山姆·奥特曼在X上转发了这条消息，配了一句让人浮想联翩的话："感受很复杂。"
复杂？我看完之后的感受也很复杂。一方面觉得人类的智识边界又被往外推了一大步，另一方面又在想——这次不会又是上次那种"找到了答案但其实答案早就在论文里躺着"的乌龙吧？
别急，这次还真不一样。而且不一样的地方，恰恰是最让人细思极恐的地方。
一、先搞清楚：这个"平面单位距离猜想"到底是个什么东西？
很多人一看到"数学猜想"四个字就想划走，但我劝你别走，因为这个问题的描述简单到小学生都能听懂，难到菲尔兹奖得主都挠头。
问题是这样的：在一个平面上，给你n个点，你最多能画出多少对"距离恰好等于1"的点对？
听起来是不是特简单？就像你在纸上随便点几个点，然后数数有多少对点之间的距离刚好是1厘米。
但当n变大的时候，这个问题就变得极其诡异。厄多斯在1946年提出了一个猜想：n个点最多能形成的单位距离对数，大约是n的1到1.5次方之间，具体来说应该和n乘以log n成正比。
79年了。整整79年。数学家们用了组合几何、代数几何、图论、傅里叶分析，各种武器轮番上阵，愣是没能把这个猜想彻底证明或者推翻。
这道题的难度有多大呢？这么说吧，厄多斯本人是20世纪最 prolific 的数学家之一，一生发表了超过1500篇论文，提出了上百个猜想。而这个"平面单位距离猜想"，是他留下的最顽固的几个之一。
所以当OpenAI说"我们的AI把它解决了"的时候，你就知道这事儿有多炸裂了。
二、这不是OpenAI第一次吹这个牛，上次翻车翻得底朝天
说到这儿，我必须先给大家提个醒，因为OpenAI在这件事上，是有"前科"的。
七个月前，OpenAI前副总裁Kevin Weil在X上高调发帖："GPT-5找到了10个此前未解决的Erdős问题的解！"
当时那条帖子转疯了，评论区一片"AI要取代数学家了"的狂欢。
结果呢？打脸来得比翻书还快。
很快就有数学家发现，GPT-5所谓的"解"，不过是在已有的学术文献里找到了早就被人类证明过的答案。它不是在"解决"问题，它是在"搜索"答案。这就好比你问ChatGPT"1+1等于几"，它回答"2"——你能说它解决了哥德巴赫猜想吗？
谷歌DeepMind CEO Demis Hassabis第一个开炮，Meta首席AI科学家Yann LeCun紧随其后，两位AI界大佬联手嘲讽，Weil最后只能默默删帖。
更有意思的是，当时站出来定性Weil那条帖子为"严重误导"的人，正是多伦多大学的数论学家Thomas Bloom。
而这一次，Thomas Bloom的名字又出现在了OpenAI的发布名单里。 但这次，他不是来打假的，他是来盖章的。
这个剧情反转，属实是比电视剧还精彩。
三、这次OpenAI学聪明了：不光发结果，还拉了一帮数学家来背书
跟七个月前那次"光嘴说不练"不同，这次OpenAI的操作可以说是滴水不漏。
公司在发布AI证明的同时，附上了一份由多位顶尖数学家联署的"companion paper"——伴随论文。注意，这不是OpenAI自己写的论文，而是独立数学家们写的审查报告。
联署名单我给大家念一下，你们感受一下这个阵容有多恐怖：
第一位，菲尔兹奖得主、剑桥大学教授Timothy Gowers。 菲尔兹奖是什么？数学界的诺贝尔奖，四年才颁一次，含金量不用我多说了吧。
第二位，普林斯顿大学数学家Noga Alon。 组合数学领域的绝对大佬，Erdős的合作者之一，对这道题的理解深度恐怕比地球上99.9%的人都深。
第三位，多伦多大学数论学家Arul Shankar。 印度裔数学家，数论和算术几何方向的顶尖专家。
第四位，Thomas Bloom。 就是上次把Weil定性为"严重误导"的那位狠人。这次他亲自审查了AI的证明，并且确认成立。
这四位数学家，独立审查了AI给出的证明，结论是：证明成立，逻辑自洽，没有漏洞。
各位，这可不是OpenAI自己说"我行我行我真的行"，这是数学界最顶尖的一批人站出来说"它真的行"。
这两种"行"的分量，完全不是一个级别的。
四、数学界的反应：震惊、敬畏，还有一丝说不清的情绪
证明发布之后，整个数学圈和AI圈都炸了。
奥特曼的反应最耐人寻味。 他在X上转发消息时写了"感受很复杂"。你品品这句话。如果只是一个普通的技术突破，他大概会写"proud"或者"amazing"。但他写的是"复杂"。
复杂在哪儿？我猜，大概是那种"我亲手放出来的东西，连我自己都不完全理解"的复杂。 这不是谦虚，这是实话。当你的AI能解决连菲尔兹奖得主都头疼了79年的问题时，你作为CEO，说不紧张那是假的。
而Timothy Gowers的反应，则是最真实的"数学家式震惊"。
这位菲尔兹奖得主直接把这件事定性为"AI数学的里程碑"。然后他发了一条帖子，原文我给大家翻译一下大意：
"如果你是一名数学家，那么在继续阅读之前，你可能需要确保自己是坐着的。"
这句话太经典了。你想想，一个菲尔兹奖得主，一个见过无数大场面的顶级数学家，在看到AI的证明之后，第一反应是让你"坐好了再看"。
这不是夸张，这是一个老数学家在面对新时代时，最真实的身体反应——腿软。
五、那么问题来了：这次的结果到底可不可信？
我知道很多人心里还是有个问号。毕竟上次的教训太深刻了，谁知道这次是不是又在"找到文献答案"？
我的判断是：这次大概率是真的。理由有三个。
第一，审查阵容太硬了。 上次Weil发帖的时候，有谁来背书？没有。就是OpenAI自己说的。这次呢？菲尔兹奖得主亲自联署，而且还包括了上次打假的Thomas Bloom。你觉得这些人会拿自己的学术声誉来给OpenAI当托儿吗？不可能的。他们敢签字，就说明他们真的看过了，真的验证了，真的认为没问题。
第二，这次解决的不是"找到答案"，而是"给出了新证明"。 上次GPT-5干的事儿，本质上是检索——在已有文献里找到答案。而这次，AI给出的是一个全新的证明过程，一个人类从未想到过的证明思路。这两者之间的差距，就像"抄作业"和"自己做出来"的差距一样大。
第三，Gowers的反应不像是在演。 如果这个证明有明显漏洞，以Gowers的水平，他不可能联署。他不仅联署了，还说了"AI数学的里程碑"这种话。你可以不信OpenAI，但你很难不信一个菲尔兹奖得主的判断。
当然，我也不是说这事儿就百分百板上钉钉了。 数学证明的审查是一个漫长的过程，历史上不是没有过"大家都觉得对，结果十年后发现有bug"的案例。但至少在当下这个时间节点，所有能调用的顶级数学资源都站在了"可信"这一边。
六、更深层的思考：AI到底在改变什么？
跳出这件事本身，我想聊一个更大的话题。
过去我们对AI的期待是什么？写文案、画图、写代码、做客服。本质上都是"工具"层面的事儿。
但现在，AI开始干"创造"层面的事儿了。它不是在已有的知识库里检索答案，而是在生成人类从未想到过的证明。
这意味着什么？意味着AI可能不只是一个"超级搜索引擎"，它可能真的具备某种形式的"数学直觉"。
你可以不喜欢这个结论，但你没法否认这个趋势。
Gowers说这是"AI数学的里程碑"，我觉得他说得还保守了。这可能不只是AI数学的里程碑，这可能是人类智识史的一个分水岭。
想想看，79年。从1946年到2025年，多少天才数学家在这道题上撞得头破血流。现在一个AI，用一种人类完全没想到的方式，把它解开了。
你可以说这是人类的胜利，因为AI是人类造的。但你也不得不承认，这种胜利的方式，多少让人有点五味杂陈。
奥特曼说"感受很复杂"，我觉得他说得太对了。
七、写在最后：这一次，OpenAI没有翻车
七个月前，OpenAI在Erdős问题上栽了个大跟头，被整个学术圈群嘲。
七个月后，同一家公司，同一个问题，用一种完全不同的方式，带着菲尔兹奖得主的联署背书，把答案拍在了全世界面前。
这一次，OpenAI没有翻车。不仅没翻车，还可能翻过了一座山。
而我们每一个人，不管你是数学家还是普通吃瓜群众，都在见证一个历史性的时刻：AI第一次在纯数学领域，做出了人类做不到的事情，并且经过了人类最顶尖大脑的验证。
至于未来AI还能走多远？说实话，我不知道。但我知道的是，从今天开始，没有人再能轻易地说"AI只是个工具"了。
它可能是工具，但它是一个已经开始自己造工具的工具。
这个区别，比你想象的要大得多。
