1946年由数学家保罗·埃尔德什提出的一个问题,已被OpenAI的人工智能解决。这个问题被称为单位距离问题,它询问在平面上放置n个点时,有多少对点之间的距离恰好为1。在超过八十年的时间里,数学家们使用网格和具有许多因数的数字,但只取得了有限的进展,其上界仅略大于n。
人工智能解决猜想的方法 🤖
OpenAI的人工智能通过分析不基于方形网格的几何配置来解决问题。它没有使用可整除的数字进行缩放,而是探索了随机分布和对称模式。该系统生成了点集,其中距离为1的点对数量超过了人类的上界。结果表明,上界是n乘以一个常数,这是数学家们80年来未能取得的进展。人工智能通过自动化测试验证了其发现。
与此同时,数学家们仍在摆弄他们的网格 📐
数学家们花了80年时间画小方格、数除数,就像在路灯下找钥匙,因为那里有光。而人工智能,没有偏见,也不需要喝咖啡,来了就说:为什么不试试别的办法。结果奏效了。现在人类可以感到自豪:他们创造了一个工具,能在几小时内解决他们几十年都解决不了的问题。当然,下次有人问这是怎么做到的,答案将是:不知道,去问机器吧。