第36章 圖靈等價證明成功 (第2/3頁)
大魚食小魚提示您：看後求收藏（品書網www.vodtw.tw），接著再看更方便。
即使讓周教授去寫，他也寫不出來。
因為課題中很多難題是葉非解決的，有些問題至今周教授都沒搞明白。
“不了！”周教授沒覺得自己在這次課題中起多大作用，他不好意思佔通訊作者。
通訊作者雖然比第一作者次一點，但卻掌握著論文的版權。
並且，如果他佔通訊作者這個位置，在外人看來，是他指導葉非寫論文。
他真不好意思說自己指導葉非，是葉非指導自己還差不多。
再說，如果他真佔這麼大便宜，惹惱葉非，下次兩人再也沒合作機會了。
科學的抱大腿方法，需要把控好尺度。
有些便宜可以佔，有些便宜不能佔。
葉非點了點頭，也沒推辭，道：“那你當二作吧！”
“行！”周教授點頭：“驗算完後，我把完整的證明過程發給伱。”
在做課題的時候，所有證明資料有些雜亂，需要事後整理。
而驗算的過程中，剛好可以整理資料。
其中就有完整的證明過程。
“好！”葉非道。
分工已經明確，周教授驗算證明過程，葉非寫論文。
葉非一邊向宿舍走去，一邊心中思索：“圖靈等價問題證明成果，等到論文寫完後，開始與超算中心的合作。”
“對了，這件事不知道能不能設定成任務？”
說著，葉非在系統中設定任務。
【任務：與國家超算沙丘中心合作，創造超算演算法(0)
詳情：以數學演算法創造超算演算法
獎勵：50積分】
“50積分？”葉非驚愕：“積分值是解決圖靈等價這一類難題的一半了，看樣子又是一個難啃的骨頭。”
葉非以為，自己都創造出數學演算法，再以數學演算法去創造超算演算法，應該挺簡單的。
但透過積分值看，難度有些高。
“葉非！”這時，許院長從不遠處走來。
“許院長！”葉非道。
“你準備一下，下個月和我去領獎，你計算機獎獲獎了。”
葉非眼前一亮，連追問道：“獲幾個獎？”
“你猜？”許院長笑道。
葉非搖頭，覺得許院長都五十多歲的人了，還這麼幼稚。
你猜？
你看我猜不猜？
葉非道：“下個月多少號？”
“15號。”
“好！”葉非點頭：“到時候您提前一天打電話給我。”
3月15日，距離現在還有一個月時間。
“行！”許院長點頭，問道：“你今天離開實驗室挺早啊！”
葉非道：“課題研究成功了，剩下的收尾工作全部交給周教授，我回去寫論文。”
“研究成功了？”許院長驚訝：“你是說圖靈等價？”
“嗯！”葉非點頭。
“你真成功了？”許院長驚訝的瞪大眼睛。
那可是圖靈等價，困擾無數數學家和電腦科學家八十六年難題，就這樣被證明出來了？
“真成功了。”葉非道。
“不可能吧！”許院長還是不敢相信。
“你去問問周教授就知道了。”葉非擺擺手道：“我回去了。”
他打了一個哈欠，道：“這段時間都沒睡好覺，我要回去睡一覺。”
證明圖靈等價最後階段，他和周教授沒日沒夜的工作，每天只睡四個小時，除了吃飯和上洗手間，其餘時間都在工作。
說完後，葉非繼續向宿舍走去。
許院長快速向算力實驗室趕去。
