PSI Research System Solves 18-Year-Old Quantum Computing Conjecture in Three Days
A U.S. firm, PSI, claims its research system has solved the 18-year-old Aaronson-Ambainis conjecture in just three days. This conjecture, first proposed in 2008, concerns the conditions under which quantum computers can achieve an exponential speed advantage over classical computers. PSI stated that its system, utilizing a non-public model from Anthropic running on the company’s infrastructure, produced a mathematical proof. This proof was subsequently accepted by Lean, a software tool designed to verify formal mathematical arguments. The company further reported that the system improved the proof twice, with Lean accepting the final version. While researchers at Stanford University have provided feedback on aspects of the work, the proof has not yet undergone full independent academic review. The conjecture specifically addresses whether quantum algorithms with a particular mathematical structure can be efficiently approximated by classical computers, suggesting that if it holds, classical computers could...