一个悬了十八年的量子计算猜想，被 AI 系统证出来了，三天，外加 Lean 逐步验证

Physical Superintelligence 11 月 6 日称，其内部研究系统用一个未公开的 Anthropic 模型证明了 Aaronson–Ambainis 猜想，证明已通过 Lean 检查。按官方页面整理，说明这个猜想是什么、结论意味着什么、还差哪一步。