四色定理也是那种叙述起来非常简单，证明起来却极其困难的百年数学难题。但四色定理非常特殊的一点在于，它的最终证明并不是传统的数学逻辑证明，而是借助计算机分析所有可能的情形后完成的。

这也就是说，四色定理的证明迄今为止仍非单独的人力所能及，我们仍然没有找到理论上的逻辑证明，但借助计算机强大的计算能力，的确又可以解决这个难题。