科研

菲尔兹奖得主谈「人工智能可能会杀死数学」，您如何看待这个问题？

在2026国际基础科学大会期间，菲尔兹奖得主马丁·海尔与邓煜就人工智能对数学研究的影响发表看法。海尔认为AI不会终结数学，而是会改变研究模式并提升部分效率，数学家将转向关注无法通过自动化解决的问题。邓煜则提到AI虽能生成长篇证明，但目前在处理其思考的开放性问题上帮助有限，并指出研究意义由问题本身决定，与AI参与度无关。