Saltar para: Posts , Pesquisa e Arquivos 
"OH WATERS, TEEM WITH MEDICINE TO KEEP MY BODY SAFE FROM HARM, SO THAT I MAY LONG SEE THE SUN." - Rig Veda
If no human can check a proof of a theorem, does it really count as mathematics? That's the intriguing question raised by the latest computer-assisted proof. It is as large as the entire content of Wikipedia, making it unlikely that will ever be checked by a human being.