2023年2月15日,算力實驗室!
“如果將模糊Zadeh算子的定義域擴大,就可以重新定義模糊極大極小算子,使得滿足交換律、結合律和零元律。“
葉非皺眉思索的看著面前寫滿公式的紙:“就可以求出圖靈等價。”
現在他們已經研究到最后一步,而最后一步他們已經研究一周。
經過許多次失敗后,葉非昨天想到利用模糊算子、神經網絡和遞歸函數,求出圖靈等價。
因為圖靈等價還未證明出來,但模糊極大極小算子神經元網絡已經被證明出來。
而模糊極大極小神經元網絡的計算能力和圖靈機類似。
所以,就可以用模糊極大極小神經元網絡替換圖靈機,就可以求出圖靈等價。
現在關鍵是如何替換。
“周教授,來,我們用Godel-Kleen部分遞歸函數來求證。”
“好!”
研究到這一步,周教授感覺已經跟不上葉非的思路,葉非說什么他就做什么。
此時,他就是一個機器人,毫無感情的執行葉非下達的一切命令。
和葉非待的時間越久,他越發現葉非的天才。
而自己只是一個只知道執行命令的廢物。
對,和葉非在一起,你別有思想,只把自己當廢物。
如果有思想,最終你會發現,最終自己還是廢物。
既然如此,不如一開始就把自己當廢物。
反正,最后課題會研究出來,只需要耐心等著享受成果。
周教授不會像葉非的導師魯一山一樣,魯一山會反思自己為何廢物。
而周教授不會,他是完全把自己當廢物。
魯一山會因為自己在課題中起不到太大作用而難過,但周教授不會。
既然起不到太大作用,就聽葉非的命令,抱大腿完成課題。
魯一山會因為葉非太天才,而不想和他合作。
周教授不會,越天才越好,越天才自己要更加抱緊大腿,多多合作。
他還想著,圖靈等價證明出來后,下一次兩人再次合作。
下午五點!
【圖靈等價任務完成
獎勵:100積分】
“呼……”葉非長呼一口氣,看著身旁的周教授,笑道:“周教授,我們成功了。”
“啊……”周教授如夢初醒,問道:“成功了嗎?”
“嗯!”葉非點頭:“成功了,你看這一步。”
說著葉非指著紙上的一段公式。
“當相等判定函數與布爾選擇函數合在一起,模糊極大極小神經元網絡就可以替換圖靈機,也就證明出圖靈等價。”
葉非笑道:“接下來的收尾工作交給你了。”
下面是驗算,經過系統的提醒,他知道,他的證明是成功的。
但驗算是每一個證明后必定要走的程序,所以,他把這個任務交給周教授。
“沒問題!”周教授笑道。
圖靈等價大部分工作是葉非做的,所以,為了抱緊大腿,其余工作周教授會做。
“論文通訊作者你要來當嗎?”葉非問道。
每一個難題被證明后必定要寫論文,葉非沒問周教授誰寫論文。
誰寫論文倒不是說費心費力。
而是寫論文的人必定是論文第一作者,第一作者在論文中是最重要的,這位置葉非不會讓出去。
雖然一作可以同時有多人,但必須是多人在論文中的貢獻相等,才能多人。
可是課題研究大部分功勞是葉非的,所以一作只能是葉非一人。
即使讓周教授去寫,他也寫不出來。
因為課題中很多難題是葉非解決的,有些問題至今周教授都沒搞明白。
“不了!”周教授沒覺得自己在這次課題中起多大作用,他不好意思占通訊作者。
通訊作者雖然比第一作者次一點,但卻掌握著論文的版權。
并且,如果他占通訊作者這個位置,在外人看來,是他指導葉非寫論文。
他真不好意思說自己指導葉非,是葉非指導自己還差不多。
再說,如果他真占這么大便宜,惹惱葉非,下次兩人再也沒合作機會了。
科學的抱大腿方法,需要把控好尺度。
有些便宜可以占,有些便宜不能占。
葉非點了點頭,也沒推辭,道:“那你當二作吧!”
“行!”周教授點頭:“驗算完后,我把完整的證明過程發給你。”
在做課題的時候,所有證明資料有些雜亂,需要事后整理。
而驗算的過程中,剛好可以整理資料。
其中就有完整的證明過程。
“好!”葉非道。
分工已經明確,周教授驗算證明過程,葉非寫論文。
葉非一邊向宿舍走去,一邊心中思索:“圖靈等價問題證明成果,等到論文寫完后,開始教百度公司的員工和與超算中心的合作。”
葉非的算法創造法是被百度買走的,一半的錢已經在一周前打到。
“對了,這兩件事不知道能不能設置成任務?”
說著,葉非在系統中設置任務。
【任務:教導百度公司員工圖計算法創造法
詳情:理解圖計算法原理
獎勵:5積分】
“這么少?”葉非詫異:“看樣子不是解決難題,積分獎勵非常少。”
“再試試這個。”
【任務:與國家超算沙丘中心合作,創造超算算法
詳情:以數學算法創造超算算法
獎勵:50積分】
“50積分?”葉非驚愕:“積分值是解決圖靈等價這一類難題的一半了,看樣子又是一個難啃的骨頭。”
葉非以為,自己都創造出數學算法,再以數學算法去創造超算算法,應該挺簡單的。
但通過積分值看,難度有些高。
“葉非!”這時,許院長從不遠處走來。
“許院長!”葉非道。
“你準備一下,這個月月底和我去領獎,你計算機獎獲獎了。”
葉非眼前一亮,連追問道:“獲幾個獎”
“你猜?”許院長笑道。
葉非搖頭,覺得許院長都五十多歲的人了,還這么幼稚。
你猜?
你看我猜不猜?
葉非道:“月底多少號?”
“28號。”
“好!”葉非點頭:“到時候您提前一天打電話給我。”
2月28日,距離現在還有將近半月時間。
“行!”許院長點頭,問道:“你今天離開實驗室挺早啊!”
葉非道:“課題研究成功了,剩下的收尾工作全部交給周教授,我回去寫論文。”
“研究成功了?”許院長驚訝:“你是說圖靈等價?”
“嗯!”葉非點頭。
“你真成功了?”許院長驚訝的瞪大眼睛。
那可是圖靈等價,困擾無數數學家和計算機科學家八十六年難題,就這樣被證明出來了?
“真成功了。”葉非道。
“不可能吧!”許院長還是不敢相信。
“你去問問周教授就知道了。”葉非擺擺手道:“我回去了。”
他打了一個哈欠,道:“這段時間都沒睡好覺,我要回去睡一覺。”
證明圖靈等價最后階段,他和周教授沒日沒夜的工作,每天只睡四個小時,除了吃飯和上洗手間,其余時間都在工作。
說完后,葉非繼續向宿舍走去。
許院長快速向算力實驗室趕去。
等到算力實驗室后,求證周教授真的證明出圖靈等價。
他驚呼道:“竟然真的成功了,周教授,你可不能騙我。”
“我騙你做什么?”周教授不耐煩的道:“過幾天葉非的論文就寫好了,你到時候就能看到了。”
“真證明出來了。”許院長驚訝的道。
他倒吸一口涼氣,心中震驚:“很少見過有人在兩個領域內都是頂級天才,而葉非就是。”
“他不僅是數學頂級天才,也是計算機頂級天才。”
“怎么才能把他挖來呢?”
許院長心中宛若百爪撓心,對葉非更加垂涎三尺。
無盡的昏迷過后,時宇猛地從床上起身。想要看最新章節內容,請下載星星閱讀app,無廣告免費閱讀最新章節內容。網站已經不更新最新章節內容,已經星星閱讀小說APP更新最新章節內容。
他大口的呼吸起新鮮的空氣,胸口一顫一顫。
迷茫、不解,各種情緒涌上心頭。
這是哪?
隨后,時宇下意識觀察四周,然后更茫然了。
一個單人宿舍?
就算他成功得到救援,現在也應該在病房才對。
還有自己的身體……怎么會一點傷也沒有。
帶著疑惑,時宇的視線快速從房間掃過,最終目光停留在了床頭的一面鏡子上。
鏡子照出他現在的模樣,大約十七八歲的年齡,外貌很帥。
可問題是,這不是他!下載星星閱讀app,閱讀最新章節內容無廣告免費
之前的自己,是一位二十多歲氣宇不凡的帥氣青年,工作有段時間了。
而現在,這相貌怎么看都只是高中生的年紀……
這個變化,讓時宇發愣很久。
千萬別告訴他,手術很成功……
身體、面貌都變了,這根本不是手術不手術的問題了,而是仙術。
他竟完全變成了另外一個人!
難道……是自己穿越了?
除了床頭那擺放位置明顯風水不好的鏡子,時宇還在旁邊發現了三本書。
時宇拿起一看,書名瞬間讓他沉默。
《新手飼養員必備育獸手冊》
《寵獸產后的護理》
《異種族獸耳娘評鑒指南》
時宇:???
前兩本書的名字還算正常,最后一本你是怎么回事?
“咳。”
時宇目光一肅,伸出手來,不過很快手臂一僵。
就在他想翻開第三本書,看看這究竟是個什么東西時,他的大腦猛地一陣刺痛,大量的記憶如潮水般涌現。
冰原市。
寵獸飼養基地。
實習寵獸飼養員。網站即將關閉,下載星星閱讀app為您提供大神大魚食小魚的從大學學霸到首席院士
御獸師?