详细内容或原文请订阅后点击阅览
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
聊天机器人对 80 年前的“单位距离”猜想的结果是第一个人工智能证明，如果人类单独完成的话，很可能会在数学顶级期刊上发表
来源:科学美国人经过人类数学家 80 年徒劳的努力，一个重大的几何猜想终于通过对聊天机器人的直接查询得到解决。
ChatGPT的制造商OpenAI公司昨天公布了这一结果，并附上多位专家的评论，他们称人工智能的方法“聪明”且“优雅”。这一成就是在数月以来人工智能驱动的数学进步被广泛报道但不那么令人印象深刻之后取得的，它标志着一个真正的里程碑。与之前所有的壮举不同，这一结果值得在顶级数学期刊上发表，并引起主要媒体的关注，即使它是由人类单独完成的。
剑桥大学数学家蒂莫西·高尔斯 (Timothy Gowers) 在 OpenAI 征集的评论中写道，“之前没有任何人工智能生成的证明能够接近”满足这些高标准。
关于支持科学新闻
如果您喜欢这篇文章，请考虑通过订阅来支持我们屡获殊荣的新闻事业。通过购买订阅，您将有助于确保有关塑造当今世界的发现和想法的影响力故事的未来。
“这是迄今为止人工智能自主产生的独特有趣的结果，”多伦多大学数学家丹尼尔·利特（Daniel Litt）说道，他接受了 OpenAI 的咨询以验证证明，但并未参与该公司。
“单位距离”问题解释起来很简单，但解决起来却很难——这是数学家最喜欢的品质。
在一张纸上画九个点。目标是获得尽可能多的点对，间隔一英寸。您可以将它们全部排成一行，这样就有八对间隔一英寸。或者你可以画一个三乘三的网格并数出 12 对。对于任何数量的点，甚至数十亿或数万亿，问题是：你能得到的最大数量是多少？
“感觉就像魔法一样，”索尼说。 “让机器返回与我的工作方式非常相似的东西，这是一种奇妙的体验。”