Scott Aaronson 播客：谈 AI 证明量子游戏猜想与数学的未来

UT Austin 量子信息中心主任 Scott Aaronson 在播客中讨论 AI 开始解决数学开放问题后，AI 参与证明的署名归属、博士生出路及 P=NP 是否应公开等问题。他还提到 OpenAI 疑似证明 Unique Games 猜想，并解释为何认为整合信息理论（IIT）是错的。