第3章 為了驗證，在所不惜eStq()

不僅盧廣達大腦一片空白，在場眾人，無一不是大腦一片空白，滿天震驚。

能夠坐軍用直升機過來的，那能是一般人。

軍用直升機緩緩停下，霸氣的機身散發著令人戰慄的壓力。

艙門打開，一個白髮老人快步走了下來。

「林院長！」

看到老人相貌，盧廣達又是一驚，眼前這位，可是中科院院士，國內空氣動力學的大牛，身上有數不清的光環和榮譽。

這種大人物造訪，一般都會提前通知，超算中心也會提前做好迎接預案，這樣搞突然襲擊，而且還是坐着軍用直升機過來的，可謂是破天荒頭一遭。

盧廣達腦子裏首個反應，就是發生了了不得的大事。

「別客套了，我就問你們，你們的超算現在有空閑算力嗎？」林培元直接問道。

背後，軍用直升機已經衝天而起。

如果不是狂暴的氣流，眾人都有一種做夢般的不真實感覺。

盧廣達一個激靈，回過神來，忙道：「應該沒有了吧。」

有沒有算力，盧廣達也不知道，這種小事他一般是不會管的，不過市這座超算中心，擁有全國最強的超級計算機，大河之光，從建成落地以來，就一直承接着全國的科研研究運算任務。

算力空閑，那是根本不存在的，現在的科學研究，動不動就要跑數據，一般的計算機還跑不起來，必須要超算才行。

而且越複雜的研究，對算力的要求越高，普通的超算還不一定跑的出來，所以大河之光這全國獨一份兒的超算，任務多的能排到幾年後。

因此盧廣達不用問下面人，就能猜到肯定沒有算力。

林培元顯然也預想到這種情況，一邊跟隨眾人下樓，一邊道：「盧主任，我有一個很重要的證明要跑，能不能停下一些不重要的任務，分配一些算力給我。」

「停下？」

盧廣達瞪大了眼睛，下意識的道：「這樣不太好吧。」

人家用你的算力，可都是花了錢的，這麼多家研究所，無論是停誰的，都是得罪人啊。

林培元倒是一臉不在乎，道：「有什麼不太好的，事有輕重緩急，我的事情更重要。」

說著，一行人已經來到了超算控制中心。

各色屏幕上，可以看出超算的運行狀態，不出意外，正是滿功率運轉着。

盧廣達小心翼翼的問道：「林院長，您這到底是要跑什麼運算啊，還勞您親自跑一趟。」

盧廣達實在想不通，若是尋常的運算任務，林培元隨便找個人就過來辦了，甚至於，都不用專人過來，打個電話，發個郵件就行，

「對了。」

盧廣達又問道：「您大概需要多少算力？」

林培元都開口了，身份擺在那兒，總不能不給面子。

停就停了，只要不是要太多算力，停個一家兩家，那還說的過去。

「多少算力？」

林培元想了想，道：「先要個百分之五十吧，不夠再加。」

盧廣達瞬間張大了嘴巴，百分之五十的算力，開玩笑呢吧。

大河之光運算能力達到9.3京次每秒。

如果對京這個單位沒有概念，可以換成億，9.3京次，就是9.3億億次。

每秒鐘。

佔用百分之五十的算力，一秒鐘就要使用五億億次運算，這個數字，簡直是天文數字。

而在場幾個領導對視一眼，眼底也滿是震驚。

林培元要這麼大的算力，到底是要幹什麼？

也沒聽說空氣動力研究所最近有什麼大項目啊。

「林院長，您沒開玩笑吧，百分之五十的算力。」盧廣達乾笑道。

林培元皺眉，沉聲道：「開玩笑，盧主任，我千里迢迢，乘坐軍用直升機過來，你覺得我是跟你在開玩笑？是你在開我玩笑吧。」

一句話，懟的盧廣達老臉紅潤，不敢再說了。

林培元輕哼一聲，繼續道：「知道我要計算什麼嗎，我是在驗證NS方程的通解，你知道這代表了什麼嗎？」

此話一出，在場眾人均是一驚。

在場眾人，哪一個不是教授級別的學霸大佬，NS方程的大名那還是聽說過的。

甚至於，還有人研究過。

可如今，林培元竟然說他要驗證NS方程的通解，眾人幾乎以為自己幻聽了。

「我沒聽錯吧，NS方程的通解，這玩意兒已經有人解出來了嗎？」

「沒聽說啊，如果真有人解出NS方程的通解，新聞報道早就鋪天蓋地了，還能一點兒風不漏嗎？」

「就是，這可是NS方程，七大千禧難題之一，誰要解決了，別的不說，菲爾茲獎那算是預定了。」

菲爾茲獎，數學界的最高獎項，號稱數學界的諾貝爾獎。

盧廣達壓抑住內心的震撼，顫聲道：「林院長，您是說，要驗證NS方程通解？」

林培元點點頭，道：「難道我說的不夠清楚嗎？」

「不是。」

盧廣達忙搖頭，道：「我的意思是，這可是NS方程，難道有人證明出來了，誰，您嗎？」

國際上沒有任何新聞報道，林培元卻親自跑過來要驗證NS方程通解，那唯一的解釋就是這玩意兒是林培元自己證明出來的。

一瞬間，盧廣達望向林培元的目光充滿了震撼和敬意。

到底是院士，空氣動力學的大牛啊，竟然能解決這樣的難題，這可不是一般的人能夠做到的。

不料想，林培元卻是搖頭，道：「不是我。」

「那是誰，丘與嚴教授嗎？」盧廣達一愣。

國內數學界最響亮的招牌，應該就是丘與嚴教授了。

林培元還是搖頭，正要說話，猛然想起，自己光顧着看證明過程，卻沒有注意到這封信到底是誰寄來的，又是誰證明的。

「是這樣的，我今天一早，收到了一封從M國寄來的信，是寫信的人證明了NS方程，我已經看過了證明過程，直覺告訴我，證明是正確的，但是最後的通解，還需要超算來驗證。」

林培元一邊解釋，一邊摸出手機，給秘書發了一條語音，讓他把這封M國來信好好保留着，看看寄信人是誰，一會兒告訴自己。

「M國寄來的。」

在場眾人對視一眼，均是皺眉，還以為是國人證明的呢，合著還是外國人。

倒是盧廣達，一愣，道：「不對啊林院長，這如果是M國人證明的，沒有道理專門寫信寄給您啊，他直接就在M國發表了，我覺得，證明的人應該還是我們的人。」

在場眾人也是恍然大悟。

「對啊，如果是M國人證明的，沒理由專門寄給林院長啊，所以肯定是咱們的人，極有可能是身在國外的學者，專門寄給林院長，讓林院長幫忙看看的。」

這時，林培元一揮手，道：「行了，誰證明的先不急着探究，現在最重要的事情，是驗證他的證明，盧主任，能給我一部分算力嗎？」

盧廣達回過神來，用力點點頭。

「也別一部分算力了，我今天做個主，所有運算項目全部停下，動用所有算力，儘快驗算這次的證明。」

之前是不知道，如今知道是NS方程，那還有什麼好說的，為了儘快驗證，那就是停下全部運算項目，也是在所不惜。

【作者題外話】：新書上傳，求銀票支持。