AI的175页证明挑战百年数学难题

OpenAI的175页证明：百年数学难题遇上AI

当一个大型语言模型决定解决一个困扰人类一百多年的数学谜题时，会发生什么？OpenAI刚刚给了我们一个提示——而且是一个大提示。该公司悄然发布了一批722份前沿数学手稿，其中两份聚焦于臭名昭著的挂谷猜想。

对于外行来说，挂谷问题提出了一个看似简单的问题：如果一个集合包含指向每个可能方向的线段，那么这个集合可以有多小？在三维中，这个问题被中国数学家王虹和她的合作者Zahl著名地解决了。现在，OpenAI的新论文进一步推进了这一领域——而且推进了很多。

从3.059到4：维度飞跃

一篇论文解决了三维挂谷极大函数猜想，这是王虹和Zahl解决的更强版本。另一篇则针对四维一般挂谷集的全维证明。关键点在于：这些集合维度的先前下界一直停留在3.059。OpenAI的手稿将其一路推到了4——即全维。

这不仅仅是一个渐进的推动。这是一个可能重塑数学家对多维几何思考方式的飞跃。值得注意的是，整个论证在很大程度上建立在王虹及其合作者多年前建立的经典方法和结论之上。

王虹的遗产与AI的下一步

王虹对三维挂谷猜想的原始证明引起了全球轰动，甚至让她进入了关于菲尔兹奖的讨论。她的工作奠定了坚实的基础。现在，OpenAI以这个基础为跳板——用一份175页的证明手稿对更高维度发起全面进攻。

但在我们开香槟庆祝之前，需要保持健康的科学谨慎。这两份手稿仍等待独立专家验证。数学界不以轻信表面价值而闻名，这是有充分理由的。

如果它成立呢？

如果这些论证经受住审查——这是一个很大的如果——这将标志着挂谷研究中的历史性突破。更重要的是，它将表明一些深刻的东西：人工智能已经获得了参与、甚至可能引领人类最艰难数学问题攻关的能力。

这是我从未想过我会写的一句话。但我们现在就在这里。

关键点

• OpenAI发布了722份数学手稿，其中两份针对百年挂谷猜想。
• 这些论文将四维挂谷集维度从3.059推进到4，这是一个全维证明。
• 这项工作广泛建立在王虹和Zahl早先在三维的突破之上。
• 这份175页的证明仍等待专家独立验证。
• 如果得到验证，它将标志着AI在前沿数学中的历史性时刻。