并不是因为四色猜想不出名，而是因为它实在太出名了，出名到已经被计算机专家，跨领域使用计算机证明了出来。
四色定理又称四色猜想、四色问题，其与费马猜想和哥德巴赫猜想并称世界近代三大数学难题。
四色问题的第一次书面记录出现在1852年10月23日伦敦大学数学教授摩尔根给哈密顿先生的一封信中。
在信中，摩尔根讲述了他的学生提出的一个问题：“一位学生今天让我说明一个事实的道理，我们不知道它是否可作为一个事实。他说任意划分一个图形并对其每个部分染色，使得任何具有公共边线的部分具有不同的颜色，而且只能用四种颜色，不能再多。.......你以为如何？如果这个问题成立，它能引起人们关注吗？”
起初，这个问题没有引起数学家们的注意，认为这是一个不需要证明的事实。直到1878年，伦敦数学会负责人正式宣布了这一问题，四色问题最终形成。
1878年8月13日，英国数学家凯莱在伦敦数学会上当众发问是否有人能证明四色猜想，从此才攜响了攻克四色猜想的战鼓。不到一年，便有一位叫肯伯（）的律师宣布其证明了四色猜想。但肯伯的证明是错误的。
1922年费兰克林（）证明了每个有至多25个国家的地图都可以用四种颜色着色。
1926年雷诺德（）将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录。
1940年温恩（Winn）证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔（Ore）和史坦普尔（）对所有至多包含40个国家的地图证明了四色定理。
这书数学家们意识到四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
于是计算机专家哈肯与阿佩尔登场了，他们经过整整四年的紧张工作，终于在1976年6月成功地证明了四色定理。其中他们一共花费了1200个计算机小时，处理了两千多个构形。
内容未完，下一页继续阅读