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.
もっと見る
