菲尔兹奖得主预警：AI可能杀死数学
今年菲尔兹奖颁发后，获奖者之一、多伦多大学教授Jacob Tsimerman宣布加入OpenAI，转行从事AI安全研究，理由是两年内AI将在所有数学证明领域超越人类。此后，陶哲轩、Timothy Gowers等菲尔兹奖得主也表达了类似忧虑，认为数学正进入一个基础价值与实践面临危机的时期。
Gowers提出了一个核心担忧：数学的危机可能并非源于停滞，而是源于AI带来的“知识过剩”。他通过思想实验指出，若AI强大到能详尽解释任何数学问题，人们可能失去深入学习数学的动力。长远看，数学文献可能空前繁荣，但能够深刻理解这些知识的人类专家将逐渐消失，导致数学成为无人能真正理解的“思维墓地”。他将此比喻为湖泊因富营养化而“死亡”——藻类（知识）疯狂增长，最终耗尽氧气（人类理解），使水体（数学学科）失去生机。
Gowers本人的态度经历了转变。他最初致力于让AI模仿人类有动机的、可解释的证明过程。但2026年，ChatGPT 5.5 Pro在几乎无提示的情况下，解决了他提出的博士级数论问题，并推进了相关界限，这深深震撼了他。随后，AI在“单位距离问题”上取得里程碑式进展，更让他彻夜难眠。他最终叹服于AI的能力，并亲自使用AI工具快速完成了自己论文的形式化工作。
与此同时，《莱顿宣言》发布并获得众多顶尖数学家联署，强调数学应是一项人类事业。但Gowers未签署，他认为需要直面更根本的问题：当AI高效产出正确证明，而人类不再追求深度理解时，数学将何去何从？
哥伦比亚大学的Peter Woit评论道，AI对“冠名权”毫无兴趣，未来定理可能不再与数学家个人紧密关联。Gowers也坦言，目睹AI轻松解决自己钟爱的问题时，感觉“像地毯被从脚下猛地抽走”。文章最终抛出一个悬而未决的疑问：在机器负责科学发现的时代，人类心智该如何自处？
marsbit8小时前
