编辑 | Panda、泽南 数学领域，最近着实被 AI 的产出冲击到了。 2026 年 5 月 20 日， OpenAI 宣布 ，其内部推理模型成功推翻了由数学家保罗・埃尔德什（Paul Erdős）于 1946 年提出的「单位距离猜想」—— 一 个困扰离散几何领域近 80 年的核心开放问题。 菲尔兹奖得主蒂莫西・高尔斯（Timothy Gowers）对此表示：「如果 AI 能证明单位距离猜想，对于数学界和科学界而言是一个具有划时代意义的里程碑 事件……这样高质量的数学论文如果是由人类提交给顶级学术期刊《数学年刊》的话，我会毫不犹豫地推荐录用。」 就在同一个月，另一位菲尔兹奖得主陶哲轩在斯坦福大学发表了一场题为《新数学工作流》的演讲。他宣布，自己已经放弃实时跟进所有新证明，AI 生成 证明的速度已经远超人类消化能力。他的判断更直接：数学正在从「证明稀缺时代」进入「证明过剩时代」，真正的瓶颈，已经从「如何生成证明」转移到 了「如何验证与理解证明」。 这句话值得停下来想一想。AI 正在以人类无法跟上的速度产出数学结论，而我们越来越难以判断这些结论是否真的站得住脚。数学这门最讲究严格性的学 科，正面临一场前所未有的 ...