TechCrunchの報道によると、Physical Superintelligence(PSI)のDavid Turturean氏は、Anthropicの「Fable 5.2」モデルのアーリーアクセス版を活用し、量子計算におけるアーロンソン・アンバイニス(Aaronson–Ambainis)予想の証明を提示した。報道によれば、この証明はLeanで形式化されており、同予想の提唱者であるScott Aaronson氏の言葉として、証明が正しいと確信しているとの見方が引用されている。PSIは現在、データセンターの最適化ツールを通じて収益を上げており、長期的には理論物理学のブレイクスルーを技術へと転換することを目標としている。