AI Research Startup PSI Leverages Anthropic Models to Prove Quantum Computing Conjecture

On November 11, according to TechCrunch, researcher David Turturean at AI research startup Physical Superintelligence (PSI) utilized an early-access Anthropic Fable 5.2 model to prove the Aaronson-Ambainis conjecture, proposed nearly 18 years ago. The conjecture addresses the question of whether quantum computers can solve problems faster than classical computers. Scott Aaronson, one of the conjecture's proposers, stated that he believes the proof is correct: it has been automatically formalized in the mathematical formalization language Lean, and a research team invited by PSI also explained it. The report notes that this result rules out one pathway for quantum computers to rapidly solve certain difficult problems, but does not rule out all pathways.