陶哲轩：AI 能暴力试数学想法，但差距会缩小
rohanpaul_ai · x · 2026-07-25
陶哲轩谈 AI 在数学中的作用
Terence Tao 认为，AI 已经能在数学研究里发挥明显作用：它可以快速综合海量论文、暴力测试想法，而人类往往只需要检查少量例子，就能看出规律。
他同时判断，这种“人机效率差”未来会缩小，关键取决于系统是否进一步具备：
- 世界模型
- 因果推理
- 主动学习
这条帖子讨论的不是单次工具演示，而是 AI 可能如何改变数学研究的方法论与分工。
所属事件:陶哲轩ICM演讲：AI将数学推入动荡与证明过剩时代(5 条相关)→
「漫话AGI」频道最新
- AI 很强，不代表它的经济影响会立刻显现 — rickasaurus · 2026-07-25
- 帖子警告：对齐工作可能正训练出人们害怕的心智 — MikePFrank · 2026-07-25
- 一则长线程称，回形针末日论属于前 LLM 时代想象 — repligate · 2026-07-25
- 模型人格可能很难在中英之间保真迁移 — HanchungLee · 2026-07-25
- David Patterson 说 AI 限制终将消失 — davidpattersonx · 2026-07-25
- AI 若比目击证人更可信，法律会怎么变 — PierceLilholt · 2026-07-25