字号 ·· | 护眼
海峡时报

人工智能对数学的命运意味着什么?

OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程,挑战了数学家的角色,并在特伦斯·陶等专家中引发了存在危机。

专家指出,人工智能在数学领域取得了进展,它能够跟随复杂的论证,但缺乏真正的创造力和想象力来产生新的数学思想。

人们担忧人工智能对数学研究的影响,担心它可能阻碍合作与洞察力,而人类数学家仍然是提出有意义问题的关键。

AI 生成的纽约——OpenAI 用人工智能解决了一个重大、百年难题,震动了安静的数学界,提出了数学家在未来科学研究中将扮演何种角色的问题。

早在九月,数千个 AI 代理共同合作,在四天内解决了 Navier-Stokes 方程——这是历代数学家一直试图攻克的难题。

加州大学洛杉矶分校教授特伦斯·陶(获得表彰世界顶尖数学家的菲尔兹奖)表示:“我目前完全被我所在领域的存在危机所淹没。” 这一最新的动荡是 2026 年 AI 在数学突破系列中的最新一次。

康奈尔大学公共科学与数学理解教授史蒂文·斯特罗加茨说:“如果他们选择研究我们在研究中认为有趣的问题,那将非常容易。他们可以轻松解决这些问题。”

西北大学数学教授安东尼奥·奥芬格表示,刚过去一年,“幻觉时常发生”,但现在,“人工智能可以生成长链论证”,不偏离轨道。

一月份,埃隆·马斯克——世界上最富有的人,也是通过 SpaceXAI 担任 AI 首席的人——在一次播客中预测数学将被“压垮”,并称“数学对 AI 来说将变得极其琐碎”。

然而,尽管西北大学数学教授本杰明·安蒂奥(Benjamin Antieau)对这一成就表示“敬畏与惊叹”,但他指出:“在这个特定的案例中,他们其实是在追随其他数学家的脚步——这些数学家多年来一直在研究这类问题的解决方法。”实际上,这项人工智能研究主要是基于两位西班牙研究人员的成果;这两位研究人员也启发了数学家特里斯坦·巴克马斯特(Tristan Buckmaster)和莱文特·阿尔波格(Levent Alpoge)。他们声称在 OpenAI 的突破性成果出现之前就已经接近问题的解决方案,但现在他们怀疑自己的工作可能被抄袭了——不过 OpenAI 这家人工智能巨头对此予以否认。“创造力的飞跃”这并非 OpenAI 计算结果中唯一的问题。

陶哲轩(Tao)在 Mastodon 上写道:“虽然人工智能成功‘解决了’这个问题,但在这个过程中,我们失去了许多宝贵的学习机会、深刻的见解以及合作机会,同时也错失了发现新研究方向的机会。”

陶哲轩是 9 月 11 日签署联名信的 25 位菲尔兹奖得主之一,他们在信中警告人工智能可能对数学领域产生“破坏性影响”。

此外,斯坦福大学教授穆罕默德·阿布扎伊德(Mohammed Abouzaid)指出,这项技术明显缺乏创造力:“我们仍然没有看到真正能够‘创造新数学理论’的例子;也许人工智能实验室会把这一点作为下一个研究目标,那将是非常值得关注的现象。”

加州理工学院的教授阿尼玛·阿南德库马尔(Anima Anandkumar)与她的团队合作,利用一种不依赖于任何先前研究成果的人工智能模型,成功解决了纳维-斯托克斯方程(Navier-Stokes equations,也称为欧拉方程)的简化版本。她表示:“这种人工智能模型属于‘物理驱动型神经网络’(Physics-Informed Neural Network, PINN)类型,它将数据与物理定律相结合。”

她认为:“从某种意义上说,OpenAI 在解决问题时仍然更依赖人类的智慧。”

不过阿南德库马尔也指出,这个模型仍然需要经过进一步的设计和测试才能真正发挥作用。

Auffinger 说,他并不预见 AI 工具会有一天“能够回答你提出的任何问题”,并且人类数学家将继续“发挥巨大作用,因为这并不是关于如何从 A 点到 B 点。”他解释说:“这关乎提出能帮助整个社会的问题。”