An AI-driven proof of the Aaronson-Ambainis conjecture was announced

 (bigthink.com)

2 points | by addaon 9 hours ago ago

No comments yet.