数学家直面人工智能末日

# 数学家直面AI末日 来源：https://www.scientificamerican.com/article/mathematicians-confront-the-ai-apocalypse/ 宾夕法尼亚州费城——7月24日，数学界唯一真正的明星人物登上了该领域最负盛名的舞台，向他和他的同行们正面临的空前威胁发表演说。 陶哲轩并非戏剧化的人。他语调平和，常常低头闭目，仿佛从那令人敬仰的头脑深处字斟句酌地挑选词汇。但那晚，他的措辞有异于往常的沉重。他题为"人工智能时代的数学"的演讲，比他此前对此话题的任何评论都更具不祥意味。"现在局面非常混乱，令人困惑。"他表示，人工智能在数学研究中的迅速崛起，已引发了"我们数学价值观与实践的危机"。 陶哲轩的演讲被安排为国际数学家大会的主旨报告，这是数学界规模最大、每四年举办一次的盛会，此次在费城举行。但就在大会开幕前几天，Anthropic公司的Claude Fable AI通过一个仅限推文长度的方程（https://x.com/__alpoge__/status/2079028340955197566?）证伪了一个长期存在的数学猜想——雅可比猜想。此前不久，ChatGPT刚刚解决了另外两个重大悬而未决的数学难题。几个月前，上述任何一项成就都足以让一位年轻数学家发表高影响力论文并获得梦寐以求的终身教职。而今，挤在会议中心宴会厅里的许多人却感到完全茫然失措。 --- ## 支持科学新闻业 如果您喜欢这篇文章，考虑通过订阅（https://www.scientificamerican.com/getsciam/）来支持我们屡获殊荣的新闻报道。您的订阅将有助于确保未来能够持续产出关于塑造当今世界的发现与思想的深度报道。 --- 自那晚以来，事态发展愈发迅猛。周二（https://www.scientificamerican.com/article/ai-may-have-just-solved-a-million-dollar-math-problem-the-field-will-never-be-the-same/），数学家们利用人工智能（https://www.scientificamerican.com/article/openai-claims-blockbuster-math-breakthrough-amid-swirl-of-controversy/）解决了20年来的首个"千禧年大奖难题"——这是该领域所能想象的最高成就。 陶哲轩对紧张的听众说，人工智能的猛烈攻势是一个需要深思的时刻。如果数学家们想弄清人类在这个不断演变的等式中将扮演何种角色，他们首先需要退后一步，扪心自问：他们最初为何研究数学？ 一位身穿蓝色纽扣衬衫、戴着眼镜的男子正在签名桌前为书籍签名，一位年轻人正在等待领取自己的副本。数学家陶哲轩于2026年7月在费城举行的国际数学家大会（ICM）上为其新书签名。 Emmages/Simons基金会 陶哲轩的建议不仅适用于数学家。随着人工智能公司推动其技术在各方面超越人类，我们所有人都在试图弄清楚自己如何适应这个迅速到来的未来。这意味着向内审视，追问我们为何做这些事，以及这些事如何让我们感到满足。这是一项我们不应拖延的任务——正如麻省理工学院的安德鲁·萨瑟兰在大会上喝咖啡时对我说的那样："数学家可能是许多其他职业的煤矿金丝雀。" 对数学而言，这是攸关存亡的大事。人工智能行业坚信，征服数学的"客观"真理是说服投资者他们正迈向超级智能的关键路径。多家人工智能公司已将攻克数学作为首要任务。正如一家新兴的AI数学公司在其标语中所言："解决数学，解决一切（https://www.math.inc/vision）。" 过去一年，我一直关注（https://www.scientificamerican.com/article/ai-uncovers-solutions-to-erdos-problems-moving-closer-to-transforming-math/）事态发展（https://www.scientificamerican.com/article/as-ai-keeps-improving-mathematicians-struggle-to-foretell-their-own-future/），目睹（https://www.scientificamerican.com/article/amateur-armed-with-chatgpt-vibe-maths-a-60-year-old-problem/）一个充满激情却与世隔绝的匠人型科学家群体（https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/）如何成为技术军备竞赛（https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/）的附带牺牲品。但在费城，我能感受到焦虑正在积聚顶点。在享用外烩芝士牛排和双曲几何钩针雕塑时的交谈中，我们这个时代的中心问题潜藏在每段对话之下：当机器突然能比你更擅长做你最爱的事情时，你该如何守护它？ --- 大会一如既往地以宣布菲尔兹奖的得主开幕——这是数学界的最高荣誉，每四年颁发给最多四位40岁以下的数学家。在与获奖者的新闻发布会上——他们的名字已于本早些时候泄露，起因是有人要求ChatGPT抓取会议网站信息——大会不言而喻的主题浮出水面。雅各布·齐默曼因在数论与几何交叉领域取得的开创性工作获奖，当被问及人工智能时，他宣布将离开数学界，加入OpenAI从事AI安全工作。 对熟悉齐默曼的人来说，这个消息并不意外。他近期撰写了一份关于该技术可能引发人类灭绝的所有途径的"分类学"。他旨在行业内部为AI可能造成的损害设置护栏。"我说这些已经有一阵子了，"我们在大会期间碰面时他说道，"只是人们一直没在听。" 齐默曼严肃的预测与他外向、可爱的极客气质相冲突——他曾为数学家教授即兴表演课程，并穿着天蓝色天鹅绒礼服出席菲尔兹奖颁奖典礼。他说，他的社群对AI的威胁过于轻视。"我们正在做的并非可持续之事，"他告诉我，"AI很快就会在研究数学方面超越数学家。"在OpenAI，他希望能缓解未来最糟糕的局面。 但社群中许多人视齐默曼的选择为背叛。大会期间，几位数学家告诉我，他们认为他的言论不负责任，他在煽动年轻一代对职业前景的最深恐惧，并且他天真地试图在OpenAI的企业框架内推动变革。有人甚至表示，考虑到他即将离开研究界，将本意是让年轻天才得以终身投身数学的菲尔兹奖授予他是个错误。 齐默曼并未因我的转述而受伤，他一如既往地轻松回应："我想打破我眼中的一个禁忌。那种认为不应谈论真实但可怕事物的想法是错误的。" 他说，AI主导的数学未来"有太多值得期待的地方"。齐默曼期待这样一个时代：更多的知识和定理被证明，将有一个无限的AI生成成果库，而数学家将有幸去解析它。 四位年轻数学家手持文件夹站在舞台上排成一列，身后是ICM 2026的标志。今年的菲尔兹奖得主——邓裕、约翰·帕顿、雅各布·齐默曼和王虹（从左至右）——在ICM舞台上领奖。片刻之后，齐默曼将宣布离开学术界，加入OpenAI工作。 Emmages/Simons基金会 其他人则认同接受是唯一的选择。布朗大学数学家哈维尔·戈麦斯-塞拉诺与谷歌AI团队合作研究他最喜爱的开放性问题：我们用于描述流体运动的数学是否本质上就是有缺陷的。他现在以一张关于"AI悲伤五阶段"的幻灯片开始他的演讲，他认为这是每位数学家都必经的痛苦但必要的道路。 戈麦斯-塞拉诺同意齐默曼的观点，即数学将不再如从前。工作岗位将会减少，且性质也会不同，但它们将属于那些适应变革的人。"整个体系将会崩溃，"他在大会上对我说，"现在行动总比为时已晚要好。" --- 陶哲轩周五晚上的演讲让人想起另一场演说。1900年，在另一场数学危机中，伟大的数学家大卫·希尔伯特站在第二届国际数学家大会前，为该领域规划了一条清晰的前进道路，并从此指引着该领域的发展。我不可能是听众中唯一联想到这一点的人——这是数学漫长历史上最著名的演讲——而陶哲轩似乎也意识到了。 陶哲轩谈到了那场危机，当时数学家们意识到许多悖论存在于学科的核心。他们花费数个世纪建造的客观真理大厦，其基础似乎摇摇欲坠。"那是创伤性的，"他说，"但最终我们得到了非常宝贵的东西。" 正是希尔伯特提出了一个计划，通过构建被称为"公理"的、不证自明的基本真理来修复数学立足的根基，其他所有真理均可由此推导。陶哲轩承认这个计划出现了问题，但它成功帮助该领域度过了危机。如今，大多数数学家确信他们的证明始于终于真实的陈述。 "我们现在正进入一个同样动荡的时期，"陶哲轩说，"我们必须认真思考我们的文化和实践。"但最终，他说，"我们的学科将变得更加健康，更有韧性。" 陶哲轩是数学界最接近领袖的人物——一位当代的希尔伯特——他似乎也意识到肩负着规划前进道路的责任。早在大多数数学家将其视为威胁之前，他就通过长篇社交媒体帖子追踪AI的进展。如今，他正建议数学家们积极行动。 陶哲轩认为，这场身份危机也是数学家澄清对他们而言何为重要——他们为何研究数学，以及数学应呈现何种形态——的契机。人工智能公司有着不同的动机，若无适当的约束，它们将肆意践踏数学既定的学术规范（https://www.scientificamerican.com/article/openais-latest-math-breakthroughs-commit-research-misconduct-experts-say/）。他表示，数学家需要制定新的规范并予以执行，以约束AI最坏的冲动，并使其成为数学潜在的福音。 "我们应该……设定规则，规定哪些类型的AI使用是可接受的，哪些不可接受，"他说，"而不是让外部行为者来为我们定义规则。"陶哲轩赞扬了《莱顿宣言》（https://www.scientificamerican.com/article/mathematicians-sign-declaration-to-rein-in-ai-use/），这是数学家们为推进AI使用新规范而做出的努力。其中一条"规范"——即证明的署名权不应归属于AI模型——已经遭到了AI公司（https://openai.com/index/ten-advances-in-mathematics/）和部分数学家（https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/）的抵制。 陶哲轩的观点是，数学家不应摒弃这项技术。他认为，如果数学家能以明确的保障措施约束AI，它就有潜力推进他们的研究目标。 陶哲轩演讲后的第二天晚上，在美国数学会的一次招待会上，我找到了其主席拉维·瓦基尔。他想纠正外界对近期一项轰动性AI成果的叙述——即前述对长期相信的雅可比猜想的反例。他说，Claude Fable并未取代数学家的工作——而是让工作变得更有趣。在一篇热门博客上，多位顶尖数学家共同致力于理解这个反例——探究*为何*该猜想为假——并发现答案引人入胜。"这只是一个美好的故事，"瓦基尔说，因为人类对数学世界的理解增长了。"此刻，这个房间里某处，就有人正在向他人解释它。" 这就是瓦基尔看到的美好未来：AI可能会解决问题，但数学家仍将拥有理解一切的乐趣。只有当数学家从中发现意义时，结果才重要。他说，只要如此，数学仍将是人类的事业。 瓦基尔认为，亟需说服年轻人数学仍然向他们敞开大门。"不理解的人尤其焦虑，"他说。瓦基尔担任主席期间，已经历了大规模的经费削减，以及数学系赖以吸引顶尖人才的签证政策的收紧。他说，数学研究生项目的招生人数较往年减少。他担心，AI正在吞噬数学的叙事，会成为削减经费的又一个借口。 他也担忧被AI捷径宠坏的一代数学家。"数学没有捷径，"他告诉我，"你需要长时间与难题搏斗，陷入困境。"这种"孩子们过得并不好"的担忧，是数学家们反复提及的主题。学生们的"恐慌"已持续一段时间，"但现在正达到顶峰，"萨瑟兰对我说。 因此，我在招待会上四处走动寻找年轻的面孔，拦住一群群数学博士生，他们正啜饮着凭票领取的免费葡萄酒。我挨个询问：如果有一个按钮可以阻止所有这些AI做数学的事，你会按吗？ 以真正数学家的行事风格，他们提出了许多关于这个神奇按钮如何运作及其可能带来哪些下游后果的技术性问题。在那些我说服他们这并非某种"猴爪"式陷阱的人中，我非正式的民调结果大致各占一半。 至少在这个群体中，他们都认同一件事，而且远比他们的前辈更坚定：AI在数学方面的能力将不断提升。正如博士生哈米·梅赫拉比所说，"它会让成为数学家变得更难。"他们毕生追求的目标——获得一个终身教职的学术岗位——向来竞争激烈，但AI会使这些本已稀缺的职位变得更加稀少。 大多数人不愿透露姓名。无论他们对AI感到兴奋还是沮丧，他们都觉得这场辩论牵涉太广，发表意见可能会在职业上受到惩罚。"我希望这一切从未发生，"一位匿名学生说道，他觉得使用AI已不再是选择。他正自费订阅Claude的"Max"计划，只是为了跟上进度。"如果你没有订阅，就是在伤害自己，"他说。 但让我惊讶的是，尽管我听到了那么多，仍有许多年轻人对未来抱持希望。"我只想知道真相，"加州大学圣巴巴拉分校的博士生丹妮丝·埃斯科瓦尔·帕拉说，"AI正帮助我们更快地做事——我不认为这不好。"埃斯科瓦尔·帕拉承认工作岗位会减少，但她愿意赌上自己的能力去争取一个。数学文化向来劝退那些不认为自己卓尔不群的人。我交谈过的大约一半年轻人已内化了这种心态，以至于他们欢迎任何形式的门槛提高。 但在所有这些接受之中，越来越多的数学家不愿承认AI是该领域唯一的未来——至少不打算不战而降。 年轻数学家们手持啤酒和外卖餐盒，微笑着围成圈站立。早期职业数学家在ICM上交流，讨论他们对该领域未来的希望与恐惧。 Emmages/Simons基金会 --- 当迈克尔·哈里斯和我穿过17街，走向高耸的......