TechCrunch says PSI used Anthropic’s Fable 5.2 to solve an 18-year quantum-computing conjecture

According to TechCrunch, startup lab Physical Superintelligence (PSI) used early access to Anthropic’s Fable 5.2 model to solve the Aaronson-Ambainis conjecture, an 18-year-old problem in quantum computing. David Turturean said the proof was autoformalized in Lean and reviewed with researchers. Scott Aaronson said he believes the result is correct, though it only closes off one route for quantum computers to speed up certain problems. PSI also uses its tools for data-center optimization.