陶哲轩：AI 能暴力试数学想法，但差距会缩小
rohanpaul_ai · x · 2026-07-25
陶哲轩谈 AI 在数学中的作用
Terence Tao 认为，AI 已经能在数学研究里发挥明显作用：它可以快速综合海量论文、暴力测试想法，而人类往往只需要检查少量例子，就能看出规律。
他同时判断，这种“人机效率差”未来会缩小，关键取决于系统是否进一步具备：
- 世界模型
- 因果推理
- 主动学习
这条帖子讨论的不是单次工具演示，而是 AI 可能如何改变数学研究的方法论与分工。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- Garry Tan 称 Jacob Coxon 事件是烟幕，呼吁聚焦 AI 现实风险 — harris_edouard · 2026-09-11
- Karpathy 同仁热议:AI 加持科学的甜点区在科学本身 — soumitrashukla9 · 2026-09-11
- 经济学家拆解 Anthropic 增长模型:能写出 15% GDP 增长,不代表会发生 — sebkrier · 2026-09-11
- Cohere Labs 推出交互工具:测 178 种职业哪些任务会被 AI 自动化 — Cohere_Labs · 2026-09-11
- AI 安全人士上 SkyNews 担忧不平等、滥用与社会激励结构 — schwarzjn_ · 2026-09-11
- 风投人士讽 AI 末日论：与疫情恐慌话术如出一辙 — StewartalsopIII · 2026-09-11