A Human-Checkable Four-Color Theorem Proof
arXiv:1708.07442
Abstract
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.
26 pages, 43 figures, 5 tables and 1 new great idea!