A computer made a math proof the size of Wikipedia, and humans can’t check it http://flip.it/8JabL (original)