陶哲轩称 AI 可能把数学带入证明充裕时代
burny_tech · x · 2026-07-26
Terence Tao 的这组幻灯片在讨论：AI 可能把数学从“证明稀缺”推向“证明充裕”。
- 开放问题会越来越多地先产出未验证解，之后还需要经过验证、写作、发表、消化，最终才可能被纳入学科的“定论”。
- Tao 认为，如果没有相应的政策与文化调整，数学界会出现明显的“证明消化不良”：大量 AI 生成的证明会堆积在验证、可读写作、同行评审和社区定稿这些环节上。
- 他的核心判断不是“AI 能不能证题”，而是数学界要为大量 AI 结果的验证与吸收重建工作流。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- Adam Marblestone 播客书单：从智能演化到数字心智 — KordingLab · 2026-09-11
- David Patterson：反对 AI 与数据中心是蠢还是恶？ — davidpattersonx · 2026-09-11
- 数学家 Daniel Litt 上线问题库,15 题仅 1 题被解,用来追踪 AI 解题进度 — littmath · 2026-09-11
- AI 越狱频发引反思：模型训练该不该加入道德框架 — Pfungus_ · 2026-09-11
- 孙正义：人类是最高级生命形式的时代即将终结 — Puzzleheaded-King584 · 2026-09-11
- 「推理时 scaling 正展现出不讲理的有效性」引 AI 圈共鸣 — sqcai · 2026-09-11