数学猜想系列——四色猜想
现代世界三大最难的数学问题之一。四色猜想来自英国。1852年，当伦敦大学毕业生弗朗西斯·格思里来到一个科学研究所做地图着色工作时，他发现了一个有趣的现象:“似乎每张地图都可以用四种颜色着色，使得有共同边界的国家有不同的颜色。”这个结论能从数学上得到严格证明吗？他和他正在大学学习的哥哥格里斯决定试一试。为了证明这个问题，兄弟俩已经堆积了很多手稿，但是研究工作没有进展。
1852年10月23日，他的弟弟向他的老师，著名的数学家德·摩根寻求这个问题的证明。摩根找不到解决这个问题的方法，所以他写信给他的好朋友、著名数学家汉密尔顿爵士征求意见。汉密尔顿收到摩根的信后，演示了四色问题。但是直到1865年汉密尔顿去世，这个问题才得以解决。
1872年，当时最著名的英国数学家凯利向伦敦数学学会正式提出了这个问题，因此四色猜想成为了世界数学界关注的问题。许多世界级的数学家参加了四色猜想会议。从1878年到1880年，两位著名的律师和数学家坎普和泰勒提交了证明四色猜想的论文，并宣布他们已经证明了四色定理。每个人都认为四色猜想从此已经解决了。
11年后，1890年，数学家海伍德通过自己的精确计算指出，坎普的证明是错误的。很快泰勒的证据也被否定了。后来，尽管越来越多的数学家绞尽脑汁，他们还是一无所获。结果，人们开始意识到这个看似简单的话题实际上是一个相当于费马猜想的难题:前人数学家的努力为后来的数学家揭示四色猜想的奥秘铺平了道路。
自20世纪初以来，科学家对四色猜想的证明基本上是基于坎普的想法。1913年，boekhoff引入了一些基于Kemp的新技术。1939年，美国数学家富兰克林证明了22个国家以下的地图可以用四种颜色着色。1950年，一些人从22个国家搬到了35个国家。1960年，证明了39个国家以下的地图只能用四种颜色着色。然后它被推广到50个国家。这一进展似乎仍然非常缓慢。电子计算机出现后，由于计算速度的迅速提高和人机对话的出现，证明四色猜想的过程大大加快了。1976年，美国数学家阿佩尔和哈肯花了1200个小时，在美国伊利诺伊大学的两台不同的计算机上做了100亿次判断，最终完成了四色定理的证明。四色猜想的计算机证明在世界上引起了轰动。它不仅解决了一个持续了100多年的难题，而且可能成为数学史上一系列新思维的起点。然而，许多数学家对计算机取得的成就并不满意。他们仍在寻找一种简单明了的书面证明方法。