PSI 用 AI 研究系统证明 Aaronson-Ambainis 猜想

Physical Superintelligence（PSI）用内部研究系统配合非公开 Anthropic 模型，证明了自 2008 年悬置的 Aaronson-Ambainis 猜想，Lean 在运行第三天接受了完整证明。