1852年，英国---南非数学家格斯里在给地图着色时提出了一个猜想：球面或平面地图着色时，至多用四种颜色就可以使得任意两个相邻的国家或地区具有不同颜色，这就是著名的四色猜想。1976年，美国数学家阿佩尔和哈肯根据肯普的证明思路，借助电子计算机，终于证明了四色猜想，使其正式成为四色定理。并于1977年9月将论文发表在《伊利诺伊数学杂志》上。

老军001点评：由于是机器参与数学难题的解决，这个证明引起数学界的极大震惊和争论，而获得四色定理的非机器证明，仍是许多数学家的追求目标。

老军001整理于2016年5月29日星期日