DeepMind 哲学家撰文：AI 连破数学大关，数学界陷入精神危机
coherence · x · 2026-10-31
DeepMind Institute 研究科学家、CMU 助理教授 Atoosa Kasirzadeh 在 Noema 撰文回顾 AI 对数学的冲击：
- 近几个月未公开的前沿 AI 系统完成了 Andrew Wiles 费马大定理证明的完整形式化、找到了 Navier-Stokes 问题的一个解；几天前生成了数百篇声称证明重要数学问题的手稿；10 月 26 日又一个 Clay 千禧年大奖难题被 AI 攻克。
- 数学家的反应混合了乐观、焦虑与深度迷失。7 月，数学博士生 Kirwin Hampshire 发表《数学的暗夜》，自述因这些进展陷入深刻精神危机：「我感觉自己活在噩梦里」，担心人类数学家在速度与记忆远超人类的 AI 面前很快过时。
- 文章追问：当数学的人类挣扎、审美判断与发现的价值被机器替代，这门学科的意义将何在——AI 是数学进步变革性的一章，但不会是最后一章。
所属事件:Noema 刊文探讨 AI 与数学协作的黄金时代(6 条相关)→
「漫话AGI」频道最新
- AI 将 NP 问题电路下界从 3.1n 推至 3.5n，UCLA 发起人机协作冲 P≠NP — soumitrashukla9 · 2026-10-31
- AI 时代工作意义何在？跨国调查：81% 的人对工作满意 — soumitrashukla9 · 2026-10-31
- 评论：高校 AI 使用文化的健康边界将成抢人才关键 — brianryhuang · 2026-10-31
- 学者激辩：更多推理算力可在一定程度上替代训练算力 — teortaxesTex · 2026-10-31
- 五个智能体能达成一致，可能是因为它们犯了同一个错 — krishnan · 2026-10-31
- 谷歌财报首次清晰揭示 AI 搜索的残酷经济账 — dinabass · 2026-10-31