Digg
@digg
The internet is a big place. We find the good stuff.
가입 June 2008
578 팔로잉 중 1.1M 팬
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.
더 보기
