1976年美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，做了100亿种判断，终于完成了四色定理的证明。四色定理（四色猜想）于1852年提出以来己有164年，通俗的说法是每个平面地图都可以只用四种颜色来着色，而且没有两个相邻的区域颜色相同。