據TechCrunch報道，Physical Superintelligence（PSI）的David Turturean藉助Anthropic Fable 5.2模型的早期訪問版本，提出了量子計算領域Aaronson–Ambainis猜想的證明。報道指，證明已在Lean中形式化，並援引猜想提出者Scott Aaronson表示，他相信證明正確。PSI目前通過工具優化數據中心獲取收入，長期目標是將理論物理突破轉化為技術。