“博山大學(xué),我有個(gè)同學(xué)在他們的超算中心當(dāng)主任,我向你推薦一下?!?br/>
“太好了,拜托您了?!?br/>
“哪里的話?如果真有一個(gè)反例,你算是古今第一人,我為你這樣的學(xué)生感到驕傲。稍等一下,我給盧主任打個(gè)電話?!?br/>
5分鐘后,通話結(jié)束,吳葉青說(shuō)道:“盧主任已經(jīng)同意進(jìn)行這些計(jì)算,你可以把你的算式發(fā)給他。”
為了表示重視,楊晨決定親自去博山大學(xué)找盧新主任。即刻買(mǎi)了機(jī)票,楊晨第二天就出發(fā)前往南方博州的博山大學(xué)。
微風(fēng)輕拂著博州這座現(xiàn)代化城市,楊晨下了飛機(jī),見(jiàn)到機(jī)場(chǎng)門(mén)口豎著一塊寫(xiě)有“楊晨”的牌子,楊晨微微錯(cuò)愕,舉著牌子的那個(gè)人見(jiàn)楊晨的目光鎖定在他高舉的牌子上,便迎面朝楊晨走了過(guò)去。
“請(qǐng)問(wèn),您就是楊晨嗎?”
得到楊晨肯定的答復(fù),朱俠如釋重負(fù),自我介紹道:“我叫朱俠,是盧新主任派我過(guò)來(lái)接你的。”
并不是每個(gè)人都看過(guò)全國(guó)大學(xué)生未來(lái)之星英語(yǔ)大賽,朱俠便是其中之一。兩人肩并肩行至停車場(chǎng),朱俠有些難以置信,他雖然沒(méi)有見(jiàn)過(guò)楊晨,但聽(tīng)說(shuō)過(guò)楊晨的事跡,揉了揉眼睛說(shuō)道:“你真的是楊晨嗎?不會(huì)騙我吧?”
他有這樣的顧慮,楊晨覺(jué)得很正常,掏出身份證遞給朱俠。朱俠接過(guò)來(lái),確認(rèn)無(wú)誤后,激動(dòng)道:“今天,我終于見(jiàn)到活的了?!?br/>
不多時(shí),車停在了博山大學(xué)停車場(chǎng)。楊晨帶的衣物不多,朱俠要幫楊晨拿,楊晨不好意思,拒絕了。
博山大學(xué)是南方的校園,4月份的天氣,氣溫剛合適,爽朗的風(fēng)輕拂過(guò)來(lái),楊晨摸了摸額前的發(fā)梢,心想這應(yīng)該是個(gè)好兆頭。
在博山大學(xué)超級(jí)計(jì)算中心見(jiàn)到了盧新主任。見(jiàn)到楊晨后,盧新有些愕然,一雙炙熱的目光盯著楊晨,果然英才輩出,長(zhǎng)江后浪推前浪,這么年輕就已經(jīng)碩果累累。
“盧主任好?!睏畛课⑽⒐淼?。
“不必客氣。”
2006年,華國(guó)的超級(jí)運(yùn)算能力入圍數(shù)量排世界第四,僅次于美國(guó),英國(guó)和島國(guó)。而到了2014年,華國(guó)的運(yùn)算能力已經(jīng)趕超英國(guó)和島國(guó)排世界第二,僅次于美國(guó)。今年有趕超美國(guó)的趨勢(shì),而博山大學(xué)超級(jí)計(jì)算中心在全國(guó)范圍內(nèi)名列前茅。
“電話中,老吳已經(jīng)跟我說(shuō)了你的請(qǐng)求,對(duì)于這個(gè)命題,我們也很感興趣。之前我們也試圖運(yùn)用我們超級(jí)計(jì)算機(jī)的強(qiáng)大運(yùn)算能力尋找一個(gè)反例,但沒(méi)有成功,主要是范圍太廣了,這項(xiàng)工作花費(fèi)的時(shí)間太長(zhǎng),占用的資源太多,索性就放下了。現(xiàn)在,你重新提出要研究,我覺(jué)得這是一個(gè)很好的想法,你的算式帶來(lái)了嗎?”
楊晨拿出u盤(pán),遞給了盧新主任,里面存有算式的表格。打開(kāi)u盤(pán),看著一竄竄密密麻麻的算式,盧新主任推了推鼻梁上厚重的眼鏡,微微皺眉。
楊晨詫異的問(wèn)道:“盧主任,有什么問(wèn)題嗎?”
“我只是很好奇,你是如何鎖定在這9986個(gè)算式的?其中一些算式,超級(jí)計(jì)算機(jī)算過(guò),但都沒(méi)有成功,可能范圍太大,你現(xiàn)在把這些算式單獨(dú)拎出來(lái),讓我難以置信。”
“盧主任,您說(shuō)的沒(méi)錯(cuò),我通過(guò)自己的算法鎖定在這9986個(gè)算式上面,如果其中有一個(gè)是反例,我們就成功了?!?br/>
“還好,我們的計(jì)算機(jī)這幾天屬于空閑狀態(tài)。朱俠,你帶楊晨去參觀一下天河2號(hào)計(jì)算機(jī),幫忙分配計(jì)算一下?!?br/>
點(diǎn)了點(diǎn)頭,朱俠帶著楊晨離開(kāi)了盧新主任的辦公室。對(duì)于楊晨的到來(lái),盧新主任顯得格外興奮,如果這其中有一個(gè)歐拉定理的反例,那他們學(xué)校的天河2號(hào)超級(jí)計(jì)算機(jī)就在世界上揚(yáng)名立萬(wàn)了,讓所有人都知道華國(guó)存在這么一臺(tái)超級(jí)計(jì)算機(jī)。
朱俠是這里的研究員,不多時(shí)他們便來(lái)到了超級(jí)計(jì)算中心的研發(fā)大樓。順著電梯一直來(lái)到5樓,停在一間科室前。朱俠掏出鑰匙打開(kāi)門(mén),便看到了一個(gè)超級(jí)計(jì)算機(jī),足足占據(jù)了將近100個(gè)平方。
朱俠自豪的介紹道:“天河2號(hào)由16000個(gè)節(jié)點(diǎn)組成,每個(gè)節(jié)點(diǎn)有2顆基于ivy bridge-e xeon e5 2692處理器和3個(gè)xeon phi,累計(jì)共有32000顆ivy bridge處理器和48000個(gè)xeon phi,總計(jì)有312萬(wàn)個(gè)計(jì)算核心。以每秒3386千萬(wàn)億次比第二名美國(guó)“泰坦”快近一倍的速度?!?br/>
另一個(gè)房間里,十多名研發(fā)人員穿著白大褂,坐在顯示器前,忙著手頭上的工作。
朱俠領(lǐng)著楊晨與這些研發(fā)人員進(jìn)行了相互的介紹,然后分配任務(wù),每名研發(fā)人員負(fù)責(zé)800個(gè)算式,依次輸入電腦。天河2號(hào)計(jì)算機(jī)開(kāi)始運(yùn)行起來(lái)。
來(lái)到外面,楊晨緊張的搓著手掌,問(wèn)道:“這800個(gè)算式算下來(lái)大概需要花多久?”
“應(yīng)該1天就夠了,有了結(jié)果,我們會(huì)在第一時(shí)間通知你?!?br/>
楊晨并未立即返回江滬大學(xué),他要親自見(jiàn)證歷史。半天過(guò)去了,事情沒(méi)有任何進(jìn)展,找不到一個(gè)反例,楊晨有點(diǎn)焦急。
“朱工,還剩下多少個(gè)算式需要驗(yàn)證?”
“還有4000多個(gè)?!?br/>
對(duì)于盧新主任的資助,楊晨相當(dāng)感激,要知道,在別的測(cè)試結(jié)構(gòu)測(cè)試1天估計(jì)幾萬(wàn)人民幣。
突然想到這些,楊晨有點(diǎn)過(guò)意不去。得知楊晨的這個(gè)想法,盧新主任揮了揮手:“不礙事的,我跟老吳是老交情,借用設(shè)備還是可以的。我們也很想驗(yàn)證結(jié)果?!?br/>
終于,晚上七點(diǎn)半的時(shí)候,傳來(lái)一個(gè)好消息,他們發(fā)現(xiàn)了一個(gè)反例。
2682440∧415365639∧4187986∧4=20615673∧4
看到這行算式的時(shí)候,楊晨不由驚呆了,茫茫人海中,終于找到了你。對(duì)盧新主任表達(dá)了感謝,盧新主任還是讓朱俠開(kāi)車送楊晨去飛機(jī)場(chǎng)。當(dāng)天晚上就返回了。
對(duì)于這個(gè)結(jié)果,盧新主任相當(dāng)開(kāi)心,不過(guò)他還是表現(xiàn)得若無(wú)其事,畢竟這個(gè)反例是楊晨最先想到的,沒(méi)有打算先聲奪人。
剛一回去,楊晨就見(jiàn)了吳葉青,顫抖地把那行算式遞給吳葉青教授看,吳葉青教授半信半疑。這個(gè)算式雖然只有4次方,一般普通計(jì)算機(jī)只能算到小數(shù)點(diǎn)后10多位,而超級(jí)計(jì)算機(jī)可以將數(shù)據(jù)編程后統(tǒng)一計(jì)算,不用一個(gè)一個(gè)輸入,有效位數(shù)能算到一千位以上。