据TechCrunch报道，Physical Superintelligence（PSI）的David Turturean借助Anthropic Fable 5.2模型的早期访问版本，提出了量子计算领域Aaronson–Ambainis猜想的证明。报道指，证明已在Lean中形式化，并援引猜想提出者Scott Aaronson表示，他相信证明正确。PSI目前通过工具优化数据中心获取收入，长期目标是将理论物理突破转化为技术。