第32章 與國家超算沙丘中心合作
從大學學霸到首席院士 作者：大魚食小魚 投票推薦 加入書簽 留言反饋
2023年1月1日，清晨！
剛打開宿舍門，葉非就看到外麵下了一夜的雪。
“這不知不覺又一年過去了。”
今天是元旦，2023年的第一天。
這段時間，關於圖計算法售賣，賀興還在和各大公司商談。
已經談了一周，現在談到一千五百萬。
每一次百度都跟著加價，要不是有百度在後麵逼迫，可能一千最高談到一千三百萬。
葉非預估，還要再談半個月時間。
葉非想的是，這價格可以了。
但賀興不同意，他想談更高的價格。
畢竟，每多一百萬，他的提成就多三萬。
所以，為了拿到最多的提成，賀興以最大可能，將價格談到最高。
葉非無所謂，反正不是自己付錢，也不是自己去談。
隻要不談崩了，總價格高於一千萬，賀興隨便談。
到食堂吃過早飯後，葉非向算力實驗室走去。
現階段，圖靈等價他們已經研究到自由群這步驟。
葉非預估，以現階段的速度，再有一個多月時間差不多就完成了。
當然，科學的研究不能用時間去衡量。
也許，到後麵就被某個困難卡住，研究停滯了。
“對了，今年好像一月份就過年了。”葉非心道：“火車票要提前買，不然到時候就沒票回家了。”
說著葉非就拿出手機，準備買火車票。
但他又想到自己現在有錢了。
“我有錢還買什麽火車票，直接坐飛機回去。”
說完，他買了一張飛回金陵的飛機票。
片刻後，他進入算力實驗室。
上午十點左右。
周教授道：“要找到自由群中的維數為9的冪單性，我看就用子群替換的方法。”
葉非道：“子群替換的方法雖然不錯，但我覺得用組合群論的方法更好。”
“為什麽？”周教授問道。
“你想啊，用組合群論的方法尋找本原元，通過對不同jordan標準形和冪單矩陣，再利用計算機軟件輔助計算，就能找到自由群中的維數為9的冪單性。”
周教授眼前一亮，笑道：“好像是可以，那就試試。”
實驗就是從無數嚐試中尋找真理。
兩人的實驗也是有錯誤的，葉非提出的很多觀點也有很多錯誤。
但葉非往往能從錯誤中快速找到正確的方法。
所以，往往周教授大部分會采用葉非的方法。
這時，計算機學院院長許景義到來，後麵跟著數學學院院長肖國慶。
現在肖院長的一部分工作是盯著許院長。
雖然上次葉非拒絕了許院長的邀請，但肖院長知道，許景義肯定不會善罷甘休。
要是葉非真被他挖過去，他後悔都來不及。
所以，他就派人跟著許景義，隻要許景義去找葉非，讓那人趕緊打電話給他，他以最快的速度趕到。
這不，今天許院長剛靠近算力實驗室，肖院長就騎電瓶車快速趕到。
周教授看著來到的兩人道：“我說兩位院長，你們能別三天兩頭的來我這嗎？”
許院長看他一眼道：“我又不是來看你的。”
他看向葉非笑道：“我今天有正事找葉非。”
“正事？”葉非疑惑。
肖院長不屑的道：“你又想到什麽餿主意？”
許院長看他一眼，不高興的道：“什麽叫餿主意，你能別說話這麽難聽。”
“你都要挖我學院學生了，我不打伱就算不錯了。”
“不和你廢話了。”許院長道：“我今天是帶著任務來的。”
他看向葉非，道：“葉非，我受國家超算沙丘中心的委托，邀請你與超算中心合作，創造超算數學算法。”
“出價一千萬！”
在夏國有八個國家超算中心，分別在津門、花城、鵬城、沙丘、濟城、錫城、鄭城和蘇城。
沙丘的國家超算中心就在中湖大學內。
2010年，以津門國家超算中心天河一號為計算設備，在中湖大學內建設。
2014年運行。
沙丘國家超算中心屬於中湖大學國家級重點工程項目。
全球具有千萬億計算能力的超算隻有七個，夏國的津門超算中心的天河一號，正是其中之一。
而沙丘的超算中心的超算是根據天河一號計算設備而建設的。
理論上來說，是有資格達到津門天河一號一樣的計算能力。
這也是沙丘國家超算中心一直努力的目標。
葉非點了點頭：“沒問題！”
葉非是一位愛國的人，外國超算算法他不會幫忙創造，但夏國的肯定會幫忙。
再說，這次合作的超算中心就在中湖大學內，相當於自家人找幫忙，他一定幫忙。
許院長拍了拍葉非的肩膀，笑道：“好好幹，我們計算機學院隨時歡迎你。”
許院長想的是，既然葉非不去計算機學院。
那麽就先讓葉非和國家超算中心合作一次。
說不定，在合作期間，葉非就對計算機感興趣了，之後就來計算機學院了。
這也不是沒有可能。
而且，葉非和國家超算中心合作，肖院長也沒法阻止。
升級國家超算中心算力，利國利民。
肖院長沒理由阻止。
如果他阻止，他告到校長那，校長也會要求肖院長乖乖交出葉非。
肖院長看著笑顏如花的許院長，咬牙切齒。
自己千算萬算，就沒算到他能利用國家超算中心。
但葉非和國家超算中心合作，自己還真不能阻止。
許院長這算是陽謀，自己隻能吃這啞巴虧。
許院長笑道：“你看什麽時候有時間，我讓你和超算中心的首席科學家陶家禮院士見一麵。”
中湖大學數學學院沒院士，但超算中心有。
國家超算中心在中湖大學是一個特殊存在。
它是和中湖大學合作，但不屬於中湖大學。
葉非想了一下，道：“最近沒時間，等到我這階段科研結束吧！”
“還有，和超算中心合作，也要等這階段的研究結束，才能和他們合作。”
“沒問題！”許院長問道：“那你研究什麽時候結束？”
“再有一個多月，差不多是年後二月中旬。”
“葉非！”肖院長道：“我看你先把圖靈等價研究完，再和超算中心合作。”
“研究完圖靈等價，還有利於和超算中心的合作。”
他以為葉非說的這階段研究結束，以為是圖靈等價階段性研究結束，而不是全部結束。
肖院長想的是，既然無法阻止葉非和超算中心合作，那就拖延時間。
利用這個時間，他要想到穩住葉非的辦法，不能讓計算機學院把葉非挖去。
許院長看一眼肖院長，冷哼一聲。
葉非道：“一個多月後，圖靈等價差不多全部研究結束。”
“什麽？”肖院長驚愕的道：“你是說一個多月後圖靈等價研究全部結束？”
“是啊！”葉非點頭。
許院長驚訝的道：”葉非，你沒開玩笑吧，那可是圖靈等價，你好像從研究圖靈等價到現在隻有一個月時間吧！”
許院長和肖院長都有調查過葉非最近的研究。
“嗯！”葉非點頭：“是一個月時間。”
“那你就花兩個多月就要結束圖靈等價了？”許院長道：“你可別騙我，我是搞計算機的，也是懂圖靈等價的。”
葉非道：“我們現在已經研究到自由群了，現在還有三個難題沒解決。”
“分別是乘積空間、移位尋找群作用和圖靈等價關係。”
“在這之前一個月，已經解決了可計算性理論和集合論的結合，還有可數波雷爾等價關係。”
“這麽快！”許院長和肖院長驚訝的道。
周教授撇嘴，不屑的道：“這有什麽大驚小怪的，我和葉非合作，研究速度能不快嗎！”
“要不是葉非要過年回家，我們這進度一個月就能完成。”
他還有一句話沒說，要不是他一開始浪費半個月，現在他們已經研究到乘積空間了。
當然，這話他肯定不會說。
許院長沒理周教授，你周康什麽水平，別人不知道，我還不知道嗎！
憑你的水平，肯定不能讓研究速度這麽快。
那麽，隻有是因為葉非，研究速度才這麽快的。
許院長和肖院長，心中震驚，他們以前一直震驚於葉非解決一個個世界難題。
但現在發現，真正應該震驚的是葉非研究的速度。
“真是天才，要是按照這研究速度，未來……”兩人心中想到葉非的未來，都深深震撼。
“一定要留下葉非！”兩人心中狠狠發誓。
接著兩人好似心有靈犀，互相對視一眼，充滿鬥誌。
剛打開宿舍門，葉非就看到外麵下了一夜的雪。
“這不知不覺又一年過去了。”
今天是元旦，2023年的第一天。
這段時間，關於圖計算法售賣，賀興還在和各大公司商談。
已經談了一周，現在談到一千五百萬。
每一次百度都跟著加價，要不是有百度在後麵逼迫，可能一千最高談到一千三百萬。
葉非預估，還要再談半個月時間。
葉非想的是，這價格可以了。
但賀興不同意，他想談更高的價格。
畢竟，每多一百萬，他的提成就多三萬。
所以，為了拿到最多的提成，賀興以最大可能，將價格談到最高。
葉非無所謂，反正不是自己付錢，也不是自己去談。
隻要不談崩了，總價格高於一千萬，賀興隨便談。
到食堂吃過早飯後，葉非向算力實驗室走去。
現階段，圖靈等價他們已經研究到自由群這步驟。
葉非預估，以現階段的速度，再有一個多月時間差不多就完成了。
當然，科學的研究不能用時間去衡量。
也許，到後麵就被某個困難卡住，研究停滯了。
“對了，今年好像一月份就過年了。”葉非心道：“火車票要提前買，不然到時候就沒票回家了。”
說著葉非就拿出手機，準備買火車票。
但他又想到自己現在有錢了。
“我有錢還買什麽火車票，直接坐飛機回去。”
說完，他買了一張飛回金陵的飛機票。
片刻後，他進入算力實驗室。
上午十點左右。
周教授道：“要找到自由群中的維數為9的冪單性，我看就用子群替換的方法。”
葉非道：“子群替換的方法雖然不錯，但我覺得用組合群論的方法更好。”
“為什麽？”周教授問道。
“你想啊，用組合群論的方法尋找本原元，通過對不同jordan標準形和冪單矩陣，再利用計算機軟件輔助計算，就能找到自由群中的維數為9的冪單性。”
周教授眼前一亮，笑道：“好像是可以，那就試試。”
實驗就是從無數嚐試中尋找真理。
兩人的實驗也是有錯誤的，葉非提出的很多觀點也有很多錯誤。
但葉非往往能從錯誤中快速找到正確的方法。
所以，往往周教授大部分會采用葉非的方法。
這時，計算機學院院長許景義到來，後麵跟著數學學院院長肖國慶。
現在肖院長的一部分工作是盯著許院長。
雖然上次葉非拒絕了許院長的邀請，但肖院長知道，許景義肯定不會善罷甘休。
要是葉非真被他挖過去，他後悔都來不及。
所以，他就派人跟著許景義，隻要許景義去找葉非，讓那人趕緊打電話給他，他以最快的速度趕到。
這不，今天許院長剛靠近算力實驗室，肖院長就騎電瓶車快速趕到。
周教授看著來到的兩人道：“我說兩位院長，你們能別三天兩頭的來我這嗎？”
許院長看他一眼道：“我又不是來看你的。”
他看向葉非笑道：“我今天有正事找葉非。”
“正事？”葉非疑惑。
肖院長不屑的道：“你又想到什麽餿主意？”
許院長看他一眼，不高興的道：“什麽叫餿主意，你能別說話這麽難聽。”
“你都要挖我學院學生了，我不打伱就算不錯了。”
“不和你廢話了。”許院長道：“我今天是帶著任務來的。”
他看向葉非，道：“葉非，我受國家超算沙丘中心的委托，邀請你與超算中心合作，創造超算數學算法。”
“出價一千萬！”
在夏國有八個國家超算中心，分別在津門、花城、鵬城、沙丘、濟城、錫城、鄭城和蘇城。
沙丘的國家超算中心就在中湖大學內。
2010年，以津門國家超算中心天河一號為計算設備，在中湖大學內建設。
2014年運行。
沙丘國家超算中心屬於中湖大學國家級重點工程項目。
全球具有千萬億計算能力的超算隻有七個，夏國的津門超算中心的天河一號，正是其中之一。
而沙丘的超算中心的超算是根據天河一號計算設備而建設的。
理論上來說，是有資格達到津門天河一號一樣的計算能力。
這也是沙丘國家超算中心一直努力的目標。
葉非點了點頭：“沒問題！”
葉非是一位愛國的人，外國超算算法他不會幫忙創造，但夏國的肯定會幫忙。
再說，這次合作的超算中心就在中湖大學內，相當於自家人找幫忙，他一定幫忙。
許院長拍了拍葉非的肩膀，笑道：“好好幹，我們計算機學院隨時歡迎你。”
許院長想的是，既然葉非不去計算機學院。
那麽就先讓葉非和國家超算中心合作一次。
說不定，在合作期間，葉非就對計算機感興趣了，之後就來計算機學院了。
這也不是沒有可能。
而且，葉非和國家超算中心合作，肖院長也沒法阻止。
升級國家超算中心算力，利國利民。
肖院長沒理由阻止。
如果他阻止，他告到校長那，校長也會要求肖院長乖乖交出葉非。
肖院長看著笑顏如花的許院長，咬牙切齒。
自己千算萬算，就沒算到他能利用國家超算中心。
但葉非和國家超算中心合作，自己還真不能阻止。
許院長這算是陽謀，自己隻能吃這啞巴虧。
許院長笑道：“你看什麽時候有時間，我讓你和超算中心的首席科學家陶家禮院士見一麵。”
中湖大學數學學院沒院士，但超算中心有。
國家超算中心在中湖大學是一個特殊存在。
它是和中湖大學合作，但不屬於中湖大學。
葉非想了一下，道：“最近沒時間，等到我這階段科研結束吧！”
“還有，和超算中心合作，也要等這階段的研究結束，才能和他們合作。”
“沒問題！”許院長問道：“那你研究什麽時候結束？”
“再有一個多月，差不多是年後二月中旬。”
“葉非！”肖院長道：“我看你先把圖靈等價研究完，再和超算中心合作。”
“研究完圖靈等價，還有利於和超算中心的合作。”
他以為葉非說的這階段研究結束，以為是圖靈等價階段性研究結束，而不是全部結束。
肖院長想的是，既然無法阻止葉非和超算中心合作，那就拖延時間。
利用這個時間，他要想到穩住葉非的辦法，不能讓計算機學院把葉非挖去。
許院長看一眼肖院長，冷哼一聲。
葉非道：“一個多月後，圖靈等價差不多全部研究結束。”
“什麽？”肖院長驚愕的道：“你是說一個多月後圖靈等價研究全部結束？”
“是啊！”葉非點頭。
許院長驚訝的道：”葉非，你沒開玩笑吧，那可是圖靈等價，你好像從研究圖靈等價到現在隻有一個月時間吧！”
許院長和肖院長都有調查過葉非最近的研究。
“嗯！”葉非點頭：“是一個月時間。”
“那你就花兩個多月就要結束圖靈等價了？”許院長道：“你可別騙我，我是搞計算機的，也是懂圖靈等價的。”
葉非道：“我們現在已經研究到自由群了，現在還有三個難題沒解決。”
“分別是乘積空間、移位尋找群作用和圖靈等價關係。”
“在這之前一個月，已經解決了可計算性理論和集合論的結合，還有可數波雷爾等價關係。”
“這麽快！”許院長和肖院長驚訝的道。
周教授撇嘴，不屑的道：“這有什麽大驚小怪的，我和葉非合作，研究速度能不快嗎！”
“要不是葉非要過年回家，我們這進度一個月就能完成。”
他還有一句話沒說，要不是他一開始浪費半個月，現在他們已經研究到乘積空間了。
當然，這話他肯定不會說。
許院長沒理周教授，你周康什麽水平，別人不知道，我還不知道嗎！
憑你的水平，肯定不能讓研究速度這麽快。
那麽，隻有是因為葉非，研究速度才這麽快的。
許院長和肖院長，心中震驚，他們以前一直震驚於葉非解決一個個世界難題。
但現在發現，真正應該震驚的是葉非研究的速度。
“真是天才，要是按照這研究速度，未來……”兩人心中想到葉非的未來，都深深震撼。
“一定要留下葉非！”兩人心中狠狠發誓。
接著兩人好似心有靈犀，互相對視一眼，充滿鬥誌。