Digg
@digg
The internet is a big place. We find the good stuff.
Joined June 2008
578 Following 1.1M Followers
Physical Superintelligence says its research system proved the Aaronson-Ambainis conjecture, a 2008 quantum computing problem, with Lean accepting the final proof after the system found it on day three and improved it twice.
Show more
