Andris Ambainis

Stories

AI system produces Lean-checked proof of Aaronson-Ambainis conjecture

No public statement on the PSI proof has surfaced

For 18 years, a conjecture by Scott Aaronson and Andris Ambainis has limited what quantum computers could do with random inputs. On November 6, Physical Superintelligence said an internal AI system had proved it, and the Lean proof assistant accepted every step.

Updated 1 hour ago