According to TechCrunch, David Turturean of Physical Superintelligence (PSI), leveraging an early access version of Anthropic's Fable 5.2 model, has proposed a proof for the Aaronson–Ambainis conjecture in quantum computing. The report notes that the proof has been formalized in Lean and quotes conjecture co-creator Scott Aaronson as stating that he believes the proof is correct. PSI currently generates revenue by optimizing data centers using its tools, with the long-term goal of translating theoretical physics breakthroughs into technology.