111基地,1号實驗室!
“葉研究員!”一位研究實習員,道:“這裏面涉及P=NP,應該怎麽辦?”
葉非在超算中心的職位是研究員。
葉非道:“用NP圖靈完全性!”
數學界有七大難題,又稱爲千禧年難題。
證明出任何一道題,就能獲得數學界最高獎項,菲爾茲獎。
而其中就有P=NP,其實它也是計算機領域的問題。
NP圖靈完全性!
解釋起來很複雜,所以不解釋。
隻需要知道,P是一類,NP是一類。
如果能證明出P=NP。
人類不會生病,人類會和神一樣,預測未來,人類的精神世界得到完全滿足。
像什麽人工智能、VR、宇宙航行、穿梭平行世界,能想到的科幻事件,都能實現。
最爽的就是人工智能可根據人的心理和生理需求,爲你量身打造提供,你想到和沒想到的一切需求。
實習員道:“你指的具體是哪方面?”
葉非道:“遞歸集合組成的遞歸可變現的類、間隙語言和遲滞對角線法。”
這時,葉非的手機響了。
葉非工作時都是手機關機,但今天因爲有事,所以把手機開機。
葉非拿起看一眼,是許主任發給他的信息。
許主任在超算中心不管科研,隻管行政管理,主要是做一些雜事。
畢竟,在超算中心,不是所有事都是科研,還有一些不屬于科研,但比較複雜的事情。
這些事情都是許主任處理。
就比如今天多國考察團的接待,他是要全程陪同。
這些考察團到哪個基地,就發信息給那個基地的人出來接待。
葉非看到信息後,向外面走去。
“葉研究員!”許主任看到葉非後,和葉非笑着握手,道:“下面交給伱了,沒問題吧!”
葉非偏頭看一眼不遠處的一群人,差不多有二十人左右。
一半是亞洲人,三位印國人,七位是歐洲人。
葉非點了點頭,道:“沒問題。”
許主任走向人群,道:“各位,這裏是111基地,下面由111基地的葉研究員給各位講解111基地的基本情況。”
葉非走到人群前,道:“各位,請随我來吧!”
随即,他領着衆人向111基地裏走去。
一位中年矮小男子,問道:“你們這裏的算力是多少?”
葉非看了他一眼,許主任在一旁悄聲,道:“他是東瀛國的河野義懷。”
葉非道:“三億億次。”
“三億億次?”一位戴着眼鏡的中年男子疑惑的道:“我記得沙丘超算中心浮點運算次數是1.09億億次吧!”
許主任道:“這位是京都航空大學楊思理教授。”
葉非對楊思理點了點頭,他也向葉非點了點頭。
葉非道:“确實以前是1.09億億次,但我們也是要進步的,不可能原地踏步,一周前,我們的算力已經突破到三億億次。”
“這不可能!”河野搖頭道:“我兩年前也來這裏,當時你們的浮點運算次數還是1.09億億次。”
“你們能在短短兩年,增加兩億億次?”
葉非道:“兩年增加兩億億次怎麽不可能?2010年,天河一号浮點運算次數是2.57億億次,到2015年的神威太湖之光,浮點運算次數達到12.54億億次。”
“五年增加十億億次。”
“我們這裏兩年增加兩億億次,也不是很誇張吧!”
河野道:“神威太湖之光之所以浮點運算次數那麽高,是因爲硬件原因。”
“而沙丘的超算,用的硬件雖然和天河一号一樣,但操作系統不如天河一号。”
超算看重硬件,也看重軟件!
硬件雖然很重要,但軟件更加重要。
硬件是基礎,軟件是靈魂。
硬件決定超算的起點,軟件決定超算的終點,軟件也就是操作系統。
“操作系統是不如天河一号,但我們也是要研發的。”葉非道:“現在我們在操作系統的算法上用數學算法替代。”
“數學算法?”河野嗤笑道:“就是葉非創造出來的算法?能應用到超算上?”
“這可不是家用電腦,而是超算。”
“就算是葉非本人,都很難做到吧,你111基地就能做到?”
其餘人點了點頭,是的,這可是超算。
超算和家用計算機可不同,超算的科技含量非常高,硬件和軟件都非常複雜。
家用計算機的科技含量,和超算相比,一個天一個地。
家用計算機在超算面前,猶如螞蟻和大象的區别。
數學算法能用到家用計算機上,但無法确定,能用到超算上。
葉非道:“如果你們不信,我可以給你們看看浮點運算次數。”
葉非看向身旁的許主任,這事他不懂行不行,還是要問問許主任。
許主任點了點頭,看浮點運算次數不算技術洩漏。
他們隻是看到一組數字,操作系統的代碼又看不到。
葉非帶着衆人進入算力測試室。
裏面的人看到葉非,立即站起身,道:“葉研究員。”
“嗯!”葉非點了點頭道:“把Benchmark打開,測試一下算力。”
Benchmark是超算算力測試軟件,它比ABTest有很大區别。
ABTese算力測試是應用于家用計算機上測試算力的軟件,測試時間長,數據不是非常精準。
而Benchmark是應用于超算上測試算力的軟件,測試時間非常短,即使是超算算力,也能在很短時間測試出來。
浮點運算次數十億億次以内,十分鍾就能測試出來。
浮點運算次數百億億次以内,一個小時測試出來。
“好的!”
十分鍾後,葉非指着電腦屏幕,道:“各位請看吧!”
衆人驚訝的看到,浮點運算次數達到3.05億億次數。
“真是3.05億億次數!”衆人驚呼。
“這真是數學算法達到的?”楊思理問道。
其餘人都看向葉非。
葉非點了點頭:“确實是數學算法做到的,現階段隻是我們的實驗階段,在未來幾個月,算力還會快速提升。”
“葉研究員!”這時,一位中年男子沖進來,看到葉非,興奮的道:“算力又突破了。”
“又突破了?”葉非眼前一亮,問道:“這次達到多少?”
實驗過程就是不斷嘗試的過程。
數學算法加入到超算中,葉非也是摸着石頭過河,還好,效果很不錯。
從1.09億億次超算,每過一段時間,就增加幾千萬億次浮點運算次數。
中年男子看一眼那些考察團人,表情猶豫。
葉非笑道:“沒事,說吧!”
他們說的是夏國話,那幫外國人聽不懂,夏國人聽了也沒事。
再說,就算讓那幫外國人聽了也沒事。
讓他們知道浮點運算次數,他們最多就知道一組數字,又不屬于技術洩漏。
中年男子道:“這次增加的多,3.2億億次,增加了0.15億億次。”
“這麽多!”葉非笑道:“不錯!”
“一周就突破0.15億次?”這時,考察團中有一位印國人,道:“騙人的吧!”
這位印國人聽得懂夏國話。
他還記得葉非之前說3.05億億次是一周前的記錄,現在又突破到3.2億億次,那就是一周突破0.15億億次。
如果葉非沒騙人的話,這也太驚人了。
“嗯?”在場夏國人都盯着那位印國人,葉非問道:“你聽得懂夏國話?”
印國人道:“我是在夏國上的大學。”
“奧!”葉非點了點頭:“确實是一周突破0.15億億次。”
在場聽得懂夏國話的人,都驚訝的看着葉非。
“不可能吧!”楊思理教授驚愕的道:“這怎麽可能呢!”
這太驚人了,一周突破0.15億億次,神都做不到。
葉非打開電腦上的算力記錄圖,這個圖無法作假,他是Benchmark上後台記錄。
除非,你費力的重新制作一款Benchmark,然後又費力的在後台制作一個算力記錄圖。
但很少有人做這吃力不讨好的事。
就算做了有什麽意義呢!
“請看吧!”葉非道:“這是我們這兩個月的算力突破情況。”
在場聽不懂夏國話的人,在其餘人解釋下,都看向算力記錄圖。
看完後,他們驚呼道:“這怎麽可能?”
圖上記錄,算力從1.08億億次突破到3.05億億次,隻用了兩個月時間。
對,剛剛又突破到3.2億億次。
兩個月突破了2.12億億次,這不是在做夢吧!
楊思理激動的道:“這真是數學算法做到的??”
“當然!”葉非點頭。
衆人目瞪口呆,沒想到數學算法真的能用于超算中。
而且效果還這麽好。
(本章完)