菲尔兹奖得主预警：AI可能杀死数学

菲尔兹奖得主接连转行，现场敲响百年危机警钟

2026年菲尔兹奖颁奖现场爆出惊人消息：新晋获奖者、多伦多大学教授Jacob Tsimerman在领奖后立即宣布加入OpenAI，转行从事AI安全研究，理由是“2年之内，AI将在所有数学证明领域彻底超越人类”。次日，另一获奖者陶哲轩在ICM 2026现场忧心忡忡地表示，数学界正进入一个价值观与实践基础遭遇危机的动荡时期。更早的菲尔兹奖得主Timothy Gowers则给出更尖锐的判断：LLM很快会在数学问题求解的所有方面超越人类，包括提出问题、构建理论、制定定义等环节，AI杀死数学的方式可能比想象中更优雅、更残酷。

数学不会死于停滞，而会死于过剩——Gowers的“富营养化”思想实验

Gowers用一个思想实验揭示了AI对数学的真正威胁：假如一场疫情只夺走所有数学家的生命，全部文献完好无损，但无人能解读，要重建数学传统需耗费数十年——这是“饿死”。而AI时代的版本是：AI以指数级速度生成完全正确但无人理解的证明，数学文献爆炸式增长，却因缺乏人类智慧的密码而变得“无人光顾”——这是“撑死”。Gowers将这种状态比作湖泊的富营养化：氮磷养分疯狂涌入，生物量激增，最终水下氧气耗光，变成一潭死水。他担心的不是AI抢走饭碗，而是数学死于过剩，成为一座无人能够解读的墓地。

《莱顿宣言》获三千签名，陶哲轩与Scholze立场鲜明但Gowers拒绝签约

2026年6月2日发布的《莱顿宣言》至今已获3164人签名，并获得国际数学联盟（IMU）正式背书。副主席Ulrike Tillmann强调数学过去是、将来也应该是深刻的人类事业。陶哲轩称这是数月社区讨论的结晶，全心全意支持每一条建议；Peter Scholze则心痛表示，他思考数学问题时不用AI，也尽量不读AI生成的文本，就像不想让AI教育自己的孩子。但Gowers拒绝签名，他认为自己的视野已超越“AI取代数学家”，而选择直面那个冰冷的问题：当AI证明正确且无限增长时，数学会变成什么？他选择不签，只因他看到了更宏大的危机。

AI像“杰出学生”还是潜在杀手？杰曼诺夫谈数学教育与战略思维

菲尔兹奖得主杰曼诺夫对AI持复杂态度。他观察到AI已从“优秀研究生”进步到“杰出学生”水平，能跨领域建立联系，甚至提出出人意料的新思路，例如在离散几何问题中联系代数数论。但他同时强调，AI还不具备深层次的战略性思维，并未改变数学依赖深刻证明和原创思想的根本特征。在教育领域，他警告学生过早过度依赖AI可能失去独立解决问题的能力，教师需要更多关注学生是否真正理解概念而非完成作业。他观点鲜明：没有数学就没有AI，AI的发展越依赖工程和数据，越需要数学保证其效率和可靠性。

不暂停发展，但需持续参与——齐默曼呼吁与AI共存而非对抗

新晋菲尔兹奖得主齐默曼尽管加入OpenAI研究AI安全，但他明确表示“暂停人工智能发展不现实，持续参与很重要”。他承认AI可能导致人类灭绝，尤其是在目标错配、恶意利用、竞争导致安全标准下降等场景下。但他反对因担忧而完全退出，认为人类必须保持联系，了解AI能做什么，学习如何与这个新的“物种”融合。他担心的是，如果人类因为反对AI而无法学习如何与之共存，反而更可能被甩在后面。这种“直面而非逃避”的态度，与Gowers的“不签宣言”形成呼应——顶尖数学家们正试图在AI冲击下，主动重塑数学的未来。