OpenAI近期公布了一项重大突破：其AI推理能力取得了跨越式进展，成功推翻了一个困扰数学界长达80年的经典猜想——即匈牙利数学家保罗·埃尔德什于1946年提出的“平面单位距离问题”。

这个问题的核心其实相当直观：假设你在纸上随意放置若干点，那么在这些点之间，最多能有多少对点之间的距离恰好等于1？埃尔德什本人曾证明，若将点按网格形式排列，可得到数量可观且符合预期的单位距离点对。他进一步推测，这种网格排列方式几乎就是最佳方案——任何其他排列方式都不可能显著超越它。

几十年来，数学家们一直致力于验证这一猜想的正确性。然而，OpenAI的模型给出了一个截然不同的结论：它找到了一种排列方式，使得单位距离点对的数量竟然超过了埃尔德什当初预测的“理论上限”。换言之，模型并非证实了猜想，而是直接将其推翻。

这一证明的完整推导过程极为庞杂。即便经过大幅精简，最终版本依然超过75,000个单词——篇幅几乎与《哈利·波特与魔法石》整本书相当。

据《华尔街日报》报道，法兰西学院教授、菲尔兹奖得主蒂莫西·高尔斯对此给予了高度评价。他表示，如果这是一篇由人类撰写的论文，投给顶级数学期刊《Annals of Mathematics》，而他被要求快速给出评审意见，他会毫不犹豫地建议接受发表。他甚至补充道：“即便AI未来不再变得更聪明，我们也已然进入了一个新时代。人类在数学问题的求解能力上将越来越难以与AI抗衡。”

普林斯顿大学数学教授诺加·阿隆也直言不讳：“AI在这里实现了许多优秀研究者多年努力却始终无法达成的成果。”

英国数学家托马斯·F·布鲁姆是埃尔德什问题库的维护者，此前他曾公开批评过OpenAI关于埃尔德什问题的某些声明。但这一次，他的态度明显转变。布鲁姆在一篇文章中解释道，AI之所以能取得这一成果，很大程度上是因为它愿意坚持探索那些人类研究者通常认为“不值得继续投入时间”的方向。当然，他也强调了人类研究者在整个过程中参与和引导的重要性。

回顾过去，短短几年前，最先进的AI模型连基础数学题都难以应付。到了去年，它们已经能在国际数学奥林匹克竞赛中斩获金牌。而如今，它们甚至能推翻一个经典的数学猜想。这一演进速度，确实令人有些恍惚。

OpenAI的研究团队分析称，这一解答方案极其反直觉，以至于过去绝大多数数学家都默认埃尔德什的猜想是正确的，因而一直在试图证明它。AI没有这种心理包袱，它会尝试大量看似荒谬的方向——而最终的突破口，恰恰就隐藏在那些“荒谬”的探索之中。

还有一个有趣的细节：人类数学家通常专注于自己的学科领域，但AI同时掌握了大量不同学科的知识。在这次解答中，模型将代数数论与离散几何这两个领域巧妙地结合了起来。研究人员的描述非常形象——这两个领域之间的关系，大概就像马拉松与撑杆跳一样遥远，但AI却能轻松地跨界连接它们。

那么，AI会让数学家失业吗？OpenAI研究团队的观点是：不会。相反，它会扩展人类探索未知的能力。事实上，已经有数学家开始借鉴这次成果中采用的方法，去攻克其他长期悬而未决的问题。

“我们尚未看到那种足以与人类历史上最伟大证明相媲美的天才火花。”OpenAI研究员塞巴斯蒂安·布贝克说道。不过有一点越来越清晰——AI完全有能力推动数学领域的实质性突破。