所报到的关于费尔马猜想的证明毫无疑义是人类辉煌的数学史上最具有历史意
义的事件之一。而且也无需避讳，费尔马猜想的证明的历史意义远远大於其学
术意义。因为它并没有对数学产生像哥德尔的不完全性定理那样深刻的革命性
的推动。但无论如何，醉心於古典问题的数学家可以以此来回答希尔伯特(David
Hilbert)当年的誓言：We Shall Know, and We Will Know.

这使我想起了另一个曾同样地激励过一代又一代的数学家们不懈追寻的古典问
题：四色猜想。四色猜想可以被简单的叙述为：任何一个平面图，可以用不多
於四种的颜色去涂染使得任意两个相邻的区域不具有相同的颜色。

四色猜想是由 Francis Guthrie 於1852年提出的，并於1878发表在英国
皇家地理学刊上。1879年，也就是问题提出的二十七年后，Alfred Kempe
第一个给出了问题的证明。为此他得到了很高的荣誉。然而在十一年后，即1890
年，Percy Heawood 证明了Alfred Kempe 的证明过程有着根本性的错误。
几乎在同时，Peter Tait 也在1880年宣称他得到了问题的证明。而 Peter
Tai 的证明在1891年被Julius Petersen 指出了错误。Percy Heawood
在指出Alfred Kempe 的证明错误的同时证明了“五色猜想”。然而四色猜想还
是没能得到证明。

Philip Franklin 於1922年也宣称他得到了问题的证明。可他的证明只是在
不多於25个区域的平面图上完成的。二十世纪的数学史上还有更多的数学家的名
字可以列入四色猜想追寻者的名单。可四色猜想还是没能得到证明。

1976年，Kenneth Appel和Wolfgang Haken 终於得到了四色猜想的证明。
可不寻常的是，他们的证明是在计算机上完成的。证明的方法是在计算机上完成
了对1476个不同的平面图组合分析之后得到的。证明的结果长达500多页。而运
算时间长达数百个小时。在这之后，许多其它的数学家进行了许多工作，大部分
是去优化Kenneth Appel和Wolfgang Haken的求解过程。

遗憾的是，Kenneth Appel 和Wolfgang Haken的工作对许多数学家来说不
是他们所认可的严格而优美的数学证明。谁又能证明Kenneth Appel和Wolfgang
Haken所用的程序的正确性呢？所以对这些数学家里来说，四色猜想至今仍然是
猜想。

五年，十年，十五年，如果四色猜想的历史重演於Andrew Wiles的关于费尔马
猜想的证明，我一点也不吃惊。如果有一天Andrew Wiles 的费尔马定理又回
到了其最初的费尔马猜想，人类的数学史将会因更多的追寻者而更加辉煌。