陶哲轩称 AI 或将数学推入证明过剩时代

菲尔兹奖得主陶哲轩在国际数学家大会（ICM 2026）的演讲中探讨了 AI 对数学研究的影响。他指出，AI 的介入不会引发逻辑基础危机，而是会将数学从“证明稀缺”推向“证明过剩”时代。虽然 AI 能让证明的生成变得愈发常见，把数学研究流水线中的部分环节自动化，但整体数学研究的推进速度未必会因此加快，这将深刻改变数学的价值观与实践方式。

2026-07-27 ~ 2026-07-28 · 3 条相关