AI Frontier Lectures

Nov 7, 2026 · Artificial Intelligence

AI Proves 2008 Aaronson-Ambainis Quantum Conjecture Using Unpublished Anthropic Model

Physical Superintelligence's AI system, powered by an unpublished Anthropic model, formally proved the 2008 Aaronson-Ambainis conjecture in three days, showing quantum computers gain at most polynomial speedup over classical computers for random inputs, with a 7th-power bound verified in Lean.