AI破解80年数学难题：“埃尔德什猜想”被推翻！

5月21日，OpenAI宣布，其聊天机器人软件推翻了著名数学家保罗·埃尔德什（1913-1996）关于“单位距离问题”的结论。
谁也不会想到，数学家们借助人工智能发出的单一指令，就一举破解了困扰几何学界80年的难题，颠覆了已故数学家埃尔德什已经给出的答案。

1946年，埃尔德什提出了平面上点的最佳排列方式，使得尽可能多的点对之间距离等于给定值，并断言无人能超越。但OpenAI表示，其系统利用代数数论技术，选取坐标为特定方程解的点，成功做到了更好。
“如果埃尔德什还活着，他一定会为此兴奋不已，”曾与他合著论文的佐治亚理工学院数学家汤姆·特罗特表示。

OpenAI数学家塞巴斯蒂安·布贝克称，这是人工智能首次在任何研究领域自主取得重要成果。加州大学伯克利分校的托尼·冯在X上写道：“我一向自认对AI在数学中的影响持理性态度，但这次真是难以置信。”
多伦多大学数学家丹尼尔·利特是验证该证明的独立研究人员之一，他表示：“这正是我认为的、由AI自主生成的第一个颇具意义的结果。”

在几何学中，点可在平面上排列，使许多点对间距相等。例如，正九边形有9对等距边；而正方形网格上的9个点可形成12对等距点。埃尔德什曾证明，随着网格扩大，等距点数量增速略快于点的总数，并猜想无人能找到更优排列。
OpenAI的模型利用代数数论实现了突破。“该模型生成了一条极其漫长的思维链，”布贝克说。提示仅是一个开放式问题——探讨埃尔德什猜想为真还是假——并非要求证伪。OpenAI数学家梅塔布·斯瓦尼表示：“看到模型能像人类一样深入思考，实在令人惊叹。”

据Nature报道，OpenAI的相关推理过程载于一份125页的文件中，公司尚未完全公开，也未透露模型名称。布贝克表示，这是一种实验性通用推理模型，完全自主工作，仅根据单一提示便给出了答案，这足以让数学家们甚至整个科学界震惊不已。
#热门微博# #科学新闻# #人工智能# #哈勃观察员[超话]#