#AI
Scott Aaronson：AI 一个月内挑起多起数学突破
Scott Aaronson 在 9 月 15 日的博文里给出一份清单：过去一个月，AI 已经证明或协助验证了多个长期开放的数学问题。转述中点到两个具体例子 —— 雅可比猜想(Jacobian conjecture)的反例，以及一笔经 Lean 形式化验证的费马大定理相关成果。
Aaronson 的身份是 UT Austin 理论计算机教授，也曾作为访问研究员待过 OpenAI 对齐团队，他这句话的分量来自这条履历而非媒体转述。
💡 为什么值得看Aaronson 承认 AI 立场已被现实推翻。
查证
来源档案
BAAI 社区转贴（引 Scott Aaronson 博文）
中文 AI 社区链接帖，内容是对 Scott Aaronson 9 月 15 日博文的中文概括转述，非一手原文。
转述层级，原博文的具体表述、成果清单与措辞均未逐字给出，雅可比猜想反例与费马大定理相关成果的细节、作者、验证路径都需回原文核对。按单源线索档处理。
延伸阅读
转述只给了两个例子，博文原文才有人名、工具、验证方式和 Aaronson 本人的完整论证链条。