Scott Aaronson 播客：谈 AI 证明量子游戏猜想与数学的未来
TOEwithCurt · x · 2026-10-26
UT Austin 量子信息中心主任 Scott Aaronson 上播客，聊 AI 开始解决数学开放问题之后的数学界现状：
- AI 证明的署名归属：AI 参与证明后功劳算谁的
- 博士生还剩什么可做：当开放问题被 AI 攻克，数学博士生的出路
- OpenAI 疑似证明了 Unique Games 猜想：其妻子、复杂性理论家 Dana Moshkovitz 从两人相识起就一直在研究这个猜想
- P=NP 该不该公开：如果某个实验室真的证明了 P=NP，是否应该发布
- AI 推翻了他与 Greg Kuperberg 提出的一个猜想，后果牵涉黑洞防火墙问题
- 结尾聊麦克斯韦妖，以及他为什么认为整合信息理论（IIT）是错的
「漫话AGI」频道最新
- 133 位专利律师实验：同样用 AI，老手被增强、新人陷入认知卸载 — xiaohu · 2026-10-26
- OpenAI 计算机使用 agent 团队：速度已逼近超越人类专家 — a16z · 2026-10-26
- 李开复新书《AI Native》上市：论企业如何成为 AI 原生公司 — kaifulee · 2026-10-26
- Nature 试验：ChatGPT 让咨询顾问短期提分，但技能提升是暂时的 — EricTopol · 2026-10-26
- 开发者谈 AI 做游戏争议：该抵制的是垃圾而非工具 — ezshine · 2026-10-26
- DShaywitz:比起 AI 本身,更该担心用 AI 的坏人 — zakkohane · 2026-10-26