文章来源: 倍可亲 – 新闻取自各大新闻媒体及互联网，新闻内容并不代表本网立场！
“如果你是数学家，”一位世界顶尖数学家最近写道，“在你继续往下读之前，最好先坐下来。”
如果你不是数学家，那你绝对需要坐下来。
因为一个困扰人类近一个世纪的著名数学难题终于被攻克了——攻克难题的是AI。
不久之前，就连最先进的AI模型也无法进行基本的数学运算。 到去年，AI模型在国际数学奥林匹克竞赛中的表现已达到拿金牌的水平。 如今，它们开始利用代数数论来解决组合几何中的经典问题。 转眼之间，人工智能已从愚钝蜕变为聪明得吓人。
但当OpenAI宣布其一款模型解决了被称为“单位距离问题”的数学难题，而根本不需要任何人在黑板上写一大堆方程式，就连数学家都震惊不已。
它接收的指令是：
它给出了这样的证明：
然后，整个数学界都为之疯狂。
OpenAI还附上19页来自著名数学家的配套注解，帮助对数字不那么精通的人理解解题思路。
一般来说，数学家极其厌恶炒作。 他们要求先看到证明，才愿意接受基本事实，要让他们相信所谓的新突破更是难上加难，而且许多数学家对AI能否彻底改变他们所在的行业一直持怀疑态度。
因此，读到以下这些感想令人震惊：
“AI在这方面做到了许多优秀的人类研究人员尝试去做却未能做到的事情。”
— 普林斯顿大学（Princeton University）教授诺加・阿隆（Noga Alon）
“这是我第一次为AI自主产出的成果而兴奋，而不是仅仅为AI的潜力而兴奋。”
— 多伦多大学（University of Toronto）助理教授丹尼尔・利特（Daniel Litt）
“单位距离问题的解决无疑是AI数学领域的一个里程碑：如果这篇论文由人类撰写并投给《数学年刊》（Annals of Mathematics），要我快速给出意见，我应该会毫不犹豫地建议接受。 之前任何由AI生成的证明都无法与之相提并论。”