陶哲轩称AI将引发数学证明过剩

菲尔兹奖得主陶哲轩在国际数学家大会演讲中指出，AI介入数学研究不会引发逻辑基础危机，而是改变数学的价值观与实践方式。他将数学研究比作流水线，认为AI虽能让证明输出变得普遍，使数学从“证明稀缺”走向“证明过剩”，但整体研究进程未必因此加快。

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

• 陶哲轩说 AI 可能把数学推入证明过剩时代 — 量子位 · 2026-07-27
• 陶哲轩说 AI 会多出证明，但数学不会更快 — xiaohu · 2026-07-28