AI Research Startup PSI Proves Quantum Computing Conjecture Using Anthropic Model

TechFlow News, November 11 — According to TechCrunch, David Turturean, a researcher at AI research startup Physical Superintelligence (PSI), used early access to Anthropic's Fable 5.2 model to prove the Aaronson-Ambainis conjecture, which had been proposed approximately 18 years ago. The conjecture concerns quantum computers' ability to solve certain problems faster than classical computers.

Scott Aaronson, one of the conjecture's proposers, said he believes the proof is correct: it has been automatically formalized using the mathematical formalization language Lean, and a research team invited by PSI also provided an explanation. The report noted that the result rules out one pathway for quantum computers to solve certain difficult problems quickly, but does not rule out all pathways.

Source: TechFlow