OpenAI模型推翻80年数学经典猜想：AI证明比数学家更「胆大」
OpenAI近日声称其AI推理能力再次取得重大进展，成功攻克了一个困扰数学界80年的难题——匈牙利数学家保罗·埃尔德什于1946年提出的「平面单位距离问题」。这个证明的完整推理过程极其庞大，即便删减后的版本仍然超过75000词，差不多相当于《哈利·波特与魔法石》整本书的长度。
推翻而非证明
几十年来，人们都试图证明这个猜想是正确的。然而OpenAI的模型得出了不同的结论——它不是证明了猜想，而是推翻了猜想。模型指出有排列方式比埃尔德什预测的「上界」更优。这意味着AI没有被数学家的「心理包袱」束缚，尝试了大量看似荒谬的方向，最终在这些尝试中发现了突破口。
菲尔兹奖得主的高度评价
法兰西学院教授、菲尔兹奖得主蒂莫西·高尔斯表示：「如果这是人类写出的论文并投稿到《Annals of Mathematics》，而我被要求给出快速评审意见，我会毫不犹豫地建议接受发表。」他进一步表示：「即便AI从此不再变得更聪明，我们也已经进入了新时代。人类将越来越难与AI竞争数学问题的求解能力。」
AI的独特优势：跨界+无偏见
OpenAI研究团队指出，模型给出的解决方案极其反直觉——过去大多数数学家默认猜想是正确的，因此一直在寻找证明。而AI没有这种心理包袱，会尝试大量看似荒谬的方向。更关键的是，数学家通常专注于自己的研究领域，但AI同时掌握大量不同学科知识。这次解答中，模型把代数数论和离散几何结合在一起——这两个领域的关系大概像马拉松和撑杆跳一样遥远，而AI却能轻松跨界连接。
对数学研究的影响
OpenAI研究团队认为，AI不会消灭数学研究，相反它会扩大人类探索未知的能力。事实上，数学家们已经开始利用这次成果中的方法去攻克其他长期未解决的问题。正如OpenAI研究员塞巴斯蒂安·布贝克所说：「有一点越来越清晰，就是AI已经完全有能力推动真正的科学发现。」
