“诶，你说乔老师怎么突然让咱们把找茬的活儿停下来了呢？我最近干的正爽呢！”就在吕丘建计划重新住回京师大学给安排的房子的时候，乔院士那边也开始了关于他演讲稿验证的工作。
“那不过是张部长找上门来了，顺便帮帮咱京师大学出出气，拿那什么冯教授立立威，免得报告会的时候有人找茬！”有人看的通透，“现在目的基本达到了，咱们也攒出了不少文章，到时候发出去自然会见分晓，所以也不用再做下去了！”
“可是现在给的方向和乔院士之前的研究方向不太一样啊？看上去恐怕还要用到超级计算机进行验算，时间催的这么紧，不太好办啊！”刚才说话的王浩宇还在琢磨原因。
数学研究中使用到计算机的历史源来已久，著名的四色定理就是依靠计算机才得以最终解决。
这一定理通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。
听起来很简单不是么？当这一猜想提出的时候大家也都这么认为，那些心高气傲的数学家不屑于在如此简单的问题上花费精力，直到哥廷根学派的重要人物、爱因斯坦的老师、为广义相对论做出突出贡献的闵可夫斯基注意到了这个问题。
一次拓扑课上，闵可夫斯基向学生们自负的宣称，“这个定理没有证明的最要的原因是至今只有一些三流的数学家在这上面花过时间。下面我就来证明它。”
然后……，这节课结束的时候，没有证完；到下一次课的时候，闵可夫斯基继续证明，还是没有搞定。
一直几个星期过去了……一个阴霾的早上，闵可夫斯基跨入教室，那时候，恰好一道闪电划过长空，雷声震耳；他很严肃的说，“上天被我的骄傲激怒了，我的证明是不完全的……”
1942年的时候，莱夫谢茨去哈佛大学做了个报告，伯克霍夫是他的好朋友，讲座结束之后，就问他最近在普林斯顿大学有没有什么有意思的东西。莱夫谢茨说有一个人刚刚证明了四色猜想。伯克霍夫严重的不相信，说要是这是真的，就用手和膝盖，直接爬到普林斯顿的数学系大楼去。
几十年间，数学界对四色定理的观感竟发生了如此大的变化；直到1976年，美国数学家阿佩尔和哈肯，在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，最终证明了四色定理，轰动了世界。
有了这一成功案例，后来的数学家们逐渐开始使用计算机进行各种问题的
本章未完，请点击下一页继续阅读！