陶哲轩做客 Numberphile 畅谈 AI 与数学未来
10b0t0mized · reddit · 2026-10-15
Reddit 用户分享 Numberphile 频道最新视频：著名数学家、菲尔兹奖得主陶哲轩（Terence Tao）与 Numberphile 对谈，主题围绕 AI 对数学的影响，视频标题为「NO MORE HEROES」。
陶哲轩是 AI 辅助数学研究领域的代表人物，他近年多次公开讨论形式化证明与 LLM 在数学研究中的角色，此番对谈值得关心「AI 能否做数学」的人一看。
「漫话AGI」频道最新
- 历史上卡车取代马车的启示：自动化伤害最小的路径是新人不进场 — soumitrashukla9 · 2026-10-23
- 研究者反驳「AI 网络安全恐慌」：卖防御先造焦虑是老剧本 — gerardsans · 2026-10-23
- Nina Schick：算力不足本身就是巨大的网络与整体安全风险 — NinaDSchick · 2026-10-23
- 投资人观点：AI 若是泡沫，也是最「分裂」的一个 — robleclerc · 2026-10-23
- Chamath：银行将率先用服务条款封杀 AI Agent — nicolechirps · 2026-10-23
- AI 研究者：Claude 替我完成了多年前放弃的繁琐研究任务 — MikePFrank · 2026-10-23