菲尔兹奖得主:AI不会“终结”数学
16 小时前 / 阅读约2分钟
来源:凤凰网
2026国际基础科学大会在北京开幕,《高端访谈》专访菲尔兹奖获得者马丁·海尔。他表示,数学家关注无法自动化解决的问题,人工智能将改变数学学科和研究模式,但不会终结数学。

2026国际基础科学大会在北京开幕之际,《高端访谈》专访菲尔兹奖获得者马丁·海尔。谈及人工智能对数学研究的影响,他说,“数学家所关注的,恰恰就是那些无法通过自动化手段解决的问题。”

总台记者 邹韵:海尔教授,如今人工智能飞速发展,渗透进生活的方方面面。您曾提出,人工智能时代,数学家的工作相当“安全”,您为什么这么说?

菲尔兹奖获得者 马丁·海尔:不难发现,有一些数学问题是人工智能格外擅长处理的,久而久之,数学家会慢慢觉得这类问题失去了研究“乐趣”。某种意义上可以说,数学家所关注的,恰恰就是那些无法通过自动化手段解决的问题。

邹韵:也就是当下尚未完成证明的内容。

马丁·海尔:没错,未被证明或是涉及人类还未发现的数学结构。至少目前,我看不出人工智能拥有这一层面的创造能力。人工智能会改变数学学科,推动研究转向不同方向,大幅提速部分工作,甚至让部分细分领域缩减,因为这些领域已经失去研究的意义。但它不会终结数学,只会改变数学家的研究模式,让我们转向不同方向,让部分科研效率倍增。