AI Proves 18-Year-Old Quantum Conjecture in 3 Days
Startup PSI (Physical Superintelligence) says its in-house research system, running instances of an unreleased Anthropic model, proved the Aaronson-Ambainis conjecture — an open problem in quantum computing since 2008 — with a complete proof on the third day of its run. The Lean proof assistant accepted the formal proof, which covers 648 machine-checked theorems, and the paper and code are public on GitHub. Sources: WebProNews, OfficeChai, MadRobot, November 6–7, 2026. ...