PSI Proves Aaronson-Ambainis Conjecture

Physical Superintelligence (PSI) proved the Aaronson-Ambainis conjecture, a quantum computing question open since 2008, using a research system running a non-public Anthropic model. The system found a proof during the third day of a run on PSI's own infrastructure, which was later accepted by Lean, a proof assistant. Stanford researchers had previously settled a special case in August 2026.