OpenAI的实验性推理模型破解了80年未解的数学难题

1946年，匈牙利数学家PaulErdos对平面几何中的一个经典问题给出了他认为的最佳答案——在平面上排列点，使得等距点对的数目最大化——并留下了一项挑战：没有人能做得更好。80年后，OpenAI的AI系统用事实证明：爱多士错了。

OpenAI自研的实验性通用推理模型，在一个单次提示的驱动下，自主完成了这一几何证明。公司没有公开模型名称和完整的证明步骤，但独立数学家已验证了结果。OpenAI的数学家SebastienBubeck表示，这是AI首次在任何研究领域自主产生重要成果。

问题的核心是”单位距离问题”：在平面上布局点，使得相互之间距离恰好为1的点对数量最大化。爱多士在1946年提出了一种基于网格的构造方法，并推测不可能找到更好的方案。OpenAI的模型运用代数数论技术，选择了特定方程的解作为点的坐标，从而构造出了优于爱多士方案的点阵。

该证明由AI自主完成，耗时125页推理链条。该文件尚未公布，OpenAI也没有透露其模型的名称。合作的数学家强调，提示词并非直接要求推翻爱多士，而是开放性地询问”这个猜想是否正确”，模型自主选择了证伪路径。加州大学伯克利分校的TonyFeng在社交媒体上表示，他一直对AI对数学的影响持相对谨慎的态度，但这次的成果令他难以置信。多伦多大学的DanielLitt称之为”第一个AI自主产生、且让我真正觉得有趣的数学结果”。

乔治亚理工学院的TomTrotter说，如果爱多士在世，他会为这一进展感到狂喜。

煎蛋网