陶哲轩在 ICM 2026 认为 AI 可能让数学从证明稀缺走向过剩
AlexKontorovich · x · 2026-07-25
Alex Kontorovich 在 ICM 2026 的语境下提到 Terence Tao 的演讲，核心判断是：AI 会把数学研究的瓶颈位置重新洗牌。
配图里的幻灯片直说，数学领域可能会从“证明稀缺”进入“证明过剩”：AI 生成的证明会堆积得比人类验证更快，已经验证过的证明仍需要可读的写作说明，而公开发表的成果也可能多到社区无法逐篇消化。
这意味着，如果机器生成证明成为常态，数学研究的流程、同行评审和协作规范都可能需要调整。
所属事件:陶哲轩称 AI 时代让数学进入动荡期(3 条相关)→
「漫话AGI」频道最新
- 纳德拉称 AI 末日叙事正在侵蚀行业社会支持 — 2C_ornot2C · 2026-07-25
- OpenAI 员工离职长信谈全人类、风险与治理 — jachiam0 · 2026-07-25
- 如果对齐无解，递归自我改进可能就到不了 AGI — LeadershipPast6681 · 2026-07-25
- ICM 2026 幻灯片称教育中过早引入 AI 工具有害 — AlexKontorovich · 2026-07-25
- 陶哲轩建议数学论文公开披露 AI 工具使用 — AlexKontorovich · 2026-07-25
- Grok 说 20 万字符安全提示词只会制造摩擦和越狱面 — brianrkelly · 2026-07-25