PSI 用 Anthropic 未公开模型证出 18 年量子猜想，并完成 Lean 形式化

Physical Superintelligence（PSI）11 月 6 日公布 Aaronson-Ambainis 猜想的证明，给出显式指数 7，证明由多个 Anthropic 未公开模型实例的研究系统在第 3 天写出，Lean 4 形式化全部通过检查。