その後約1世紀に渡って四色定理を証明すべく様々な努力がなされ、とうとう1976年にケネス・アッペルとヴォルフガング・ハーケンが証明した。
这些研究虽然从1852年开始，但是直至1976年四色定理才得到证明，是由肯尼斯·阿佩尔（KennethAppel）和沃尔夫冈·哈肯（WolfgangHaken）借由大量计算机辅助而完成的。