PSI 称内部研究系统证明 Aaronson-Ambainis 猜想，Lean 已验收

Physical Superintelligence（PSI）于 11 月 6 日发文称，其内部研究系统在自有基础设施上运行一次约三天的实验，用非公开 Anthropic 模型找到了 2008 年提出的 Aaronson-Ambainis 猜想的证明，并由 Lean 形式化验收。该猜想关系到量子计算机在随机输入上能否指数级快于经典计算机；证明成立后，在是非题上除非输入有稀有结构，否则量子端最多只能多项式加速。斯坦福 Blanc 等人此前已证平行轮特殊情形，现正审读全文并称结果重大。论文与证明代码已放在 GitHub。

由 dalao.ai 撰写：标题、摘要和“为什么重要”是我们自己的文字；事实以原始报道为准，著作权归原发布者所有。