PSI 宣布 AI 系统给出 Aaronson-Ambainis 猜想完整证明

Physical Superintelligence（PSI）宣布，其内部科研系统用 3 天给出了 Aaronson-Ambainis 猜想的完整证明。该猜想于 2008 年提出，探讨量子计算机何时能相对经典计算机实现加速。证明经 Lean 证明助手逐步验证，底层模型被多方转述为未公开发布的 Anthropic 模型，但官宣未直接说明模型来源，具体身份与版本也未公开。