Prooooooooooof

A great followup today from John Baez to the 200-terabyte "very long proof" story Evelyn Lamb reported on last week:

https://johncarlosbaez.wordpress.com/2016/05/28/very-long-proofs/

At one point John writes, "It’s interesting that these 200 terabytes were used to solve a yes-or-no question, whose answer takes a single bit to state: no."  ;-)

I don't know what application this may all have (???), but fascinating stuff nonetheless!