OpenAI模型解决了困扰人类80年的著名数学问题

5月中旬，OpenAI宣布内部人工智能模型已经反驳了埃尔德伦单位距离猜想，这是离散几何中的一个著名问题，过去80年来一直困扰着人类数学家。OpenAI让几位数学家抢先体验了结果，并发布了他们的反应。

蒂姆·高斯（Tim Gowers）获得了最负盛名的数学奖菲尔兹奖（Fields Medal），他写道：“毫无疑问，单位距离问题的解决方案是人工智能数学的一个里程碑。

”多伦多大学教授丹尼尔·利特（Daniel Litt）写道：“这是人工智能自主产生结果的第一个例子，我觉得它本身令人兴奋，而不是作为领先指标。”这可以说是人工智能系统首次找到解决重大开放猜测的证据。

这令人印象深刻，但我并不认为这是与之前人工智能数学进步轨迹的根本突破。三年前，法学硕士努力解决算术问题。直到去年，法学硕士才开始在高中数学竞赛中获得冠军。当我一月份参加世界上最大的年度数学会议联合数学会议时，我了解到人工智能系统开始为数学研究做出贡献，但仅限于有限的环境。

需要大量的人类解释才能将人工智能输出转化为可撤销的定理。OpenAI的新结果是这一进步的下一步。

人工智能模型巧妙地应用了从数学的几个子领域汲取的现有想法来创建完整的证明。但它并没有开创任何真正的新技术。此后，该结果被人类数学家清理和扩展。

这预示着中期未来，人类数学家和人工智能模型将相辅相成：人工智能对过去的工作的了解比任何活着的人类都更广泛，并且更愿意通过乏味的证明策略来努力，而这些策略不太可能奏效。但人类仍然可以更深入地思考任何一个问题并提出更有趣的问题。