PSI and Anthropic crack 18-year-old quantum computing conjecture
Physical Superintelligence (PSI) just settled the 18-year-old Aaronson-Ambainis conjecture using a research system powered by an unreleased Anthropic model. The entire proof was machine-verified by the Lean theorem prover in just three days. Why it matters: The newly minted theorem mathematically proves quantum computers cannot achieve exponential speedups on unstructured random data, setting a hard theoretical ceiling on quantum hype.