2026国际基础科学大会在北京开幕之际，《高端访谈》专访菲尔兹奖获得者马丁·海尔。谈及人工智能对数学研究的影响，他说，“数学家所关注的，恰恰就是那些无法通过自动化手段解决的问题。”
总台记者 邹韵：海尔教授，如今人工智能飞速发展，渗透进生活的方方面面。您曾提出，人工智能时代，数学家的工作相当“安全”，您为什么这么说？
菲尔兹奖获得者 马丁·海尔：不难发现，有一些数学问题是人工智能格外擅长处理的，久而久之，数学家会慢慢觉得这类问题失去了研究“乐趣”。某种意义上可以说，数学家所关注的，恰恰就是那些无法通过自动化手段解决的问题。
邹韵：也就是当下尚未完成证明的内容。
马丁·海尔：没错，未被证明或是涉及人类还未发现的数学结构。至少目前，我看不出人工智能拥有这一层面的创造能力。人工智能会改变数学学科，推动研究转向不同方向，大幅提速部分工作，甚至让部分细分领域缩减，因为这些领域已经失去研究的意义。但它不会终结数学，只会改变数学家的研究模式，让我们转向不同方向，让部分科研效率倍增。
