AI research startup PSI uses Anthropic models to prove quantum computing conjecture

AI research startup Physical Superintelligence (PSI) said researcher David Turturean used early access to Anthropic's Fable 5.2 model to prove the roughly 18-year-old Aaronson-Ambainis conjecture, which concerns whether quantum computers can solve certain problems faster than classical machines. Co-author Scott Aaronson said he believes the proof is correct; it has been auto-formalized in the Lean proof language and was reviewed by a research team PSI invited. The result rules out one route by which quantum computers might achieve speedups on some hard problems, though not all routes. The proof matters as an early sign that AI models can contribute to original theoretical mathematics, and the next thing to watch is broader verification and whether similar model-assisted proofs follow.