OpenAI近日声称,其人工智能(AI)推理能力再次取得重大进展,成功攻克了一个困扰数学界80年的难题——匈牙利数学家保罗·埃尔德什(Paul Erdős)于1946年提出的“平面单位距离问题”。
埃尔德什提出的问题是:如果你在一张纸上画出若干个点,那么有多少对点之间的距离可以恰好相同(具体来说是相距1个单位)?埃尔德什证明:如果把这些点按网格排列,可以得到相当多的单位距离点对。随后他猜想,没有任何其他排列方式能比网格好太多。
几十年来,人们都试图证明这个猜想是正确的。然而,OpenAI的模型得出了不同的结论,指出有排列方式比埃尔德什预测的“上界”(不会超过的最大范围)更优。这意味着,它不是证明了猜想,而是推翻了猜想。
OpenAI研究团队认为,AI不会消灭数学研究,相反,它会扩大人类探索未知的能力。事实上,数学家们已经开始利用这次成果中的方法,去攻克其他长期未解决的问题。
“我们还没有看到那种足以与人类历史上最伟大的证明相提并论的天才火花。”OpenAI研究员塞巴斯蒂安·布贝克说,有一点越来越清晰,就是AI已经完全有能力推动真正的科学发现。
