「誒，你說喬老師怎么突然讓咱們把找茬的活兒停下來了呢？我最近干的正爽呢！」就在呂丘建計劃重新住回京師大學給安排的房子的時候，喬院士那邊也開始了關於他演講稿驗證的工作。

「那不過是張部長找上門來了，順便幫幫咱京師大學出出氣，拿那什么馮教授立立威，免得報告會的時候有人找茬！」有人看的通透，「現在目的基本達到了，咱們也攢出了不少文章，到時候發出去自然會見分曉，所以也不用再做下去了！」

「可是現在給的方向和喬院士之前的研究方向不太一樣啊？看上去恐怕還要用到超級計算機進行驗算，時間催的這么緊，不太好辦啊！」剛才說話的王浩宇還在琢磨原因。

數學研究中使用到計算機的歷史源來已久，著名的四色定理就是依靠計算機才得以最終解決。

這一定理通俗的說法是：每個平面地圖都可以只用四種顏色來染色，而且沒有兩個鄰接的區域顏色相同。

聽起來很簡單不是么？當這一猜想提出的時候大家也都這么認為，那些心高氣傲的數學家不屑於在如此簡單的問題上花費精力，直到哥廷根學派的重要人物、愛因斯坦的老師、為廣義相對論做出突出貢獻的閔可夫斯基注意到了這個問題。

一次拓撲課上，閔可夫斯基向學生們自負的宣稱，「這個定理沒有證明的最要的原因是至今只有一些三流的數學家在這上面花過時間。下面我就來證明它。」

然後……，這節課結束的時候，沒有證完；到下一次課的時候，閔可夫斯基繼續證明，還是沒有搞定。

一直幾個星期過去了……一個陰霾的早上，閔可夫斯基跨入教室，那時候，恰好一道閃電劃過長空，雷聲震耳；他很嚴肅的說，「上天被我的驕傲激怒了，我的證明是不完全的……」

1942年的時候，萊夫謝茨去哈佛大學做了個報告，伯克霍夫是他的好朋友，講座結束之後，就問他最近在普林斯頓大學有沒有什么有意思的東西。萊夫謝茨說有一個人剛剛證明了四色猜想。伯克霍夫嚴重的不相信，說要是這是真的，就用手和膝蓋，直接爬到普林斯頓的數學系大樓去。

幾十年間，數學界對四色定理的觀感竟發生了如此大的變化；直到1976年，美國數學家阿佩爾和哈肯，在美國伊利諾斯大學的兩台不同的電子計算機上，用了1200個小時，作了100億判斷，最終證明了四色定理，轟動了世界。

有了這一成功案例，後來的數學家們逐漸開始使用計算機進行各種問題的破解；喬院士今天給他們的題目剛好也要用到計算機。

「你覺得這個問題怎么樣？能不能被咱們證明？」王佳宇見對方半天不說話，忍不住又問了一句。

「能不能被咱們證明我不知道，但我敢肯定這個問題是正確的！」師兄董建業篤定的回答，顯得信心十足。

「能不能被證明你都不清楚，怎么就敢肯定他是的對的呢？」王佳宇鬧不懂了！