多25个国家的地图都可以用四种颜色着色。
1926年雷诺德（Reynolds）将这一结果推广到27个国家，然后在1938年费兰克林又创造了31个国家的纪录。
1940年温恩（Winn）证明了35个国家的情形以后，这方面的研究有所停滞，直到1970年，奥尔（Ore）和史坦普尔（Stemple）对所有至多包含40个国家的地图证明了四色定理。
这书数学家们意识到四色问题也许只有借助于能处理巨量数据的强有力的计算装置才能获得解决。
于是计算机专家哈肯与阿佩尔登场了，他们经过整整四年的紧张工作，终于在1976年6月成功地证明了四色定理。其中他们一共花费了1200个计算机小时，处理了两千多个构形。
就这样，一道数学问题，被计算机以“强力”的方式解决了。
所以，当方院长看到李智证明出来的是四色猜想时，心情那是哇凉哇凉的。
世界级数学难题之所以吸引人，就是因为她像一个美妙的女孩，用华丽的衣服把自己的美好隐藏起来。
无数数学家，为了欣赏那种美好，前赴后继，发动攻击。
当这道数学难题被人解决时，就意味着这个美妙女孩已经名花有主了。
旁边觊觎她的人，都会毫不犹豫的撤退，寻找新目标。
李智看到方院长眉头紧皱，立刻明白他心中所想。
笑道：“老师，我使用了纯数学的方法证明出来了四色猜想。”
“纯数学的方法？”方院长思索片刻，顿时明白他的意思。
虽然哈肯与阿佩尔宣布使用计算机证明出了四色猜想，但是数学界有很多数学家并不愿意承认这个结果。
在数学家看来，使用暴力枚举的方式证明数学难题，是对数学的亵渎。
他们认为应该使用数学逻辑来证明它。
就像如何证明一个女人是真正的女人，数学家会通过喉结，体型，脂肪率，声音，内部结构等方面来试图论证。
而计算机的“暴力枚举”方法就相当于让人直接把女人的衣服扒掉，然后指着某个部位说：看，我说她就是个女人吧，没错！
这种不讲道理的方法自然无法被数学家们接受。
在数学家们看来，数学难题的解决过程，往往比结果更重要。
因为在解题过程中，往往可