PSI、Anthropic Fable 5.2で量子計算の未解決問題を解決 AI研究の事業化を模索

スタートアップ研究所Physical Superintelligence（PSI）の技術スタッフDavid Turturean氏が、Anthropic Fable 5.2の早期アクセスを利用して18年間未解決だった量子計算の問題「Aaronson-Ambainis予想」を解決した。証明はLeanで自動形式化され、外部の研究者による検証も受けた。