Aaronson-Ambainis Conjecture proved! (By AI, of course)
Comments
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Ranked by a public rubric, not by votes: what a comment adds counts, not who wrote it. How comments are ranked · Comment rules
Summary
Scott Aaronson reports that the Aaronson-Ambainis Conjecture, posed in 2009, has been proved by Physical Superintelligence, led by David Turturean and Jim Halverson, using an internal Claude model and a research harness.