OpenAI攻克80年数学难题，推翻Erdos猜想边界

OpenAI宣布在AI推理领域取得新突破，其技术成功攻克了一道困扰数学界长达80年的难题。

这家ChatGPT背后的公司表示，他们在一项源自1946年的挑战上取得重大进展——该问题由匈牙利数学家保罗·Erdos提出，被称为"平面单位距离问题"。

Erdos提出的问题本身并不难理解：在一张纸上随机放置若干个点，其中有多少对点之间的距离恰好相等？Erdos推测，这个数量的增长速度仅略快于点的总数。

然而，OpenAI的模型得出了不同的结论。它综合运用多个数学分支，发现了一类全新的点阵排列方式，打破了Erdos猜想中所设定的上界。

OpenAI在X平台上写道："近80年来，数学家们普遍认为最优解的形态近似于方形网格。而OpenAI的模型现在推翻了这一观点，发现了一类表现更优的全新构型。"

尽管这一成果令数学界感到振奋，但整个问题仍未彻底解决——因为AI并未给出点对数量增长速度的新答案，而只是证明了Erdos所设定的上界过低。

OpenAI目前正筹备在美国股市上市，该公司表示，此次计算是由一个通用推理模型完成的——该模型能够将复杂问题分解为若干小步骤，而非专门针对数学任务训练的系统。

这家初创公司此前在尝试解决Erdos问题时曾遭遇挫折。去年，它曾高调宣布取得突破，但随后被发现该结论实际上源于模型已吸收的现有文献。而此次成果已获数学家验证，其中包括托马斯·布卢姆——他是Erdos问题网站的维护者，也曾批评OpenAI此前在Erdos问题上的说法。

布卢姆与他人联合撰写了一篇论文，作为OpenAI博客文章的配套材料，正式确认了这一成果。他在文中写道，AI系统之所以能得出这一结果，在于它"坚持探索那些人类可能认为不值得深究的路径"。

不过，布卢姆同时指出，人类研究者在这一过程中发挥了不可或缺的作用。

"尽管AI最初生成的证明完全有效，但经过OpenAI人类研究人员及众多数学家的参与改进，其质量得到了显著提升。在讨论、理解、优化证明以及探索其衍生价值方面，人类仍然扮演着至关重要的角色。"他写道。

数学家蒂姆·高尔斯同样在该配套论文中撰文，将这一结果称为"AI数学领域的里程碑"。

萨里大学以人为本AI研究所的安德鲁·罗戈伊斯基表示，这一发布表明AI正在为人类提供审视问题的全新视角。

"越来越清晰的是，AI正在影响创造性思维的世界，并将成为未来科学研究的基础工具。"他说。

Q&A

Q1：平面单位距离问题是什么？OpenAI是如何解决的？

A：平面单位距离问题由匈牙利数学家保罗·Erdos于1946年提出，核心问题是：在平面上放置若干点，最多有多少对点之间距离相等？Erdos猜想这个数量的增长速度仅略快于点的总数。OpenAI的通用推理模型综合运用多个数学分支，发现了一类全新的点阵排列方式，证明Erdos所设定的上界过低，从而推翻了该猜想的边界，但完整问题仍未彻底解决。

Q2：OpenAI此次使用的是什么类型的AI模型？

A：OpenAI表示，此次并非使用专门针对数学任务训练的系统，而是一个通用推理模型。该模型的核心能力在于将复杂问题分解为若干较小的步骤逐步推进，能够"坚持探索人类可能认为不值得深究的路径"，从而发现了全新的数学构型。

Q3：OpenAI的这项数学突破有没有经过专业验证？

A：有。此次成果已获多位数学家验证，其中包括托马斯·布卢姆——他是Erdos问题网站的维护者，曾批评OpenAI此前在相关问题上的说法。布卢姆与他人联合撰写了配套论文，正式确认了这一成果的有效性。数学家蒂姆·高尔斯也将其称为"AI数学领域的里程碑"。