华尔街日报:数学界着名世纪难题被AI破解
“如果你是数学家,”一位世界顶尖数学家最近写道,“在你继续往下读之前,最好先坐下来。”
如果你不是数学家,那你绝对需要坐下来。
因为一个困扰人类近一个世纪的著名数学难题终于被攻克了——攻克难题的是AI。
不久之前,就连最先进的AI模型也无法进行基本的数学运算。 到去年,AI模型在国际数学奥林匹克竞赛中的表现已达到拿金牌的水平。 如今,它们开始利用代数数论来解决组合几何中的经典问题。 转眼之间,人工智能已从愚钝蜕变为聪明得吓人。
但当OpenAI宣布其一款模型解决了被称为“单位距离问题”的数学难题,而根本不需要任何人在黑板上写一大堆方程式,就连数学家都震惊不已。
它接收的指令是:

它给出了这样的证明:

然后,整个数学界都为之疯狂。
OpenAI还附上19页来自著名数学家的配套注解,帮助对数字不那么精通的人理解解题思路。
一般来说,数学家极其厌恶炒作。 他们要求先看到证明,才愿意接受基本事实,要让他们相信所谓的新突破更是难上加难,而且许多数学家对AI能否彻底改变他们所在的行业一直持怀疑态度。
因此,读到以下这些感想令人震惊:
“AI在这方面做到了许多优秀的人类研究人员尝试去做却未能做到的事情。”
— 普林斯顿大学(Princeton University)教授诺加・阿隆(Noga Alon)
“这是我第一次为AI自主产出的成果而兴奋,而不是仅仅为AI的潜力而兴奋。”
— 多伦多大学(University of Toronto)助理教授丹尼尔・利特(Daniel Litt)
“单位距离问题的解决无疑是AI数学领域的一个里程碑:如果这篇论文由人类撰写并投给《数学年刊》(Annals of Mathematics),要我快速给出意见,我应该会毫不犹豫地建议接受。 之前任何由AI生成的证明都无法与之相提并论。”
— 蒂莫西・高尔斯(Timothy Gowers),法国高等研究院(Collège de France)教授
最后这条评价分量尤其重,因为它来自一位菲尔兹奖得主——这是人类数学家的最高荣誉之一。 高尔斯接着说,即便AI无法变得更聪明,我们也已经迈入了一个新时代。
“在解决数学问题方面,人类与AI竞争会变得非常困难,”他说。
光看公式就够让我头疼了,但我还是想进一步了解AI发现了什么,我们人类为什么发现不了——还有,对于那些希望永远远离数学问题的人来说,这一突破为何如此重要。
[加西网正招聘多名全职sales 待遇优]
这条新闻还没有人评论喔,等着您的高见呢
如果你不是数学家,那你绝对需要坐下来。
因为一个困扰人类近一个世纪的著名数学难题终于被攻克了——攻克难题的是AI。
不久之前,就连最先进的AI模型也无法进行基本的数学运算。 到去年,AI模型在国际数学奥林匹克竞赛中的表现已达到拿金牌的水平。 如今,它们开始利用代数数论来解决组合几何中的经典问题。 转眼之间,人工智能已从愚钝蜕变为聪明得吓人。
但当OpenAI宣布其一款模型解决了被称为“单位距离问题”的数学难题,而根本不需要任何人在黑板上写一大堆方程式,就连数学家都震惊不已。
它接收的指令是:

它给出了这样的证明:

然后,整个数学界都为之疯狂。
OpenAI还附上19页来自著名数学家的配套注解,帮助对数字不那么精通的人理解解题思路。
一般来说,数学家极其厌恶炒作。 他们要求先看到证明,才愿意接受基本事实,要让他们相信所谓的新突破更是难上加难,而且许多数学家对AI能否彻底改变他们所在的行业一直持怀疑态度。
因此,读到以下这些感想令人震惊:
“AI在这方面做到了许多优秀的人类研究人员尝试去做却未能做到的事情。”
— 普林斯顿大学(Princeton University)教授诺加・阿隆(Noga Alon)
“这是我第一次为AI自主产出的成果而兴奋,而不是仅仅为AI的潜力而兴奋。”
— 多伦多大学(University of Toronto)助理教授丹尼尔・利特(Daniel Litt)
“单位距离问题的解决无疑是AI数学领域的一个里程碑:如果这篇论文由人类撰写并投给《数学年刊》(Annals of Mathematics),要我快速给出意见,我应该会毫不犹豫地建议接受。 之前任何由AI生成的证明都无法与之相提并论。”
— 蒂莫西・高尔斯(Timothy Gowers),法国高等研究院(Collège de France)教授
最后这条评价分量尤其重,因为它来自一位菲尔兹奖得主——这是人类数学家的最高荣誉之一。 高尔斯接着说,即便AI无法变得更聪明,我们也已经迈入了一个新时代。
“在解决数学问题方面,人类与AI竞争会变得非常困难,”他说。
光看公式就够让我头疼了,但我还是想进一步了解AI发现了什么,我们人类为什么发现不了——还有,对于那些希望永远远离数学问题的人来说,这一突破为何如此重要。
[加西网正招聘多名全职sales 待遇优]
| 分享: |
| 注: | 在此页阅读全文 |
| 延伸阅读 |
推荐:
华尔街日报:数学界着名世纪难题被AI破解