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

(bigthink.com) by addaon | Nov 11, 2026 | 0 comments on HN