AI 破解 80 年数学难题，奥特曼却说“感受很复杂”

luyuanhong

AI 破解 80 年数学难题，奥特曼却说“感受很复杂”

原创  贩卖代码  贩卖代码  2026 年 5 月 24 日 12:23  山东

5 月 20 日，OpenAI 只发了一条推文。

没有发布会，没有 Keynote ，没有倒计时。就一条推文，4 小时，1 万个赞。

消息是：他们的通用推理模型，破解了一道困扰数学界整整 80 年的几何难题。

CEO 奥特曼转发，只写了一句话——“感受很复杂。”

全世界都在讨论那道数学题。我更想搞明白奥特曼那五个字。

先说题本身，简单到能画在餐巾纸背面。

1946 年，匈牙利数学家保罗·埃尔德什提出了一个听上去无比简单的问题——在平面上随意放 n 个点，最多能有多少对点，彼此距离恰好等于 1 ？

就这一句话。小学生都能看懂。

但这道题让五代顶级数学家折戟。近 80 年，最佳答案停在同一个地方：正方形网格。所有人都认为不可能更好了。

然后 AI 来了，推翻了这个"所有人"。

AI 怎么解的？它没有用几何。这才是这件事真正让人坐立不安的地方。

人类数学家 80 年里干了什么？研究点的排列方式，优化几何构型，试图在空间里找到一个更聪明的摆法。

AI 看了这道几何题，然后做了一件事：把它变成代数数论问题。

它引入了“无限类域塔”和“戈洛德-沙法列维奇定理”——这些工具来自代数数论，一个和平面几何八竿子打不着的数学分支。

然后它证明了：存在一种无限的点排列族，产生的单位距离对数量，多项式级地超过了正方形网格，而且这个改进可以用固定指数表达。

证明长达 125 页。三位顶级数学家逐页审核，没找到漏洞。

图片1

Timothy Gowers，菲尔兹奖得主，剑桥大学教授，数学界的顶点之一。

他发布了这样一句话——“如果你是一名数学家， 在继续读之前， 请先确认自己已经坐稳了。”

然后他说：“如果这是一篇人类投稿， 送到《数学年鉴》编辑部， 我会毫不犹豫地推荐接收。 从未有任何 AI 生成的证明接近过这个水平。”

《数学年鉴》是数学界最顶级的期刊之一。这句话的分量，不需要解释。

但这不是第一次 OpenAI 说“破解了”。

2025 年 10 月，OpenAI 前副总裁 Kevin Weil 宣称 GPT-5 解决了 10 个未解的埃尔德什问题。

消息疯传。然后被数学家逐一拆穿—— GPT-5 没有产出任何新解。它只是在文献里找到了前人早已写下的答案，而网站标注的“open”，只是管理员还没来得及更新状态。OpenAI 被骂惨了。

所以这次，他们做了一件不寻常的事：先让数学家验证，再公开宣布。

Thomas Bloom 、Noga Alon 、Tim Gowers ，三位分别独立审核。都说：是真的。

这次不同。

奥特曼说“感受很复杂”。他在怕什么？他不是在谦虚，也不是在表演情绪。

这五个字，是一个亲手造出某样东西的人，第一次意识到那东西已经超出他控制范围时，最诚实的反应。

想想这件事的含义——解开这道题的，不是数学专用模型。是一个通用推理模型。它没有被专门训练去做数学。它只是在推理。

人类花了 80 年，用几何工具打几何题，打不开。AI 换了一把钥匙，从代数数论那边，把门打开了。

这意味着什么？

不是说 AI 的数学比人类好。而是说，AI 的"直觉"和人类的"直觉"，可能根本不是同一种东西。

人类数学家 80 年里都在走同一条路，因为那条路看起来最合理，因为前人走过，因为直觉告诉你应该这样。

AI 没有这些包袱。它不知道“应该”怎么想，所以它反而想到了没人想过的地方。

这不是威胁，这是一种异质智慧的出现。而"异质"这两个字，才是奥特曼感受复杂的真正来源。

那接下来呢？负责这个模型的 Noam Brown 说：“会尽快发布。”

没有时间表，没有具体说是哪个模型。但已经有数学家在私下讨论：接下来拿它去攻哪道题？

Tim Gowers 在博客里写——“在我看来，这表明当前 AI 模型 已经超越了人类数学家助手的角色。 它们开始具备原创的、精妙的、 极具智慧的独立思想。”

注意他用的词：独立思想。不是“工具”，不是“助手”，不是“辅助”。是独立思想。

菲尔兹奖得主说出这句话，比任何新闻标题都值得认真对待。

最后，这件事会被记在 AI 历史里。不是因为那道数学题有多重要——而是因为解题的方式，宣告了某件事：AI 不再只是在人类已经铺好的路上跑得更快。它开始走一些人类根本没想到要走的路。

至于走向哪里——奥特曼也不知道。所以他才说，感受很复杂。

贩卖代码