陶哲轩称 AI 可能把数学带入证明充裕时代
burny_tech · x · 2026-07-26
Terence Tao 的这组幻灯片在讨论：AI 可能把数学从“证明稀缺”推向“证明充裕”。
- 开放问题会越来越多地先产出未验证解，之后还需要经过验证、写作、发表、消化，最终才可能被纳入学科的“定论”。
- Tao 认为，如果没有相应的政策与文化调整，数学界会出现明显的“证明消化不良”：大量 AI 生成的证明会堆积在验证、可读写作、同行评审和社区定稿这些环节上。
- 他的核心判断不是“AI 能不能证题”，而是数学界要为大量 AI 结果的验证与吸收重建工作流。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- 日本 Aeon 前高管：AI 智能体是此生最具影响力的创新 — akumar · 2026-10-27
- AI 真会「失控作乱」吗？CJR 告诫记者勿拟人化炒作 — ShakeelHashim · 2026-10-27
- 物理学家让 AI 自选课题：两小时产出可登顶刊的论文 — burny_tech · 2026-10-27
- 深度学习先驱警告：别再对下一项颠覆技术重演「不信—失备」循环 — jachiam0 · 2026-10-27
- 模型如何应对利益冲突？讨论延伸到平台拒绝服务第三方 agent — sjgadler · 2026-10-27
- 马斯克断言:机器人 RAM 需求将超其他一切,超级智能算力将移向深空 — elonmusk · 2026-10-27