A Human-Checkable Four-Color Theorem Proof
André Luiz Barbosa · arXiv (Cornell University) · 2017
This paper presents a short and simple proof of the Four-Color Theorem that can be utterly checkable by human mathematicians, without computer assistance. The new key idea that has allowed it and the global structure of the proof are presented in the Introduction.