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 that make you smarter, tailored to your interests.
Or sign in with Twitter or Google
Have an account? Sign in
Not on Refind yet? Sign up