GoKawiilPSI uses Anthropic's Claude model to solve 18-year-old quantum computing conjecture
Startup Physical Superintelligence (PSI) says its researcher David Turturean used early access to Anthropic's Fable 5.2 model to produce a proof of the Aaronson-Ambainis conjecture, a long-standing open problem in quantum query complexity. Scott Aaronson, who co-posed the conjecture decades ago, said he cannot fully verify the proof himself but believes it is correct because it was autoformalized in the Lean proof language and reviewed by outside researchers PSI consulted. The result rules out one theoretical route for quantum computers to gain speed advantages over classical ones, though not all such routes.