一个几乎没人预料会这么快出现的结果
一个由 OpenAI 构建的人工智能系统，解决了保罗·埃尔德什提出的一项数十年前的猜想，带来了多位数学家所称的迄今为止 AI 在数学领域最重要的成就。这个问题被称为平面单位距离问题，40 多年来一直没有取得重大进展，而它如今似乎被解决，被专家描述为真正的数学突破，而不是巧妙技巧或狭义的计算辅助。
来源报道说，研究人员对这一结果感到震惊。这种反应反映了该猜想本身的地位。埃尔德什之所以把这个问题视为自己在几何学中最引人注目的贡献之一，是因为它表述简单，却极难回答。此类问题之所以成为数学中的标志性难题，正是因为它们不仅能抵抗蛮力穷举，也能抵抗数十年优雅而局部的尝试。
用通俗的话解释这个问题
平面单位距离问题要问的是：在一个无限平面上放置一些点，最多能画出多少条等长线段。更具体地说，如果你选择一组点，那么其中有多少对点之间的距离可以恰好是 1 个单位？埃尔德什猜想，表现最佳的排列会像网格中的点，这意味着这类单位距离点对的总数不可能比点的数量增长得快得多。
几十年来，数学家一直在这个问题上逐步推进，但始终没有定论。上一次重大改进还要追溯到 40 多年前。这个漫长的空档也是这项公告分量很重的原因之一。这并不是 AI 解决了一个几乎完成的问题，而是一个学科在数代人时间里都陷入停滞的问题。
AI 看起来证明了什么
根据所给报道，OpenAI 的模型发现埃尔德什的判断存在明显错误。与其说网格几乎是最优解，不如说更不对称的点排列可以产生多得多的单位距离点对。如果这一结论正确，它会从实质上改变这个问题的几何图景。它不仅仅是收紧一个界限或简化现有证明，而是推翻了猜想背后的基本直觉。
这就是为什么来源中的数学家反应如此强烈。他们的难以置信，不只是因为 AI 进入了数学，而是因为 AI 进入到一个专家认为其论证足以发表在该领域最负盛名期刊之一的层面。一位评论者称这是一项 AI 数学里的里程碑，并表示此前没有任何 AI 生成的证明接近这一标准。
为什么这不只关乎一个定理
人工智能在数学中已经展现出作为搜索工具、猜想生成器和符号运算助手的价值。但这些角色仍留下一个核心问题：AI 能否在主流纯数学中产出深刻、令人意外且严格严谨的进展，而这些进展会被领域专家视为一流水平？如果这一结果成立，它就是迄今为止最清晰的证据，表明答案可能是肯定的。
其重要性不仅在于被解决的问题，还在于这一成就似乎代表的认知类型。真正有意义的数学突破，所需的不只是对大量已知证明的模式识别。它还要求在抽象结构中导航，测试不显而易见的方向，并形成一种专家可以验证其正确且真正有洞见的论证。来源中的反应表明，数学家认为某种接近这一门槛的事情已经发生了。
这并不意味着人类数学家突然过时。恰恰相反。人类专家仍然是正确性、重要性和学科内概念定位的裁判。但这确实意味着，AI 现在可能不仅作为辅助技术进入数学，也作为能够引导人类研究方向的新结果来源进入数学。
数学家与机器之间的新关系
如果 AI 能够解决这样一个长期存在的猜想，数学的工作流可能会改变。研究人员可能会把先进系统不仅用于检查代数或提供例子，还用于探查困难猜想、测试结构性假设，并探索由人类再加以提炼、解释和推广的论证策略。这可能加速进展，但也可能改变数学创造力在实践中的样貌。
同时还会出现一些艰难的文化和认识论问题。数学家重视的不仅是正确性，还有理解。一个证明即使技术上有效，仍可能留下一个问题：学界是否真正吸收了它背后的更深层思想。如果 AI 系统开始产生更多突破，研究者会越来越想知道，这些系统究竟只是在寻找解答，还是在重塑数学洞见本身。这个案例很可能会加剧这场讨论。
接下来仍然重要的事情
来源报道明确指出，审查这项工作的专家很快就被说服了，但其长期意义仍将取决于更广泛的审视、正式发表，以及数学界继续将其证明内化的努力。重大结果之所以成为里程碑，不仅因为它们正确，还因为其他数学家能够在其基础上继续工作、教学并开辟新的研究方向。
即便如此，这个阈值时刻也许已经到来。一个与 20 世纪伟大数学家之一相关、长期停滞数十年的问题，如今似乎已被一个 AI 系统攻克，而严肃的专家认为这一结果非同寻常。如果这种判断成立，这个故事就不只是机器解开了一个难题，而是纯数学可能已经进入一个新纪元，在这个纪元里，人工智能能够在真正发现的层面参与其中。
本文基于 New Scientist 的报道。阅读原文.
Originally published on newscientist.com