数学，真的要说再见了吗？
在2026年那个闷热的夏季，整个数学界就像被突然点燃的烟花，闪烁着各种明显的征兆。每个星期，人工智能都在悄悄地打磨着那些老旧的数学猜想，像个调皮的孩子，竟敢给出已存在几十年的证明。于是，当9月8日的消息如同晴天霹雳般降临时，许多人还是难免惊呆了。OpenAI突然宣布，它的模型解决了数学界最难啃的骨头之一。很快，伴随着成果的争论与署名的喧闹，数学的世界便再难恢复往日的宁静。
“在我接下来的日子里，我再也不指望自己能够用双手去证明某个定理了，”得克萨斯大学的数学教授斯科特·阿伦森如是说。他的话就像一颗重磅炸弹，让在场的年轻数学家们一个个面露愁苦——人类数学家的地位，仿佛一场宇宙黑洞的吞噬，永远地消失在茫茫宇宙中。
我在加利福尼亚大学伯克利分校的教室里，看着约150位学生与教授们的表情，真是如同看电影一般。当小野健教授从弗吉尼亚大学休假回来，准备向这些年轻的思想家们发布一些“紧急通知”。“你们未来的职业，有可能已不复存在，也可能与你们梦想的完全相左。”他的每一句话都像是在扔石子，激起一阵阵不安的涟漪。听众们纷纷低声交流，有些人甚至对着彼此的眼神进行无声的询问；每当小野推进一张幻灯片，就会引来一轮又一轮的提问，讲座的节奏仿佛被一场“预言者的纷争”打乱了。 米兰体育
“我们到底应该从这次演讲中得到什么呢？”一位学生满脸困惑。另一位则愤愤不平，质问道：“面对人工智能对数学的那些‘可耻’做法，你和你们的初创公司到底打算做些什么？”当小野尝试用“尽最大努力”来安抚学生们时，第三位同学的双手已经颤抖了，直问：“你们的‘尽最大努力’到底是啥？快给我个说法！”
野外的不安气息在教室里弥漫，原本就安排了50分钟的演讲硬是拖延到两个小时。即使结束了，许多同学仍不愿离去，似乎要在这个情感的暴风雨中互相安慰。细想起来，大家的情绪反映了一个显而易见的道理：年轻的数学家们意识到，如果他们不适应这个不断变化的世界，自己的数学领域就像夏日的冰淇淋，会在热浪中悄然融化。
回到纽约后，我跟朋友或家人聊起这件事，竟发现他们对此毫无所觉，反倒觉得那些新发现层出不穷，仿佛是好事一桩，谁不想要个“数学超人”来拯救自己呢？这让我意识到一个老生常谈的问题：许多人其实并不懂数学到底是什么，也不明白数学家为何执着于这条道路。 米兰体育
在我的本科阶段，我学习了数学与文学，心中暗自觉得，“纯数学”就像是一位游走在科学和艺术之间的魔术师，既追求逻辑，也渴望美感。正如麦吉尔大学的博士生吴麒仁所言：“数学，要么是最像科学的人文学科，要么是最像人文学科的科学，这得看谁问。”这些抽象概念，往往毫无用处，但 一次次的应用在物理等领域中展现出令人惊叹的有效性。
数学的魅力在于过程而非结果。这可不是什么陈词滥调。人们提出问题，往往不是因为想要答案的实用性，而是因为那个问题意味着一次值得探索的旅程。数学家们希望在解题的过程中，创造出有趣的工具，发现新联系，偶然遇见新想法，以此去回答那些“一开始根本没有想到去问”的新问题。正如吴麒仁所言：“这并不仅仅是为了那些定理，而是为了延续一个传统：即便没有市场价值，依然能让社会受益。”
然而，AI模型却直接跳到了终点，给出的证明看上去如同哥特式塔楼，无比华丽却难以理解。它们省略了许多关键细节，却用大篇幅讨论无用的概念，就如同把一场明明应该轻快的舞会变成沉闷的讲座。数学家们心知这些证明是正确的，毕竟它们有逻辑系统在背后检查，但那份与之相关的理解，却仿佛在迷雾中消失殆尽，而理解正是数学家们沟通的核心纽带。 米兰体育
如果这段旅程确实存在，人类却像被拒绝的客人，无法同行。想象一下，你被瞬间传送到了山顶，四周乌烟瘴气，完全不知身在何处，也不知道附近有些什么；不清楚这座山如何与另一座山相连，身边没有为你的探险提供帮助的工具，更无从带他人一起分享探险的乐趣。若你亲自登山，会体验到你身体如何与环境互动，可能还会偶遇志同道合的伙伴，发现一些意想不到的宝藏。可现在，你却只是身处峰顶，仿佛站在一个巨大的谜团之上，而声称自己探索无敌的机器制造者，仅告诉你：“这就是你们该追求的。”
在数学中，理解比答案更为珍贵。那么，到底是什么在让一个由AI驱动的答案机器让人们感到如此受威胁？部分原因在于数学的发展方式。几个世纪以来，证明与理解总是如影随形的。若某人解开了一个数学共同体所认定的重要且难缠的问题，这个解答便是深刻洞察与创造力的化身。因此，数学文化几乎完全围绕解题而建立。谁曾想到，这样的转变会像一场突如其来的风暴，打乱原有的宁静，而我们不过是这场风暴中的一片小小树叶，随风飘摇，欲求稳定与理解，却仍在茫茫大海中寻觅方向。
