陶哲轩谈数学与 AI，还特地说明破折号是人写的
juliusadml · x · 2026-07-26
Terence Tao 做了一场关于数学与 AI 的讨论，帖子附图里还特别写明：幻灯片中的长破折号是人类生成的。
原帖没有展开更多技术细节，但它指向了一场由顶级数学家参与的 AI 相关公开对谈，主题本身就具有分量；“破折号是人写的”这个小细节也很有 AI 时代的意味。
所属事件:陶哲轩ICM演讲：AI将数学推入证明过剩时代(14 条相关)→
「漫话AGI」频道最新
- LukeW：技术限制都是暂时的，唱衰 AI 的人正被反噬 — LukeW · 2026-10-27
- GiveDirectly 在卢旺达试点 AI 聊天机器人辅助现金援助 — NathanpmYoung · 2026-10-27
- 前 Anthropic 员工长文：公司优化的是「被视为好人」而非真正的善 — RichardMCNgo · 2026-10-27
- 投资人泼冷水:别信模型型号,真正的只有数据中心利润率 — StewartalsopIII · 2026-10-27
- WSJ 专栏：对押注 Anthropic 股份的投资者，10% 灭绝风险或只是 90% 的组合胜率 — davidmanheim · 2026-10-27
- WSJ 专栏:就算 10% 灭绝概率,押注 Anthropic 股票仍可能是 90% 的赢面 — peterwildeford · 2026-10-27