当AI能完成数学计算时，成为数学家意味着什么

在2000年代中期，当杀手乐队和弗朗兹·费迪南德的音乐充斥街头时，本文作者正挣扎于应用数学博士研究。如今回首，当年纯数学同学耗费数年钻研抽象问题的行为终于得到理解：他们从漫长的理解过程中获得快乐和意义。这种喜悦驱动着数学家的传统工作方式——通过直觉提出猜想，再用逻辑证明。然而，AI的崛起正在改变这一切。

AI在数学领域已取得突破性进展：谷歌DeepMind和OpenAI的系统在2024年国际数学奥林匹克中获得金牌；DeepMind的Aletheia系统自主产出博士级研究，虽然其工作本身在数学上较为冷门（计算算术几何中的结构常数），但其展示的复杂推理能力令人瞩目；不久后，OpenAI的新通用AI系统推翻了几何学中的一个重要猜想，该成果若由人类完成足以发表在顶级数学期刊上，顶级数学家称之为AI的里程碑。此外，大型语言模型与证明助手（如Lean、Isabelle）结合，自动将非正式证明转化为可验证的正式代码，大幅加速形式化过程。2025年2月，AI公司Math Inc.的推理代理Gauss在几天内协助完成了玛丽娜·维亚佐夫斯卡8维球体堆积问题的形式化，并自主在两周内形式化了更复杂的24维情况。

这些成就引发数学界的激烈辩论。在2025年海德堡桂冠论坛上，杨辉博士预言人类数学家可能沦为“神谕的祭司”，令在场年轻学者感到存在危机。迪肯大学的学生Trill White表示：“这太令人震惊了。人们还能为数学做出什么贡献？它会变得无人理解吗？”Google Developer Groups的Jessica Randall感受到年轻数学家中的集体存在性恐惧：“这就像一枚重磅炸弹，我们确实开始意识到AI有潜力取代我们。”但数学家们并非只有悲观：三种未来图景正在浮现。以阿克沙伊·文卡泰什为代表的“人类中心”派强调数学是达成共识的工具，AI证明只有人类能理解才有价值。渥太华大学的玛雅·弗雷泽认为寻找优美的人类证明本身就是宝贵的努力，即使AI给出了答案。而陶哲轩倡导“大数学”协作模式，将数学任务分解，人类负责创意部分，AI承担技术工作，通过形式化验证建立信任。他已经开始与在线合作者（包括使用AI工具的人）共同解决问题。

风险同样存在：AI工具可能使数学成为少数有财力使用专有模型机构的特权；年轻一代若跳过艰苦思考可能失去直觉基础，导致“智力萎缩”；社会和研究资助者可能不再重视传统数学过程。数学界正通过撰写文章、组织研讨会、制定指南等方式积极应对。这场变革迫使数学家重新思考数学的本质：它是纯粹的工具，还是人类精神的体现？在AI时代，数学是否还能培养逻辑思维和生活智慧？未来数学家或许难以给出肯定回答。但正如Randall所说，“数学让我在普通问题上成为更好的问题解决者，因为它让我以非常逻辑和理性的方式思考。”AI正在重塑数学实践，而数学家们正努力保持对学科方向的控制。