AI 科研初创公司 PSI 借助 Anthropic 模型证明量子计算猜想

11 月 11 日，据 TechCrunch 报道，AI 科研初创公司 Physical Superintelligence（PSI）的研究人员 David Turturean 利用提前获得的 Anthropic Fable 5.2 模型，证明了提出约 18 年的 Aaronson-Ambainis 猜想。该猜想涉及量子计算机比经典计算机更快解决问题的能力。

猜想提出者之一 Scott Aaronson 表示，他相信证明是正确的：证明已通过数学形式化语言 Lean 自动形式化，PSI 邀请的研究团队也对其进行了解释。报道指出，这一结果排除了量子计算机高速解决某些难题的一条途径，但并未排除所有途径。