AI 科研初創公司 PSI 借助 Anthropic 模型証明量子計算猜想

據深潮 TechFlow發布，深潮 TechFlow 消息，11 月 11 日，據 TechCrunch 報道，AI 科研初創公司 Physical Superintelligence（PSI）的研究人員 David Turturean 利用提前獲得的 Anthropic Fable 5.2 模型，証明了提出約 18 年的 Aaronson-Ambainis 猜想。該猜想涉及量子計算機比經典計算機更快解決問題的能力。 猜想提出者之一 Scott Aaronson 表示，他相信証明是正確的：証明已通過數學形式化語言 Lean 自動形式化，PSI 邀請的研究團隊也對其進行了解釋。報道指出，這一結果排除了量子計算機高速解決某些難題的一條途徑，但並未排除所有途徑。