# OpenAI以"AI数学里程碑"突破自动推理边界，专家正在解析其意义 - 来源：The Decoder：AI News（RSS） - 作者：Maximilian Schreiner - 发布时间：2026-05-22 00:11 - AIHOT 分数：80 - AIHOT 标记：精选 - AIHOT 链接：https://aihot.virxact.com/items/cmpfpdsdr08g4sljwqwuqps8z - 原文链接：https://the-decoder.com/openai-shifts-the-boundary-of-automated-reasoning-with-a-milestone-in-ai-mathematics-that-experts-are-now-unpacking ## 精选理由 这可能是 AI 首次在严肃数学研究里推翻一个 80 年未解决的正经猜想，菲尔兹奖得主 Tim Gowers 直接说‘人类将很难在数学上胜过 AI’，不是 hype，是界限真的被推了一把。 ## AI 摘要 OpenAI的推理模型证伪了数学家保罗·埃尔德什在1946年提出的关于单位距离几何的猜想。该模型运用了代数数论领域的工具，而专家此前从未预料到这些工具会在此类问题中发挥作用。菲尔兹奖得主蒂姆·高尔斯称此成果为“AI数学发展的里程碑”，并警告称，我们可能已经进入一个人类在解决数学问题方面很难与AI竞争的时代。这项进展标志着自动化推理能力的重要突破。 ## 正文 OpenAI 的一个内部推理模型推翻了匈牙利数学家保罗·埃尔多斯提出的所谓“单位距离猜想”。OpenAI 在公布这一结果的同时，还发布了一篇由九位外部数学家共同撰写的配套论文，他们对这一证明进行了验证、精简并给出了评注。 这个问题本身看似简单：在一张纸上放置一定数量的点。有多少对点之间的距离恰好为一个单位？1946年，埃尔多斯猜想，在一个略微倾斜的方形网格上进行简单排列，就已经接近最优解。这种排列产生的点对数量，其增长速度仅略快于点数本身。据数学家托马斯·布鲁姆称，埃尔多斯曾悬赏500美元寻求反例。根据标准参考书《离散几何研究问题》的说法，该问题被认为是“组合几何中可能最著名（且最容易解释）的问题”。 八十年后更优的构造 OpenAI 的模型发现了一种新的点排列方式，其产生的单位距离点对数量明显多于经典的方形网格。普林斯顿大学的威尔·萨温指出，每将点数翻倍，新构造带来的增益大约为百分之一。这听起来很小。但在上下文中，这意义重大，因为埃尔多斯的猜想认为几乎不可能实现任何此类增益。不过，这个问题并未完全解决：自1984年以来已知的一个理论上界，仍然远高于新构造所达到的水平。 引人注目的是所用工具的来源：并非几何学，而是代数数论。该模型没有使用经典的点网格，而是利用了复数系统，其内部对称性可以转化为特别密集的点阵模式。这些工具在数论领域已应用数十年。然而，参与其中的数学家们认为，将它们应用于平面几何中的一个基础问题，此前被认为是相当牵强的。 人类为何错过了这个解法 托马斯·布卢姆在合著论文的投稿中写道，要让人类找到这个解法，需要同时满足四个条件：必须在该问题上投入大量时间，敢于挑战埃尔德什的既定观点并实际尝试证伪，希望将原始构造转化到数域领域，并且对相当专业的类域论有足够了解。“AI 满足了所有这些条件，”布卢姆写道。它结合了“超人的耐心与对大量技术工具的熟悉程度”。 萨温补充了一个技术原因，说明为什么显而易见的推广方法会失败。自然的做法是选择一个扩展数系，然后观察其中越来越大的区块，本质上是在一个更复杂的数世界中放大原有的网格。根据萨温的说法，这只会回到埃尔德什的旧有界。该模型的关键技巧恰恰相反：它在每个数系内保持尺度不变，但每一步都切换到越来越丰富的数系。萨温写道，为什么这种特定的切换有效，对人类来说并不明显。 就在AI给出解法前一个月，布卢姆还在博客中将这个问题列为他的“埃尔德什十大难题”之一。他的动机是：一些观察者看到早期AI解决了更简单的埃尔德什问题后，便得出结论，认为这位数学家的所有问题都很简单。布卢姆想证明，许多埃尔德什问题催生了数十年的深度研究方法。 单位距离猜想是他列表中唯一的离散几何问题，正因为它“几十年来一直未被证明”。布卢姆指出，斯宾塞、塞迈雷迪和特罗特于1984年确立的上界在40多年里从未被改进过：“这个问题是一个很好的例子，说明尽管近年来离散几何领域取得了一些惊人成果，但我们距离理解甚至一些最基本的问题仍有很长的路要走。”他没想到AI仅仅一个月后就攻克了这个特定问题：“虽然我相信AI最终至少能在该列表中的几个问题上取得进展，但我没想到这会在仅仅一个月后就发生！” 数学界的反应 著名组合数学家诺加·阿隆称这一成果为“杰出成就”，并描述这一令人惊讶的发现是“其构造与分析以优雅而巧妙的方式运用了代数数论中相当精深的工具”。菲尔兹奖得主蒂莫西·高尔斯写道，如果这篇论文由人类提交给《数学年刊》并请求快速评审，“我会毫不犹豫地建议接受”。此前没有任何AI生成的证明能达到这一水平。高尔斯称其为“AI数学领域的一个里程碑”。 数论学家阿鲁尔·尚卡尔认为，这项工作表明当前的AI模型“已不仅仅是人类数学家的助手——它们能够产生独创性的天才想法，并将其付诸实现”。布鲁姆对此加以限定：该证明并未提供任何全新的几何工具，而一个完整的猜想证明很可能需要这类工具。但它表明“数论构造对于这类问题的解释力远超我们此前的预期”。他预计“未来几个月内，许多代数数论学家将密切关注离散几何中的其他未解问题”。 为何这次情况不同 近几个月来，AI系统已经解决或部分解决了一系列Erdős问题。由布鲁姆维护的网站erdosproblems.com收录了约1000个问题。据菲尔兹奖得主陶哲轩称，截至2025年9月，其中约380个已被解决。在2026年初的一段混乱时期里，又有大约50个问题被攻克，有些由人类完成，有些由AI完成，有些则是两者合作的结果。其中几个解答只有几页篇幅，或者相当于具有挑战性的课后习题水平。 这正是促使布鲁姆编制其前十名榜单的原因。他注意到，“不幸的是，我观察到一些数学家近来对Erdős问题越来越不屑一顾，或许是因为他们看到AI解决了这个网站上一些相当简单的问题，便错误地推广开来，认为Erdős提出的所有问题都只是奥林匹克竞赛级别的有趣小把戏。” 单位距离反证被明确归入不同类别，无论是在配套论文中还是在 OpenAI 看来都是如此。据 OpenAI 称，这是"人工智能首次自主解决一个数学子领域核心的著名开放问题"。Bloom 描述了自己的反应：当他得知这是一个反证时，他的巨大惊喜"略有减弱"，而看到具体构造后，惊喜感进一步降低。 尽管如此，这一发现依然成立：与之前的 Erdős 解法不同，这并非一个易于理解的练习。这是一个被公认为八十年难题的问题，其上界自 1984 年以来从未改变，其解决方案需要借助一个遥远领域的工具。 Gowers 总结道：如果这项工作是由人类提交的，他会"毫不犹豫地"将其发表在《数学年刊》上。此前没有任何 AI 生成的证明能达到这一水平。 这一结果对数学本身意味着什么 参与其中的几位数学家利用配套论文反思了 AI 对其领域贡献的结构性影响。合著者 Daniel Litt 提出了一些令人不安的问题：为什么存在一些可以用相对简短、巧妙的论证来解决的著名问题？他的猜测是：要么是研究人员固守着次优的假设——比如 Erdős 本人认为自己的猜想是正确的——要么是解决方案需要用到相关领域大多数人并不熟悉的其他领域的思想。 "如果这些解释是正确的，它们应该让我们感到不安，"Litt 写道。"它们表明，追求专业化和各自为政的倾向虽然可以理解，却让我们付出了一些高质量科学的代价。"Litt 将人类的研究方式——研究者出于个人好奇心深入钻研少数几个问题——与当前 AI 系统性地遍历整个问题列表的模式进行了对比。这相当于"对数学问题投入的关注度得到了极大的扩展"。 高尔斯对自己的反应很坦诚。当他最初以为 AI 是证明了该猜想而非证伪时，他花了一整个晚上“调整我的世界观：如果 AI 能拿出这样的证明，那么数学家们可能很快就要全军覆没了。”第二天早上，当错误被澄清时，他感到“如释重负”。证伪可以被想象成耐心和反复试错的结果。而真正的证明则需要“深刻的洞察力”，那才是令人不安的。 在配套论文中，高尔斯提出了自己衡量证明难度的标准。他称之为“专家视角下的柯尔莫哥洛夫复杂度”——即专家为独立重构该证明所需的最短提示序列长度。他的初步判断是：AI 尚未在整体上超越人类，但在某些特定类型的问题上具有优势。它拥有“数学领域的百科全书式知识”，不太担心时间管理问题，因此可以“不惜代价地努力去证明那些看似不太可能成立的命题。” 即便如此，他表示进步不会停滞。很快就会出现“我们事后很难将其轻描淡写为‘比预期简单’”的 AI 解决方案。即使 AI 无法找到冗长复杂的证明，“我们很可能已经进入了一个人类在解决数学问题上很难与 AI 竞争的时代。” 布鲁姆持中间立场。对于他自己提出的测试问题——该证明是否让该领域对问题有了新的认识——他给出了“有保留的肯定”作为回答。数论构造方法对这些问题的解释力似乎超出了所有人的预期，而所需的数论知识也可能非常深奥。该领域的某些人可能会失望，因为该证明没有提供“强大的新几何工具”或意想不到的结构性结果——而一个完整的猜想证明很可能需要这些。这个解法，“事后看来”，是一个自然的推广，但“极其不平凡”。人类要发现它，需要四种罕见的巧合同时发生。 布卢姆这样描述该 AI 的优势：它兼具“超人级别的耐心”与“对海量技术工具的熟悉”，并执着地追寻“人类可能认为不值得花时间探索的路径”。他的看法是：“知识的边界非常崎岖，毫无疑问，未来数月乃至数年，我们将在数学的许多其他领域看到类似的成功——那些长期悬而未决的开放问题，将由 AI 通过揭示意想不到的联系、将现有技术工具推向极限而得到解决。” 人类与机器分工协作 OpenAI 同步发表的配套论文本身，就预示了未来 AI 与研究人员之间如何分工。据布卢姆称，模型生成的原始证明“完全有效”，但人类作者对其进行了“大幅改进”。只有索温的优化才得出了具体的改进度量。最终印在配套论文中的版本，比原始版本更简洁、更具普适性。 这第二步正是陶哲轩近期在斯坦福大学“数学未来研讨会”上演讲的焦点。陶哲轩认为，数学实践目前正经历“证明消化不良”：AI 系统生成和验证证明的速度越来越快，但人类的“消化”过程——即理解、阐释、将结果置于上下文中并在此基础上进一步推进——却跟不上。他判断一个解法是否真正完整的标准是：能否有人就此做一场演讲并回答提问？在单位距离反例证明这个案例中，九位著名数学家同意承担这项工作。这一标准能否大规模推广，则完全是另一个问题了。