从英国《经济学家》2005年3月31日的一篇文章“PROOF AND BEAUTY
”得知微软公司在出钱资助Georges Gonthier为四色定理给出一个更新的、完全自动化的证明。1852年在英国伦敦上学的哥俩提出一个猜想叫四色猜想，即给地图着色只用四种颜色就够了，使得相邻国家有不同颜色。一百多年以来，有无数数学家煞费苦心企图给出证明而没有成功，数学大师Cathy也没有证出，并曾郑重其事地把它提交给英国数学学会；直到1976年，Kenneth Appel和Wolfgang Karken借助电子计算机总算给出了一个证明。四色定理这么简单，花一会儿时间就能让一个六岁的孩子明白，而且百多年来一直也没有看出有什么实际的应用，没有哪一个中国公司的哪一位首席技术官会对这个项目有兴趣的，且不说中国的首席技术官一般没有精力再关心技术了，他们多数成为总裁助理和接待官了；微软可能花了不少钱，你从Bill花大钱收藏达 芬奇的手稿就能猜想到这点；
而Dr.Gonthier大言不惭，说根本就没有希望自己的研究报告能得到美国数学协会和Annals of Mathematics的接受和发表，因为完全用计算机证明数学定理还没有被数学同侪们所完全认可和接受，这几个星期他就要向有关方面提交这个报告了；微软到处面临反垄断法，他用的捆绑销售之类损着或市场战略并没有什么创新的新鲜玩意儿，每一个合格的商人都会想到使用的，可是没有几个公司对四色定理有兴趣；听说Bill对沃森的《基因的分子生物学》用功颇勤，而中国的总裁经理都在读GM韦尔奇，或者胡雪岩；中国文化一般说来是注重实际的，儒家思想是“敬鬼神而远之”，孔子“不言怪、力、乱、神”，我们比较热中于处理人际关系，更热中于财富的分配方案而不是创造财富的方案，更热中于不动产抄做而不是技术革新。
