Hacker News AI· addaon·· 4 days agoAI score38
An AI-driven proof of the Aaronson-Ambainis conjecture was announced
An AI-driven proof of the Aaronson-Ambainis conjecture was announced
AI summary
A Big Think article reports that an AI-driven proof of the Aaronson-Ambainis conjecture, a problem in quantum complexity, has been announced. The item links to the article and to a Hacker News discussion thread with 2 points and no comments.
Source: Hacker News AI · bigthink.com