http://www.indiana.edu/~jkkteach/Q550/Pennings2003.pdf
Timothy J. Pennings, The College Mathematics Journal, vol. 34, no. 3, May 2003, pp. 178-182.
http://www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19990
Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes, roughly equivalent to all the digitized text held by the US Library of Congress. The researchers have created a 68-gigabyte compressed version of their solution — which would allow anyone with about 30,000 hours of spare processor time to download, reconstruct and verify it — but a human could never hope to read through it.
Three computer scientists have announced the largest-ever mathematics proof: a file that comes in at a whopping 200 terabytes, roughly equivalent to all the digitized text held by the US Library of Congress. The researchers have created a 68-gigabyte compressed version of their solution — which would allow anyone with about 30,000 hours of spare processor time to download, reconstruct and verify it — but a human could never hope to read through it.
http://digg.com/video/southern-ocean-storm
"The only difference between a ship and a jail is that you might be able to escape from a jail."
-Samuel Johnson
