第一百三十章 数学的meigan（为舵主加

“诶，你说乔老师怎么突然让咱们把找茬的活儿停下来了呢？我最近干的正shuang呢！”就在吕丘建计划重新住回京师大学给安排的房子的时候，乔院士那边也开始了关于他演讲稿验证的工作。

“那不过是张bu长找上门来了，顺便帮帮咱京师大学chuchu气，拿那什么冯教授立立威，免得报告会的时候有人找茬！”有人看的通透“现在目的基本达到了，咱们也攒chu了不少文章，到时候发chu去自然会见分晓，所以也不用再zuo下去了！”

“可是现在给的方向和乔院士之前的研究方向不太一样啊？看上去恐怕还要用到超级计算机进行验算，时间cui的这么jin，不太好办啊！”刚才说话的王浩宇还在琢磨原因。

数学研究中使用到计算机的历史源来已久，著名的四se定理就是依靠计算机才得以最终解决。

这一定理通俗的说法是：每个平面地图都可以只用四zhong颜se来染se，而且没有两个邻接的区域颜se相同。

听起来很简单不是么？当这一猜想提chu的时候大家也都这么认为，那些心高气傲的数学家不屑于在如此简单的问题上hua费jing1力，直到哥廷gen学派的重要人wu、爱因斯坦的老师、为广义相对论zuochu突chu贡献的闵可夫斯基注意到了这个问题。

一次拓扑课上，闵可夫斯基向学生们自负的宣称“这个定理没有证明的最要的原因是至今只有一些三liu的数学家在这上面hua过时间。下面我就来证明它。”

然后…，这节课结束的时候，没有证完；到下一次课的时候，闵可夫斯基继续证明，还是没有搞定。

一直几个星期过去了…一个yin霾的早上，闵可夫斯基跨入教室，那时候，恰好一dao闪电划过长空，雷声震耳；他很严肃的说“上天被我的骄傲激怒了，我的证明是不完全的…”

1942年的时候，莱夫谢茨去哈佛大学zuo了个报告，伯克霍夫是他的好朋友，讲座结束之后，就问他最近在普林斯顿大学有没有什么有意思的东西。莱夫谢茨说有一个人刚刚证明了四se猜想。伯克霍夫严重的不相信，说要是这是真的，就用手和膝盖，直接爬到普林斯顿的数学系大楼去。

几十年间，数学界对四se定理的观gan竟发生了如此大的变化；直到1976年，mei国数学家阿佩尔和哈肯，在mei国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，最终证明了四se定理，轰动了世界。

有了这一成功案例，后来的数学家们逐渐开始使用计算机进行各zhong问题的破解；乔院士今天给他们的题目刚好也要用到计算机。

“你觉得这个问题怎么样？能不能被咱们证明？”王佳宇见对方半天不说话，忍不住又问了一句。

“能不能被咱们证明我不知dao，但我敢肯定这个问题是正确的！”师兄董建业笃定的回答，显得信心十足。

“能不能被证明你都不清楚，怎么就敢肯定他是的对的呢？”王佳宇闹不懂了！

“因为他mei啊！”董建业louchu痴迷的神se，指着题目上的公式说dao“你看这公式，是那么的自然、liu畅，每一个环节无不透louchu数学独有的魅力，这样mei丽的公式他又怎么可能是错的呢？！”

“如果是错误的公式，那么一定会让人觉得别扭，就像是。。。就像是看电影剧情chu现bug了一样让人浑shen不舒服！”董建业依旧