数学家评 AI 攻题：数学现实比想象中「多孔」，裂缝比预想的多

MoonL88537 · x · 2026-10-23

数学圈作者 nihilunbounded 发长评谈阅读 AI 生成的数学证明后的两点感受：一是多数 AI 证明仍不如优秀的人类证明「有趣」——系统会粗暴地直扑问题要害，使证明缺乏启发性、思想贫乏；二是真正的认知更新是「数学现实比想象中多孔」：一些他原以为必须先解决更难的相关问题、发展全新技术或新定义才能攻克的题目，AI 却直接从数学王国的裂缝中「入侵」得手。

转发者 MoonL88537 以珊瑚礁作比：数学现实是珊瑚骨架，理解是礁上斑斓的色彩，人人都担心一场「白化事件」。