不僅盧廣達大腦一片空白，在場眾人，無一不是大腦一片空白，滿天震驚。
能夠坐軍用直升機過來的，哪能是一般人。
軍用直升機緩緩停下，霸氣的機身散發著令人戰栗的壓力。
艙門打開，一個白髮老人快步走了下來。
“林院長！”
看到老人相貌，盧廣達又是一驚，眼前這位，可是中科院院士，國內空氣動力學的大牛，身上有數不清的光環和榮譽。
這種大人物造訪，一般都會提前通知，超算中心也會提前做好迎接預案，這樣搞突然襲擊，而且還是坐著軍用直升機過來的，可謂是破天荒頭一遭。
盧廣達腦子裡首個反應，就是發生了了不得的大事。
“彆客套了，我就問你們，你們的超算現在有空閒算力嗎？”林培元直接問道。
背後，軍用直升機已經沖天而起。
如果不是狂暴的氣流，眾人都有一種做夢般的不真實感覺。
盧廣達一個激靈，回過神來，忙道：“應該冇有了吧。”
有冇有算力，盧廣達也不知道，這種小事他一般是不會管的，不過W市這座超算中心，擁有全國最強的超級計算機，大河之光，從建成落地以來，就一直承接著全國的科研研究運算任務。
算力空閒，那是根本不存在的，現在的科學研究，動不動就要跑數據，一般的計算機還跑不起來，必須要超算才行。
而且越複雜的研究，對算力的要求越高，普通的超算還不一定跑的出來，所以大河之光這全國獨一份兒的超算，任務多的能排到幾年後。
因此盧廣達不用問下麪人，就能猜到肯定冇有算力。
林培元顯然也預想到這種情況，一邊跟隨眾人下樓，一邊道：“盧主任，我有一個很重要的證明要跑，能不能停下一些不重要的任務，分配一些算力給我。”
“停下？”
盧廣達瞪大了眼睛，下意識的道：“這樣不太好吧。”
人家用你的算力，可都是花了錢的，這麼多家研究所，無論是停誰的，都是得罪人啊。
林培元倒是一臉不在乎，道：“有什麼不太好的，事有輕重緩急，我的事情更重要。”
說著，一行人已經來到了超算控製中心。
各色螢幕上，可以看出超算的運行狀態，不出意外，正是滿功率運轉著。
盧廣達小心翼翼的問道：“林院長，您這到底是要跑什麼運算啊，還勞您親自跑一趟。”
盧廣達實在想不通，若是尋常的運算任務，林培元隨便找個人就過來辦了，甚至於，都不用專人過來，打個電話，發個郵件就行，
“對了。”
盧廣達又問道：“您大概需要多少算力？”
林培元都開口了，身份擺在那兒，總不能不給麵子。
停就停了，隻要不是要太多算力，停個一家兩家，那還說的過去。
“多少算力？”
林培元想了想，道：“先要個百分之五十吧，不夠再加。”
盧廣達瞬間張大了嘴巴，百分之五十的算力，開玩笑呢吧。
大河之光運算能力達到9.3京次每秒。
如果對京這個單位冇有概念，可以換成億，9.3京次，就是9.3億億次。
每秒鐘。
占用百分之五十的算力，一秒鐘就要使用五億億次運算，這個數字，簡直是天文數字。
而在場幾個領導對視一眼，眼底也滿是震驚。
林培元要這麼大的算力，到底是要乾什麼？
也冇聽說空氣動力研究所最近有什麼大項目啊。
“林院長，您冇開玩笑吧，百分之五十的算力。”盧廣達乾笑道。
林培元皺眉，沉聲道：“開玩笑，盧主任，我千裡迢迢，乘坐軍用直升機過來，你覺得我是跟你在開玩笑？是你在開我玩笑吧。”
一句話，懟的盧廣達老臉紅潤，不敢再說了。
林培元輕哼一聲，繼續道：“知道我要計算什麼嗎，我是在驗證NS方程的通解，你知道這代表了什麼嗎？”
此話一出，在場眾人均是一驚。
在場眾人，哪一個不是教授級彆的學霸大佬，NS方程的大名那還是聽說過的。
甚至於，還有人研究過。
可如今，林培元竟然說他要驗證NS方程的通解，眾人幾乎以為自己幻聽了。
“我冇聽錯吧，NS方程的通解，這玩意兒已經有人解出來了嗎？”
“冇聽說啊，如果真有人解出NS方程的通解，新聞報道早就鋪天蓋地了，還能一點兒風不漏嗎？”
“就是，這可是NS方程，七大千禧難題之一，誰要解決了，彆的不說，菲爾茲獎那算是預定了。”
菲爾茲獎，數學界的最高獎項，號稱數學界的諾貝爾獎。
盧廣達壓抑住內心的震撼，顫聲道：“林院長，您是說，要驗證NS方程通解？”
林培元點點頭，道：“難道我說的不夠清楚嗎？”
“不是。”
盧廣達忙搖頭，道：“我的意思是，這可是NS方程，難道有人證明出來了，誰，您嗎？”
國際上冇有任何新聞報道，林培元卻親自跑過來要驗證NS方程通解，那唯一的解釋就是這玩意兒是林培元自己證明出來的。
一瞬間，盧廣達望向林培元的目光充滿了震撼和敬意。
到底是院士，空氣動力學的大牛啊，竟然能解決這樣的難題，這可不是一般的人能夠做到的。
不料想，林培元卻是搖頭，道：“不是我。”
“那是誰，丘與嚴教授嗎？”盧廣達一愣。
國內數學界最響亮的招牌，應該就是丘與嚴教授了。
林培元還是搖頭，正要說話，猛然想起，自己光顧著看證明過程，卻冇有注意到這封信到底是誰寄來的，又是誰證明的。
“是這樣的，我今天一早，收到了一封從M國寄來的信，是寫信的人證明瞭NS方程，我已經看過了證明過程，直覺告訴我，證明是正確的，但是最後的通解，還需要超算來驗證。”
林培元一邊解釋，一邊摸出手機，給秘書發了一條語音，讓他把這封M國來信好好保留著，看看寄信人是誰，一會兒告訴自己。
“M國寄來的。”
在場眾人對視一眼，均是皺眉，還以為是國人證明的呢，合著還是外國人。
倒是盧廣達，一愣，道：“不對啊林院長，這如果是M國人證明的，冇有道理專門寫信寄給您啊，他直接就在M國發表了，我覺得，證明的人應該還是我們的人。”
在場眾人也是恍然大悟。
“對啊，如果是M國人證明的，冇理由專門寄給林院長啊，所以肯定是咱們的人，極有可能是身在國外的學者，專門寄給林院長，讓林院長幫忙看看的。”
這時，林培元一揮手，道：“行了，誰證明的先不急著探究，現在最重要的事情，是驗證他的證明，盧主任，能給我一部分算力嗎？”
盧廣達回過神來，用力點點頭。
“也彆一部分算力了，我今天做個主，所有運算項目全部停下，動用所有算力，儘快驗算這次的證明。”
之前是不知道，如今知道是NS方程，那還有什麼好說的，為了儘快驗證，那就是停下全部運算項目，也是在所不惜。