陶哲轩ICM演讲：AI将数学推入证明过剩时代

在费城举行的国际数学家大会（ICM 2026）上，数学家陶哲轩发表了题为《AI时代的数学》的公开演讲，并参与了同场嘉宾包括多位数学教授及Google DeepMind研究员的“AI for Mathematics”圆桌讨论。他系统阐述了AI对数学领域的深远影响，指出数学正从“证明稀缺”进入“证明过剩”的时代，整个学科的基础正面临剧烈动荡。

已确认

根据现场幻灯片与参会者转述，陶哲轩将数学工作拆分为五个阶段的“流水线”：证明生成、证明验证、表述、发表和定理化（进入教材化/经典化）。他判断AI现在已经很擅长第一步（证明生成），并在第二步（证明验证）取得进展，但后续阶段仍高度依赖人类。在具体应用上，AI可以快速综合海量论文、暴力测试想法，人类往往只需检查少量例子就能发现规律。此外，他列举了数学研究的核心目标，包括解决未解问题、发展新理论与方法、理解世界、构建数学共同体以及培养下一代数学家等。有趣的是，陶哲轩特地说明其演讲幻灯片中的长破折号是“人类生成”的。

为什么重要

陶哲轩判断，数学的“价值与实践”基础正面临危机。当智能变得便宜后，“解出一个问题”本身不再自动产生价值，真正有价值的是这个解是否能被人类使用。这种“人机效率差”虽然明显，但未来可能会逐渐缩小。他强调，如果数学界能够彻底检视并适应这些变化，AI带来的动荡将转化为学科发展的新契机。此外，这种冲击不仅限于数学，经济学等纯理论学科也正面临类似危机，如求职困难和顶刊纯理论研究减少。

2026-07-25 ~ 2026-07-26 · 14 条相关

• 【源头】陶哲轩称 AI 时代让数学进入动荡期 — AlexKontorovich · 2026-07-25
• 陶哲轩 ICM 2026 幻灯片谈 AI 时代数学研究的目标 — AlexKontorovich · 2026-07-25
• 陶哲轩在 ICM 2026 认为 AI 可能让数学从证明稀缺走向过剩 — AlexKontorovich · 2026-07-25
• 陶哲轩：AI 能暴力试数学想法，但差距会缩小 — rohanpaul_ai · 2026-07-25
• 【源头】陶哲轩称 AI 正把数学带入证明丰裕时代 — lmthang · 2026-07-25
• 陶哲轩发布 ICM 讲座幻灯片，AI 冲击下学术理论界面临危机 — Afinetheorem · 2026-07-26
• 陶哲轩出席 ICM 的 AI for Mathematics 圆桌 — Thom_Wolf · 2026-07-26
• 【源头】ICM2026 讲座：数学是一条五步流水线，AI 只覆盖前两步 — lmthang · 2026-07-26
• Terence Tao 谈 AI 时代：解题的价值取决于是否有用 — samiramanabi · 2026-07-26
• 陶哲轩谈数学与 AI，还特地说明破折号是人写的 — juliusadml · 2026-07-26
• 陶哲轩谈 AI 时代的数学与 AI4Math 议题 — burny_tech · 2026-07-26
• 陶哲轩把 AI 数学能力定义成可检验的猜想问题 — burny_tech · 2026-07-26

另有 2 条近重复转述:soumitrashukla9 · burny_tech