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!
No comments:
Post a Comment