Scott Aaronson

New Capabilities

Wrote on November 8 that he believes the proof is correct, citing the Lean certificate and expert review

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 Yesterday