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.
顯示更多
