“誒，你說(shuō)喬老師怎么突然讓咱們把找茬的活兒停下來(lái)了呢？我最近干的正爽呢！”就在呂丘建計(jì)劃重新住回京師大學(xué)給安排的房子的時(shí)候，喬院士那邊也開(kāi)始了關(guān)于他演講稿驗(yàn)證的工作。
    “那不過(guò)是張部長(zhǎng)找上門(mén)來(lái)了，順便幫幫咱京師大學(xué)出出氣，拿那什么馮教授立立威，免得報(bào)告會(huì)的時(shí)候有人找茬！”有人看的通透，“現(xiàn)在目的基本達(dá)到了，咱們也攢出了不少文章，到時(shí)候發(fā)出去自然會(huì)見(jiàn)分曉，所以也不用再做下去了！”
    “可是現(xiàn)在給的方向和喬院士之前的研究方向不太一樣?。靠瓷先タ峙逻€要用到超級(jí)計(jì)算機(jī)進(jìn)行驗(yàn)算，時(shí)間催的這么緊，不太好辦??！”剛才說(shuō)話(huà)的王浩宇還在琢磨原因。
    數(shù)學(xué)研究中使用到計(jì)算機(jī)的歷史源來(lái)已久，著名的四色定理就是依靠計(jì)算機(jī)才得以最終解決。
    這一定理通俗的說(shuō)法是：每個(gè)平面地圖都可以只用四種顏色來(lái)染色，而且沒(méi)有兩個(gè)鄰接的區(qū)域顏色相同。
    聽(tīng)起來(lái)很簡(jiǎn)單不是么？當(dāng)這一猜想提出的時(shí)候大家也都這么認(rèn)為，那些心高氣傲的數(shù)學(xué)家不屑于在如此簡(jiǎn)單的問(wèn)題上花費(fèi)精力，直到哥廷根學(xué)派的重要人物、愛(ài)因斯坦的老師、為廣義相對(duì)論做出突出貢獻(xiàn)的閔可夫斯基注意到了這個(gè)問(wèn)題。
    一次拓?fù)湔n上，閔可夫斯基向?qū)W生們自負(fù)的宣稱(chēng)，“這個(gè)定理沒(méi)有證明的最要的原因是至今只有一些三流的數(shù)學(xué)家在這上面花過(guò)時(shí)間。下面我就來(lái)證明它。”
    然后……，這節(jié)課結(jié)束的時(shí)候，沒(méi)有證完；到下一次課的時(shí)候，閔可夫斯基繼續(xù)證明，還是沒(méi)有搞定。
    一直幾個(gè)星期過(guò)去了……一個(gè)陰霾的早上，閔可夫斯基跨入教室，那時(shí)候，恰好一道閃電劃過(guò)長(zhǎng)空，雷聲震耳；他很?chē)?yán)肅的說(shuō)，“上天被我的驕傲激怒了，我的證明是不完全的……”
    1942年的時(shí)候，萊夫謝茨去哈佛大學(xué)做了個(gè)報(bào)告，伯克霍夫是他的好朋友，講座結(jié)束之后，就問(wèn)他最近在普林斯頓大學(xué)有沒(méi)有什么有意思的東西。萊夫謝茨說(shuō)有一個(gè)人剛剛證明了四色猜想。伯克霍夫嚴(yán)重的不相信，說(shuō)要是這是真的，就用手和膝蓋，直接爬到普林斯頓的數(shù)學(xué)系大樓去。
    幾十年間，數(shù)學(xué)界對(duì)四色定理的觀(guān)感竟發(fā)生了如此大的變化；直到1976年，美國(guó)數(shù)學(xué)家阿佩爾和哈肯，在美國(guó)伊利諾斯大學(xué)的兩臺(tái)不同的電子計(jì)算機(jī)上，用了1200個(gè)小時(shí)，作了100億判斷，最終證明了四色定理，轟動(dòng)了世界。
    有了這一成功案例，后來(lái)的數(shù)學(xué)家們逐漸開(kāi)始使用計(jì)算機(jī)進(jìn)行各種問(wèn)題的破解；喬院士今天給他們的題目剛好也要用到計(jì)算機(jī)。
    “你覺(jué)得這個(gè)問(wèn)題怎么樣？能不能被咱們證明？”王佳宇見(jiàn)對(duì)方半天不說(shuō)話(huà)，忍不住又問(wèn)了一句。
    “能不能被咱們證明我不知道，但我敢肯定這個(gè)問(wèn)題是正確的！”師兄董建業(yè)篤定的回答，顯得信心十足。
    “能不能被證明你都不清楚，怎么就敢肯定他是的對(duì)的呢？”王佳宇鬧不懂了！
    “因?yàn)樗腊?！”董建業(yè)露出癡迷的神色，指著題目上的公式說(shuō)道，“你看這公式，是那么的自然、流暢，每一個(gè)環(huán)節(jié)無(wú)不透露出數(shù)學(xué)獨(dú)有的魅力，這樣美麗的公式他又怎么可能是錯(cuò)的呢？！”
    “如果是錯(cuò)誤的公式，那么一定會(huì)讓人覺(jué)得別扭，就像是...就像是看電影劇情出現(xiàn)bug了一樣讓人渾身不舒服！”董建業(yè)依舊沉迷在這道公式的美感當(dāng)中，“而當(dāng)我第一眼看到這條公式的時(shí)候，卻絲毫沒(méi)有發(fā)現(xiàn)任何讓我感到違和的地方，所以他肯定是對(duì)的！就算我們不能證明，那也是因?yàn)槲覀兯讲粔?，而不是公式的?wèn)題！”
    這個(gè)理由很好很強(qiáng)大！王佳宇頓時(shí)無(wú)話(huà)可說(shuō)，科學(xué)家看臉的案例多了去了，不知道有多少學(xué)術(shù)成果因?yàn)槿狈γ栏卸蝗讼訔?；有些?jīng)過(guò)了整容手術(shù)，被后人修改補(bǔ)充最終被人們所接受，而有些則被人發(fā)現(xiàn)漏洞最終證明該成果是錯(cuò)誤的。
    董建業(yè)在數(shù)學(xué)上就有這種天賦，他能夠通過(guò)自己的直覺(jué)發(fā)現(xiàn)數(shù)學(xué)公式中獨(dú)有的美感，凡是他覺(jué)得美麗的公式往往會(huì)得到證實(shí)，而被他嫌棄長(zhǎng)得丑的公式則大多都存在不可挽回的邏輯錯(cuò)誤。
    這種天賦讓王佳宇無(wú)比嫉妒，有如此直覺(jué)做指引，能省下多少注定要浪費(fèi)的時(shí)間??！他自己私下弄了無(wú)數(shù)條數(shù)學(xué)史上的經(jīng)典公式、定理看了一遍又一遍，卻沒(méi)有絲毫的收獲。
    “哎，那我就去填寫(xiě)申請(qǐng)單吧，也不知道得排到什么時(shí)候去了！”超級(jí)計(jì)算機(jī)無(wú)論在哪里都是稀缺資源，自然不能想用就用，必須填寫(xiě)申請(qǐng)單；然后管理計(jì)算機(jī)的相關(guān)部門(mén)再根據(jù)遞送申請(qǐng)單的時(shí)間和申請(qǐng)人的背景以及問(wèn)題的迫切性綜合考慮分配時(shí)間。
    “上機(jī)測(cè)算的準(zhǔn)備做好了沒(méi)有？”正說(shuō)著，喬院士急匆匆的推開(kāi)門(mén)走了進(jìn)來(lái)，距離報(bào)告會(huì)的時(shí)間越來(lái)越近了，有幾個(gè)老朋友都商量著早點(diǎn)過(guò)來(lái)和他聚一聚，如果演講人還沒(méi)決定就有些來(lái)不及了。
    “已經(jīng)準(zhǔn)備好了，我正在填寫(xiě)申請(qǐng)單！”王佳宇連忙說(shuō)道。
    “嗯！”喬院士點(diǎn)點(diǎn)頭，目光轉(zhuǎn)向董建業(yè)，“你覺(jué)得這個(gè)問(wèn)題怎么樣？”他對(duì)自己這個(gè)愛(ài)徒的天賦十分清楚，以前只當(dāng)做趣事，現(xiàn)在緊要關(guān)頭卻希望他能帶來(lái)好消息。
    “如果畢達(dá)哥拉斯定理是海倫那樣的美人的話(huà)，那么這道公式怎么說(shuō)也能到奧黛麗－赫本這個(gè)層次！”董建業(yè)用詠嘆調(diào)般的聲音贊美道。
    畢達(dá)哥拉斯定理也就是勾股定理，a2+b2=c2這道公式的偉大意義無(wú)論怎么排也能排到數(shù)學(xué)史的前十位；聽(tīng)到董建業(yè)用海倫和赫本來(lái)對(duì)比這兩道公式，喬院士也頗為驚訝！自己的愛(ài)徒竟然如此看重這道公式？
    出于解決問(wèn)題的急迫心理和對(duì)自己愛(ài)徒天賦的迷信，喬院士手指在申請(qǐng)單上慢慢敲了幾下，最終下了決心，“我親自去把這個(gè)送過(guò)去，看他們能不能給我們安排早一點(diǎn)！”
    的確有很多科學(xué)理論因?yàn)槊栏胁蛔悴粸槿藗兯邮馨?！上架感言說(shuō)錯(cuò)話(huà)了，今天就四更補(bǔ)償大家好了，求訂閱，求月票。順便推薦兩本書(shū)，一本書(shū)作者群朋友的《大奸賊》，帶著后世的武將謀臣在隋末爭(zhēng)霸天下的故事；另一本是俺讀者群朋友的《巔峰玩家》，一個(gè)資深網(wǎng)游高手寫(xiě)的網(wǎng)游文，文中講了不少網(wǎng)游的技巧，喜歡玩游戲的可以去試試。
    感謝teng1861的5888和1888土豪打賞，為本書(shū)第一個(gè)舵主加更一章，感謝膩♂紅塵的兩個(gè)1888打賞，感謝mask401.qdcn的1888打賞，感謝非富非貴和輕牛的588打賞，感謝書(shū)友140601101428449、一直2下去、赤影者、sumec1980、ykwfox711、金圣星皇、嗯哦哈哈哈還好還好、飛廉使者、飛馬春秋、佚芮OL、商人、日月兮同光、北極圈附近、寂寞的黑夜、~。喵了個(gè)咪、一葉落秋風(fēng)乍起、城氏、伊雷尼庫(kù)斯、帥不起來(lái)、小小郡主、登臨送目的打賞。
    ;
    ，