AI_破解了_80_年前的数学未解之谜

AI_破解了_80_年前的数学未解之谜

(视频)

几何学的“最后发言权”易主：AI 如何在 80 年后修正数学大师埃尔德什的错误

1. 引言：数学天才的“遗言”被改写

在数学的世界里，保罗·埃尔德什（Paul Erdős）曾被认为拥有对几何真理的“最后发言权”。这位在 1946 年提出“单位距离问题（unit-distance problem）”的传奇天才，一生发表过 1500 篇论文，他曾自信地给出过一套关于平面点集排列的方案，并含蓄地挑战后人：没有人能做得更好。

然而，时间跨越了整整 80 年。在 2026 年的今天，这个被视为公理的定论崩塌了。令人心惊的不是它被推翻了，而是推翻它的方式：一个来自 OpenAI 的通用聊天机器人，仅凭一个简单的、开放式的提示词，就改写了数学大师的“最后遗言”。这场跨越八十年的对话，标志着人类直觉在机器推理面前的一次史诗级退让。

2. 核心突破：让研究者们“目瞪口呆”的超越

根据最新的研究进展，AI 在平面点集的排列上，找到了一种比埃尔德什预言的更为稠密、更优化的布局方案。这种方案并不是简单的排列组合，而是一张错综复杂、如同宇宙星图般的单位距离图，它在几何效率上彻底颠覆了自 1946 年以来数学界的认知。

“如果埃尔德什还活着，我确信他会对这一进展感到狂热赞赏（raving about this advance）。” —— Tom Trotter，佐治亚理工学院数学家，曾与埃尔德什合著论文

这不仅仅是对数学公式的微调。这种突破让学术界感到震惊，是因为它证明了人类历史上最顶级的数学直觉也存在盲区，而 AI 正在用一种我们从未设想过的视角，填补这些跨越世纪的空白。

3. 范式转移：从“试错”到“自主推理”

这次突破最让技术界脊背发凉的，是 AI 的工作逻辑发生了根本性的范式转移。在此之前，我们习惯于像 Sebastien Bubeck 所描述的“编排（orchestration）”模式——让模型在人类的反复引导和纠错下通过试错达成结果。

但这一次，AI 展现出了惊人的自主性（autonomously）。研究人员并未下达“请推翻埃尔德什”的死命令，而是抛出了一个关于该猜想是否成立的“真或假”开放式提问。面对这个深不见底的问题，模型并没有像以往那样给出模棱两可的回答，而是经历了一次单次推理链（single, very long chain of thought）。

最终，它自主产生了一份长达 125 页的推理文档。它甚至先对埃尔德什的问题进行了“机器式的重写（machine-rewritten statement）”，将晦涩的几何直觉转化为了严密的逻辑语言。更重要的是，这并非专门为奥数设计的垂直模型，而是一个“实验性的通用推理模型”。它证明了，提示词正在从一种调优艺术回归为简单的意图表达，模型已经学会了像人类专家一样解读复杂的意图。

4. 跨界打击：打破学科“孤岛”的知识整合力

为什么人类在 80 年间都没能发现这个更优解？原因可能在于我们思维的“孤岛效应”。AI 的这次解答并非死磕几何学，而是巧妙地运用了“代数数论（algebraic number theory）”作为利刃。它将点集坐标转化为特定代数方程的解，这种跨领域的“联觉”能力是人类专家难以企及的。

数学家 Daniel Litt 深刻地指出了这一点：人类专家往往深耕于自己的垂直领域，而没有任何一个自然人能够像大语言模型（LLM）那样，在瞬间吸收并联结全人类所有的数学文献。这种“全知视角”打破了学科间的专业孤岛，让 AI 能够从一个领域的工具库里掏出钥匙，去开另一个领域锁了 80 年的门。

5. 惊人的进化速度：比预想中来得更早

“这是一个月前我们习惯看到的水平之上的巨大跳跃，”OpenAI 的数学家 Mark Sellke 如此感叹。这种进化速度令人生畏，尤其是考虑到 OpenAI 甚至将该模型的名称和具体运行步骤保持在“Closed AI”的神秘面纱之后，这种领先感更显得具有压迫力。

一个非数学专用的模型，却攻克了纯数学皇冠上的明珠。这种矛盾感揭示了一个事实：我们正处在通用人工智能（AGI）潜能爆发的前夜。AI 不再是查漏补缺的计算器，而是一个正在经历逻辑指数级增长的“思维体”。

6. 结语：当 AI 开始像人类一样“思考”

正如 Mehtaab Swahney 所观察到的，该模型表现得“就像人类一样在进行推理”。如果一个通用 AI 仅凭一次提问，就能在数小时内推翻困扰全人类天才 80 年的纯数学难题，那么在药物发现、量子物理或能源革命中，还有什么是它无法触达的？

科学研究的旧范式正在崩塌。当机器开始在抽象思维的最深处起舞，我们需要思考的不再是它能否替代工具，而是我们是否准备好迎接一个由 AI 担任科学开拓者的时代。毕竟，连埃尔德什都“错”了，人类还有多少“常识”经得起下一次提示词的审视？