Two-hundred-terabyte maths proof is largest ever

http://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19990

Though thorough, 200Tb of #math proof is unsatisfying, as who will ever verify it?