AI攻下奥数，“AI教父”预言数学家将失业，数学界会“变天”吗？

近期，全球数学界正悄然上演一场变革，几大标志性事件引发学界持续关注和热议。以下是有关AI给数学领域带来变革的新闻内容：

关键事件与争议：

一是国产大模型DeepSeek-V3.2-Speciale在国际数学奥林匹克竞赛（IMO）、国际信息学奥林匹克竞赛（IOI）等顶级赛事中斩获金牌级成绩；二是菲尔兹奖得主陶哲轩借升级后的谷歌Gemini，十分钟补全一道困扰学界多年的埃尔德什（Erdős）问题证明，从论证分析打通了结论确认；三是传奇数学家小野健（Ken Ono）辞去弗吉尼亚大学终身教职，加入了由他的博士生洪乐潼创办的初创公司，专注创造“AI数学家”……

从在奥赛夺金，到协助数学家解题，再到自主攻克数学难题，学界热议的一个核心议题是：AI或许会相当快地超越人类数学家。如果AI能独立验证猜想、破解难题，人类数学家又将何去何从？AI是数学研究的工具还是颠覆者？

先看57岁著名数论学家小野健的“离职”事件。他决定离开的一个重要原因是，在研讨会上发现自身直觉与抽象思维的优势正在被AI迅速缩小。他加入的初创公司Axiom Math（公理数学），由他曾经24岁的学生洪乐潼创办，愿景是构建能猜想、证明并解释的AI数学家。该公司模型在无人干预下攻克了困扰数学界数十年的两道埃尔德什难题，逻辑无漏洞。

对于AI对数学研究的影响，学界存在两种声音。一种声音认为，AI目前是辅助工具，距离独立解决前沿数学问题还需很久。以复旦大学上海数学中心林伟南研究员为例，他结合计算机算法解决了126维Kervaire不变量问题，认为AI更像“聪明的字典”，在高度抽象概念处理中仍有挑战，数学家仍主导核心思路，他认为至少十年内AI不会取代数学家。另一种观点认为，传统解题型数学家可能被取代，数学AI创业者马小扁提出人类数学家有局限（寿命、速度、脑容量），而“AI教父”辛顿预言数学家可能很快失业，因数学封闭系统AI能自主学习。

不过多数学者认可“人机协作”是大势所趋。数学家陶哲轩希望把AI当作嵌入式助手，用“规格先行（Spec-first）”方法，先写可执行规格书，再让AI推进、对齐确认，最后用外部工具核验，降低“幻觉”风险。创业者木大宝解释此方法能结构化规格，装进可验证管道，降低推导计算风险，强调人需比AI聪明判断结果对错。

关于数学教育，复旦大学特聘教授、计算与智能创新学院教授王晓阳谈到，数学其实是一种底层的逻辑训练，自然界运行的底层逻辑就跟数学有关。即使AI能证明所有数学定理，也需要人来整理、让大家了解世界运行的逻辑。这是非常重要的。林伟南也认为，目前一些AI大模型在本科生级别的作业中已经表现出色，在AI唾手可得的时代，学生的主观能动性和兴趣将变得比以往任何时候都重要。

总结来看，AI给数学界带来变革趋势，但未来“人机协同”可能是数学研究新方向，人类数学家将不再是繁重计算的承担者，而是成为数学大厦的“设计师”与“价值罗盘”，并进一步追问数学的意义。