Unreleased AI Model Solves Decades Old Quantum Math Problem

Startup Physical Superintelligence announced that an unreleased Anthropic model successfully proved the 18-year-old Aaronson-Ambainis conjecture in three days. The proof shows that standard computers can often match quantum speed on messy problems, with the logical steps verified using the Lean software tool.