An AI-driven proof of the Aaronson-Ambainis conjecture was announced Hacker News by addaon 1 votes 4904 karma 1h ago Read More ↗ Source