陶哲轩称 AI 可能把数学带入证明充裕时代
burny_tech · x · 2026-07-26
Terence Tao 的这组幻灯片在讨论：AI 可能把数学从“证明稀缺”推向“证明充裕”。
- 开放问题会越来越多地先产出未验证解，之后还需要经过验证、写作、发表、消化，最终才可能被纳入学科的“定论”。
- Tao 认为，如果没有相应的政策与文化调整，数学界会出现明显的“证明消化不良”：大量 AI 生成的证明会堆积在验证、可读写作、同行评审和社区定稿这些环节上。
- 他的核心判断不是“AI 能不能证题”，而是数学界要为大量 AI 结果的验证与吸收重建工作流。
所属事件:陶哲轩ICM 2026演讲：AI将数学推入证明过剩时代(12 条相关)→
「漫话AGI」频道最新
- AI 编程导师逼教育重考，68% 计算机教师已改考试方式 — The Decoder · 2026-07-26
- AI 可能把科研署名变成争夺模型想法的战场 — alejandroll10 · 2026-07-26
- 一段 AGI 愿景：机器将释放后代去学艺术与探索宇宙 — sudoraohacker · 2026-07-26
- AI 圈最危险的，可能是把思考外包的人 — unironictechbro · 2026-07-26
- OpenAI 的 GPT-6 与 RSI 传闻补齐证据链 — imjustnewatai · 2026-07-26
- OpenAI 的 GPT-6 可能是会自我改进的记忆型系统 — imjustnewatai · 2026-07-26