What happened
Physical Superintelligence (PSI) says David Turturean used early access to Anthropic’s Fable 5.2 to solve the Aaronson-Ambainis conjecture, an 18-year-old problem in quantum computing. Scott Aaronson said he believes the Lean-autoformalized proof is correct, though he does not fully understand it; the result rules out one possible route for quantum computers to solve certain problems quickly. PSI currently earns revenue optimizing data centers and aims to turn theoretical physics breakthroughs into technologies, while working on ways to validate computational results through experiments.
Why it matters
PSI’s reported result offers a concrete case for how AI-assisted proofs could redirect research, while the company’s current data center work shows the gap between computational findings and experimental applications.