PSI’s AI Cracks 18-Year Quantum Computing Puzzle in 72 Hours
Physical Superintelligence (PSI) claims it proved the Aaronson-Ambainis conjecture, open since 2008, using an unreleased Anthropic model. It cites Lean verification, but peer review has yet to take place.
