AI Proves Aaronson-Ambainis Conjecture

Scott Aaronson and Andris Ambainis proposed the Aaronson-Ambainis conjecture in 2009. A startup, Physical Superintelligence, has now proven the conjecture using their Claude model, showing a variable influence of at least ~1/d^6, verified by human experts and Lean certification.