菲尔兹奖得主马丁·海尔：AI数学已达博士水平，但终结不了数学

菲尔兹奖得主马丁·海尔在北京放话了：AI在数学推演上已经达到博士水平。就问你服不服？但别急着高潮——他紧接着补了一刀：数学家真正盯着的，恰恰是那些自动化搞不定的问题。这话说得够清醒。

8月9日开幕的2026国际基础科学大会上，这位中国科学院外籍院士接受央视专访时直言，AI在数学领域进步神速，已经是个实用到不行的工具。往好听了说，这是个能大幅提速研究的超级助手；往坏了说，某些细分领域的工作可能真要被它挤掉饭碗。但他明确否定了“两年内AI全面超越人类数学家”的论调——特定领域出色，不等于全盘碾压，这个判断稳。

海尔对数学的未来判断挺有意思：AI不会终结数学，但会改变数学家的研究模式。翻译一下就是，别怕被取代，但要学会跟AI共事。他还提醒年轻人，别光追热点方向，得找自己真正热爱的东西——这话放到现在AI大模型满天飞的环境里，尤其扎耳朵。

更值得玩味的是他对中国基础科学的评价。过去五到十年，中国数学研究水平质的飞跃，政府砸资源、政策引人才，大批海外学者归国，年轻学子留在国内读完博士。今年邓煜、王虹两位中国数学家拿下菲尔兹奖，就是最好的注脚。注意，海尔本人2014年拿过这个奖，他说话是有分量的。

一个细节：海尔本科到博士读的是物理，后来转数学，还是个程序员，学生时代写的音频软件至今还在更新。这种跨界的底色，让他对AI和数学关系的判断比纯理论数学家更接地气。AI改变数学是必然，但数学的灵魂从来不是算得快，而是想得深——这个道理，AI再进化十年也改变不了。

该文观点仅代表作者本人，企服科学平台仅提供信息存储空间服务。