7 ms·
Intuitive explanation about the proof? That might be tricky because it took a computer to prove it.
by urmish 7y ago
Intuitive explanation about the proof? That might be tricky because it took a computer to prove it.
- intuitionist 7y agoYou can get some way there with a proof of the five-color theorem, though, which is much simpler. There’s also a good popular overview of the history of the problem in the book “Four Colors Suffice” by Robin Wilson.