Computer scientists established a new boundary on computationally verifiable knowledge. In doing so, they solved major open problems in quantum mechanics and pure mathematics.
Save highlights in Reader View or with our Chrome extension.
This your link? Claim it
Every day we pick 7 links from around the web for you, tailored to your interests.
Or use Twitter, Facebook, Google
Have an account? Sign in
Not on Refind yet? Sign up