AI Research·5 min readPSI Reports Machine-Checked Proof of Aaronson-Ambainis ConjectureUUnite.AINov 6