详细内容或原文请订阅后点击阅览
人工智能解决80年前问题的方法震惊了数学家
平面上点对以单位距离间隔的新最佳排列的一种表示形式。图片来源：阿尔瓦罗·洛萨诺-罗夫莱多。作者：莫纳什大学 Melissa Lee 上周，OpenAI 透露其内部人工智能 (AI) 模型之一找到了著名的 [...]
来源:ΑΙhub平面上点对以单位距离间隔的新最佳排列的一种表示形式。图片来源：阿尔瓦罗·洛萨诺-罗夫莱多。
作者：Melissa Lee，莫纳什大学
上周，OpenAI 透露，其内部人工智能 (AI) 模型之一找到了匈牙利传奇数学家 Paul Erdős 在 1946 年提出的著名猜想的反例，震惊了数学界。
平面单位距离问题，或称 Erdős 问题 90，几十年来一直引起数学家的兴趣。新的结果不仅仅是好奇。加拿大数学家丹尼尔·利特（Daniel Litt）将其描述为“第一个由人工智能自主产生的结果，我觉得它本身很有趣”。
这一突破是由通用人工智能模型而不是专门用于数学的模型产生的，也凸显了人工智能如何改变数学研究本身。 OpenAI 发表论文几天后，美国数学家 Will Sawin 遵循同样的推理思路，得到了改进的结果。同样在上周，谷歌 DeepMind 的一个团队使用他们自己的模型之一解决了 Erdős 留下的九个较小的未解决问题。
同时，这样的结果向我们展示了当前人工智能模型擅长哪种数学，以及它们的能力在哪些方面仍不确定。
点和线
Paul Erdős 是二十世纪最多产的数学家之一。他因提出看似简单的问题而闻名，但这些问题的解决往往需要数十年的努力。
乍一看，根本问题似乎相对简单。假设您在一张无限大的纸上绘制了一些数量的点（称为数字 n）。假设您可以按照自己喜欢的方式排列这些点，那么有多少对点可以精确地定位在彼此相距一个单位的距离处？
这种直觉影响了对该问题的早期思考。随着点数的增加，网格状的排列似乎仍然非常有效。