2026-11-10 19:07:41
PSI Solves 18-Year-Old Quantum Computing Problem Using Anthropic's Fable 5.2
According to TechCrunch, Physical Superintelligence (PSI), a startup lab led by MIT graduate David Turturean, solved the 18-year-old Aaronson-Ambainis conjecture using early access to Anthropic's Fable 5.2 model. The proof has been autoformalized in Lean, a coding language for mathematics, and