AI越来越会做数学,顶尖数学家反而开始坐不住了。
陶哲轩、Peter Scholze、Maryna Viazovska 等人在内的25位菲尔兹奖得主联合发布声明,认为AI公司与数学研究的目标正在出现「严重错位」。
他们并不反对 AI 做数学。声明承认,AI 近期已经开始解决一些重要开放问题。
真正的分歧在于:AI 公司更看重「有没有解出来」,但数学研究还关心为什么成立、用了什么方法、能否被理解和继承。
陶哲轩本人也是积极使用 AI 辅助数学的代表。
所以这次更像是一个提醒:当 AI 越来越会解题,数学界开始追问,机器生产的到底是答案,还是知识。
人工智能数学陶哲轩菲尔兹奖



