两千多年以来，数学的发展史，是一代代天才孤独攀岩式的探索史。欧几里得、高斯、怀尔斯等先辈耗费毕生心血，攻克一个个悬而未决的猜想，搭建起人类宏大的智力大厦。数学家如同荒野中的探险家，在没有地图的未知领域，完成绘制理论地图、挖掘理论价值、研发研究工具的工作，谁能够攻克无人破解的难题，便会收获至高的学术荣誉。

而如今AI的介入彻底打破了这套延续千年的研究范式。Szegedy深耕深度学习与数学交叉领域多年，很早就提出自动形式化构想，希望打造“超人AI数学家”，原本设定2029年达成目标，现实发展却远超预期。2026年多项重磅数学成果接连诞生：AI推翻尘封八十年的单位距离猜想、证伪雅可比猜想，快速完成费马大定理完整形式化证明，甚至向千禧年难题发起冲击，接连解决上百个遗留数学问题。

他用一则生动的比喻描述当下现状：传统数学家是徒手攀岩的探险家，AI就像刚刚起步的飞机。现阶段的AI尚不算完美，能力有限、成本高昂，但已经可以抵达人类难以涉足的研究地带。若是以当下AI能力去预判未来上限，本质是陷入静态思维的谬误。技术迭代速度飞快，现在的局限，会在短短数月内被不断打破。

当AI工具走向普及，整个数学研究的生态会迎来翻天覆地的变化。未来“飞机”不再是少数机构专属，研究者都可以借助AI工具，俯瞰整片数学的未知大陆。过去那种孤胆英雄登顶山峰的荣光会褪色，但数学本身不会消亡：个体依然可以开展趣味探索，只是研究的形式发生转变。

未来学术评价体系也会发生根本性转向。单凭独自攻克难题，不再是衡量数学家能力的第一标准。更为重要的能力，变成挑选具备价值的研究方向、调度AI工具开展研究、把研究成果转化传播出去。不少身在旧学术体系内的研究者，会产生失落感，甚至抗拒变革，但技术浪潮难以阻挡。

Szegedy将这一变革称作数学的**“毕业”**：数学不再只是象牙塔内部小众的智力游戏，它将产业化，蜕变为所有科学技术进步的底层基础设施。孤独攀登者的时代落幕，测绘整片知识大陆的全新阶段正式开启。

当然，这份对AI数学的乐观判断，并没有获得学界的统一认同。不少学者对此抱有审慎态度。有研究者提出，数学的研究方向、价值判断根源来自人类本身，AI会出现证明流程通过，但偏离原本命题的问题，纯数学永远不可能被机器完全做完。

部分数学界人士正经历着变革带来的精神阵痛，学者用“悲伤五阶段”概括群体心态：否认、愤怒、讨价还价、抑郁轮番上演。有的顶尖数学家坚持拒绝使用AI，也有年轻博士生在看到AI轻松完成自己苦苦求索的引理之后，对自身研究的意义产生怀疑。这种失落的情绪真实存在，但终将随着时代发展慢慢消散。

数学会成为首个完成工业化改造的基础学科。数学命题对错拥有客观标准，可以交给机器逐行校验，不需要复杂物理实验，这也是AI能够率先在这个领域实现突破的核心原因。机器不会彻底取代人类思考，却会重构整个学科的运行逻辑，古老的数学，正在AI时代翻开全新一页。