“诶，你说乔老师怎么突然让咱们把找茬的活儿停下来了呢？我最近干的正爽呢！”就在吕丘建计划重新住回京师大学给安排的房子的时候，乔院士那边也开始了关于他演讲稿验证的工作。△笔趣库、ＢＩＱＫ、ＬＡ△
“那不过是张部长找上门来了，顺便帮帮咱京师大学出出气，拿那什么冯教授立立威，免得报告会的时候有人找茬！”有人看的通透，“现在目的基本达到了，咱们也攒出了不少文章，到时候发出去自然会见分晓，所以也不用再做下去了！”
“可是现在给的方向和乔院士之前的研究方向不太一样啊？看上去恐怕还要用到超级计算机进行验算，时间催的这么紧，不太好办啊！”刚才说话的王浩宇还在琢磨原因。
数学研究中使用到计算机的历史源来已久，著名的四色定理就是依靠计算机才得以最终解决。
这一定理通俗的说法是：每个平面地图都可以只用四种颜色来染色，而且没有两个邻接的区域颜色相同。
听起来很简单不是么？当这一猜想提出的时候大家也都这么认为，那些心高气傲的数学家不屑于在如此简单的问题上花费精力，直到哥廷根学派的重要人物、爱因斯坦的老师、为广义相对论做出突出贡献的闵可