你知道世界三大数学难题是什么吗？它们是费马猜想、四色猜想和哥德巴赫猜想。这三个问题题目看起来浅显易懂，但其实内涵深刻难解，像哥德巴赫猜想至今尚未解决。下面让我们一起来了解一下四色猜想是怎么回事吧！
四色猜想最初是由法兰西斯·古德里在1852年提出的。这一猜想源于古德里在绘制地图的实践中，发现只需用四种颜色，就能保证有相邻边界的分区颜色不同。这个猜想在后来的通俗表述中就是：“任意一张地图都可以用四种颜色染色，使得没有两个相邻国家染的颜色相同。”这个猜想在数学家德·摩尔根的推动下，在数学界引起研究热潮，大家感兴趣的是，这个猜想能否用严谨的数学推理证明呢？
1879年，著名的律师兼数学家肯普在当时并不出名的杂志上发表了对四色猜想的证明论文。大家都认可他的证明，也认为这一难题也就解决了。因为肯普并不是真正的数学家，很多数学家认为该证明并未涉及本质的数学问题，但是肯普的证明在一时间并未被推翻。直到在肯普的证明发表11年之后，珀西·约翰·希伍德发表了一篇文章，指出了肯普证明的漏洞。肯普的证明被攻破了，四色猜想又成了难题。
后来的证明接连失败，致使欧洲数学界对四色猜想的研究出现了停滞。四色猜想的旋风从欧洲刮到了美国，终于在1976年，美国数学家阿佩尔与哈肯借助计算机完成了对四色猜想的证明——这个历经120多年的数学难题终于得到了解决！