3 ms·
Given the history of false proofs of the four color theorem surviving scrutiny for decades, I think I'll wait for this to be verified by a computer proof langua
by Strilanc 4y ago
Given the history of false proofs of the four color theorem surviving scrutiny for decades, I think I'll wait for this to be verified by a computer proof language such as Lean before trusting it.
(This is intended seriously, but I do love the ironic twist compared to historical hesitancy to accept the computer assisted proof.)
- civilized 4y agoA short paper like this will almost certainly be either verified or refuted by the traditional method of mathematicians reading and analyzing the proof's logic. Computer-aided proof is pretty niche in mathematics.
- deleted 4y ago[deleted]