AI手撕80年数学“钉子户”，数学家们坐不住了：这题我会！

TL;DR：

OpenAI的通用推理模型，没靠任何人类专家指路，自己就把折磨了数学家80年的“平面单位距离猜想”给破解了。这波操作直接让菲尔兹奖得主喊“坐稳了”，山姆·奥特曼本人也说“感受很复杂”——复杂啥呢？可能是发现自己养的崽太猛了，有点慌。

事情是这样的：一个让数学家“自闭”了80年的问题

想象一下，在一个平面上随便撒N个点，你想让其中距离恰好为1的点对尽可能多。1946年，数学界的“游侠”保罗·埃尔德什（Paul Erdős）提出了这个问题，并给出了一个猜想：无论你怎么摆，单位距离点对的数量，顶多就只能比线性增长（也就是N）快那么一丢丢。

这就好比有人告诉你，你最多只能把蛋糕做大一丢丢，绝对不可能翻倍。数学家们在这个问题上折腾了80年，从陶哲轩到各路大神，都只能在上界和下界上小修小补，始终无法撼动那个被普遍认为的“正确答案”。

结果呢？2026年5月21日，OpenAI内部一个通用推理模型，不声不响地把这个“钉子户”给拔了。它不仅推翻了埃尔德什的猜想，还给出了一组全新的点集构型，让单位距离对的数量达到了 N^(1+δ)，其中 δ 是个大于0的固定常数。¹

菲尔兹奖得主、剑桥大学教授Timothy Gowers当时就发帖了，语气里带着一丝丝惊恐：“如果你是一名数学家，那么在继续阅读之前，你可能需要确保自己是坐着的。”²

这AI怎么做到的？竟然从“几何”拐到了“代数数论”

这才是最骚的操作。这道题是个几何问题，但AI在思考时，突然打通了数学宇宙的“虫洞”，从遥远的“代数数论”里借来了两个核心武器：“无限阶级域塔” 和 “高罗德-沙法列维奇理论”。¹

听着像天书对吧？简单说就是，人类数学家之前尝试时，基本都在用“高斯整数”这种比较“简单”的整数地盘上画网格。但AI觉得这格局小了，它引入了一种拥有更丰富、更高维对称性的代数数域。在这个新地盘里，能产生海量的“单位长度差”。

这就像一个只会用直尺画图的工匠，突然被AI告知：哥们，别画了，咱们直接上高等量子力学来搞建筑设计。更绝的是，AI的整个推理链条长达数万步，并且在跨界引用时没有出现一次致命的幻觉，逻辑闭环极其完美。³

这次跟上次的“乌龙”不一样，数学家们集体背书

各位看官可能还记得，7个月前OpenAI翻过一次车。当时他们高调宣称GPT-5解决了10个埃尔德什问题，结果被谷歌DeepMind的CEO Demis Hassabis公开嘲讽，最后发现不过是AI从论文库里“抄”了已有的答案。²

但这次，画风完全不同。

为了证明自己没吹牛，OpenAI发布证明论文的同时，附带了一份由多位顶级数学家联署的“companion paper”（伴随论文），阵容堪称“数学界复仇者联盟”：包括菲尔兹奖得主Timothy Gowers、普林斯顿大学数学家Noga Alon，以及之前批评过OpenAI“严重误导”的数学家Thomas Bloom。¹²

Thomas Bloom这次在论文里给出了极高的评价：“这个构造和分析以优雅、巧妙的方式运用了代数数论中相当复杂的工具。”¹ 翻译成人话就是：这AI，有点东西。

为什么这件事比“下围棋”更让人细思极恐？

以前AI攻克数学难题，比如用专门的数学工具或LeaN语言，多少有点“应试教育”的味道。但OpenAI这次强调，完成这个证明的，是一个通用推理模型。它没有为这道题做过任何特殊训练。⁴

这意味着什么？意味着同样一套逻辑推理能力——能跨领域连接知识、能把复杂论证串联起来、能找到人类专家因为思维定式而忽略的路径——完全可以平移到生物学、物理学、材料科学，甚至医学和工程学。

OpenAI CEO山姆·奥特曼在转发这个消息时，只写了五个字：“感受很复杂。”¹ 是啊，一个自己参与创建的AI，已经开始在人类引以为傲的智力领域“开疆拓土”了。而人类数学家们则从一个“解题者”，正在迅速转变角色成为AI成果的“验证者”和“诠释者”。

当然，OpenAI的公告也补了一句安慰的话：“人类的判断仍不可或缺……人来选择重要的问题，解读结果，决定下一步追问什么。”¹

但问题是，当AI连“追问什么”都能自己决定的那天，我们还能“坐得住”吗？

• AI数学突破
• 埃尔德什猜想
• 通用推理模型
• 奥特曼
• 代数数论