第130章 數學的美感

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“因為他美啊！”董建業露出癡迷的神色，指著題目上的公式說道，“你看這公式，是那麽的自然、流暢，每一個環節無不透露出數學獨有的魅力，這樣美麗的公式他又怎麽可能是錯的呢？！”

“如果是錯誤的公式，那麽一定會讓人覺得別扭，就像是……就像是看電影劇情出現BUG了一樣讓人渾身不舒服！”董建業依舊沉迷在這道公式的美感當中，“而當我第一眼看到這條公式的時候，卻絲毫沒有發現任何讓我感到違和的地方，所以他肯定是對的！就算我們不能證明，那也是因為我們水平不夠，而不是公式的問題！”

這個理由很好很強大！王佳宇頓時無話可說，科學家看臉的案例多了去了，不知道有多少學術成果因為缺乏美感而被人嫌棄；有些經過了整容手術，被後人修改補充最終被人們所接受，而有些則被人發現漏洞最終證明該成果是錯誤的。

董建業在數學上就有這種天賦，他能夠通過自己的直覺發現數學公式中獨有的美感，凡是他覺得美麗的公式往往會得到證實，而被他嫌棄長得醜的公式則大多都存在不可挽回的邏輯錯誤。

這種天賦讓王佳宇無比嫉妒，有如此直覺做指引，能省下多少注定要浪費的時間啊！他自己私下弄了無數條數學史上的經典公式、定理看了一遍又一遍，卻沒有絲毫的收獲。

“哎，那我就去填寫申請單吧，也不知道得排到什麽時候去了！”超級計算機無論在哪裏都是稀缺資源，自然不能想用就用，必須填寫申請單；然後管理計算機的相關部門再根據遞送申請單的時間和申請人的背景以及問題的迫切性綜合考慮分配時間。

“上機測算的準備做好了沒有？”正說著，喬院士急匆匆的推開門走了進來，距離報告會的時間越來越近了，有幾個老朋友都商量著早點過來和他聚一聚，如果演講人還沒決定就有些來不及了。