前沿 AI 数月内连克数学难题,数学家陷入「精神危机」

Dr_Atoosa · x · 2026-11-01

DeepMind 研究科学家、CMU 助理教授 Atoosa Kasirzadeh 在 Noema 发表长文,梳理 AI 对数学的冲击:近几个月未发布的前沿系统完成了 Wiles 费马大定理证明的完整形式化,给出 Navier-Stokes 问题的解,数天前生成了数百篇声称证明重要数学问题的手稿,10 月 26 日又有一个 Clay 千禧年大奖难题被 AI 攻克。数学界反应混杂着乐观、焦虑与深度迷失——7 月数学博士生 Kirwin Hampshire 发文《数学的暗夜》,自述因担心人类数学家即将被速度和记忆远超自己的 AI 取代而陷入精神危机。文章认为 AI 已是数学史的变革性篇章,但不会是最后一章。