TechCrunch에 따르면, Physical Superintelligence(PSI)의 데이비드 투르투레안(David Turturean)이 앤스로픽(Anthropic) Fable 5.2 모델의 얼리 아세스 버전을 활용해 양자 컴퓨팅 분야의 아론슨-암바이니스 추측(Aaronson–Ambainis conjecture)에 대한 증명을 제시했습니다. 보도에 따르면 해당 증명은 린(Lean)에서 형식화되었으며, 추측의 제안자인 스콧 아론슨(Scott Aaronson)의 말을 인용해 그가 증명이 맞다고 믿는다고 전했습니다. PSI는 현재 데이터 센터 최적화 도구를 통해 수익을 창출하고 있으며, 장기적인 목표는 이론 물리학의 돌파구를 기술로 전환하는 것입니다.