Saturday, May 28, 2016
A great followup today from John Baez to the 200-terabyte "very long proof" story Evelyn Lamb reported on last week:
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!