Two interesting articles ...
Computer generated math proof is largest ever at 200 terabytes (http://phys.org/news/2016-05-math-proof-largest-terabytes.html)
Computer generated math proof is too large for humans to check (http://phys.org/news/2014-02-math-proof-large-humans.html)