OpenAI近日宣称，其人为智能（AI）推理能力再次获得沉猛进展，成功攻克了一个困扰数学界80年的难题——匈牙利数学家保罗·埃尔德什（Paul Erd?s）于1946年提出的“平面单元距离问题”。 埃尔德什提出的问题是：若是你在一张纸上画出若干个点，那么有几多对点之间的距离能够刚好一样（具体来说是相距1个单元）？埃尔德什证明：若是把这些点按网格分列，能够得到相当多的单元距离点对。随后他猜测，没有任何其他分列方式能比网格好太多。 几十年来，人们都试图证明这个猜测是正确的。然而，OpenAI的模型得出了分歧的结论，指出有分列方式比埃尔德什预测的“上界”（不会超过的最大领域）更优。这意味着，它不是证了然猜测，而是颠覆了猜测。 据《华尔街日报》报路，法兰西学院教授、菲尔兹奖得主蒂莫西·高尔斯暗示，这个单元距离问题的解答是AI数学领域的里程碑。“若是这是人类写出的论文并投稿到《Annals of Mathematics》，而我被要求给出急剧评鉴定见，我会绝不犹豫地建议接受颁发。”他进一步暗示，“即便AI从此不再变得更聪明，我们也已经进入了一个新时期。人类将越来越难与AI竞争数学问题的求解能力。” 英国数学家托马斯·F·布鲁姆掌管守护埃尔德什问题网站，他曾公开品评OpenAI此前关于埃尔德什问题的申明。对于这次成就，布鲁姆撰文称，AI之所以可能获得这一了局，是由于它可能对峙索求那些人类钻研者往往会以为“不值得持续投入功夫”的钻研方向。不外，他强调，人类钻研者依然参加了整个钻研过程。 不久前，最先进的AI模型连基础数学都做不好。去年，它们已经能在国际数学奥猎欹克较量中达到金牌水平。如今，它们能够颠覆数学经典猜测。 OpenAI的钻研团队指出，模型给出的解决规划极其反直觉，从前大无数数学家都默认埃尔德什的猜测是正确的，因而他们一向在寻找证明。而AI没有这种生理包袱，它会尝试大量看似怪诞的方向，最终正是在这些尝试中发现了突破口。 此表，数学家通常专一于自己的钻研领域，但AI同使仄握大量分歧窗科知识。这次解答中，模型把代数数论和离散几何结合在一路。钻研人员形容，这两个领域的关系，或许像马拉松和撑杆跳一样遥远，而AI却能轻松跨界衔接。 OpenAI钻研团队以为，AI不会扑灭数学钻研，相反，它会扩大人类索求未知的能力。事实上，数学家们已经起头利用这次成就中的步骤，去攻克其他持久未解决的问题。 “我们还没有看到那种足以与人类汗青上最伟大的证明等量齐观的天才火花。”OpenAI钻研员塞巴斯蒂安·布贝克说，有一点越来越清澈，就是AI已经齐全有能力推动真正的科学发现。