Unreleased AI Model Solves Decades-Old Quantum Computing Conjecture in Three Days

San Francisco, Saturday, 7 November 2026.
Physical Superintelligence announced an unreleased Anthropic model proved the 18-year-old Aaronson-Ambainis conjecture in just three days, formally verifying all 648 underlying theorems without human error via the Lean proof assistant.