第126章 我竟然證明了角谷猜想?

趙奕聽羅智金說的厲害,還以為『賀門』是個大『門派』,實際上,『賀門』很小,也只是個『戲娛』的稱呼。

賀明成一輩子都在做研究,不可能有太多時間帶學生。

他幾年才收一個學生,只是看到好苗子心動,培養也只是對學習進行指點,就是告訴學生該學什麼。

比如,袁仲晨。

袁仲晨在燕華大學上大一的時候,圖書館裡遇到的賀明成,兩人說了一會兒,賀明成發現袁仲晨很獨到的見解,差不多等於『看對眼』,他就指導袁仲晨應該學什麼。

袁仲晨大學畢業,就離開了燕華大學。

賀明成覺得袁仲晨是最得意的弟子,其實他就帶了袁仲晨有三年多,也只是告訴他該看什麼書,有不懂的地方幫忙解答一下,也沒要求袁仲晨畢業去幹什麼。

『賀門』,是靠學生闖出的名號。

七年前,賀明成的學生,應化國,他的研究成果獲得國際獎項時,在頒獎的時候說道,「我要感謝我的老師賀明成!我的博士學位是在美國取得的,但賀明成才是我最尊敬的老師,我永遠都是『賀門弟子』。」

這就是『賀門弟子』的由來。

其他人都把賀明成的學生稱為『賀門弟子』,但一個個人頭數出來也不超過十個,放在一起翻不起多大的浪花。

所謂『有本事』,也不過是個研究員、教授、博導之類。

院士就不用想了。

賀明成做了一輩子的研究,也沒混出來一個院士評級。

這些和趙奕還扯不上關係。

當天晚上趙奕回到酒店,仔細的過了一遍論文證明過程,明天就要真正上台演講,來聽講的還都是大佬,他心裡也是有些緊張的。

那好像是……

畢業設計、論文,即將接受嚴格答辯、審查的感覺!

第二天趙奕起的很早。

上午再過一遍論文內容,仔細的看發現沒什麼問題,才有心情出去轉轉。

演講是下午兩點進行。

時間到了中午的時候,就有很多人來到燕華大學,研究生樓下聚集著不少人,好多都是頂尖的計算機人士,還有一些數學、物理等教授也來了,一個計算機的演算法,能吸引這麼多人,還有個原因是『普及性』。

如果是非常專業性質的計算機演算法,能吸引的只有計算機行業人士,其他學科的人不一定能聽明白,也不知道具體有什麼用。

『有效與無關進位篩選』就不同了。

『篩選法』就是在解決魔方計算問題的過程中總結出來的,而魔方計算問題根本不用專業人士,找個初中生,甚至小學生就能明白意思。

當看似簡單的問題,成為了世界難題,關注的人就肯定會多。

所以來的人也有些雜。

時間到了一點左右的時候,趙奕也來到了研究生樓,為了減少不必要的麻煩,他被許超帶著進了會議室里的小間,就一心認真的準備演講。

兩點。

會議室人滿為患。

趙奕準時的走進了會場,兩側攝像機頓時指了過去,他的臉上掛著淡笑,表情出輕鬆自然,隨後控制著電腦,打開了製作好的PPT,並依照計畫好的內容開始演說。

這其實就和拿著台詞演講沒什麼區別,就是把推導好的過程詳細的證明一遍。

本來應該一直順暢的結束,中途提問的時候就不對了。

有個叫李益來的教授,總是問一下刁鑽古怪的問題,他還不斷反覆的詢問,過程中和大學數學、定理有關的步驟。

趙奕解答的很輕鬆。

當知道一些證明定理和結果後,《聯絡率》能幫助他輕鬆解決過程,他在台上侃侃而談,越說就越有自信,讓李益來看的更窩火。

李益來挑毛病也是有原因的。

他的研究項目是和『數據挖掘』有關的演算法,但兩、三年時間都沒什麼進展,好不容易有了一些進展,正打算髮表一篇和優化演算法有關論文,打算以此申請一些科研經費。

論文寫完了。

他的優化演算法論文中,舉的例子就和魔方計算有關,裡面還表示說,使用他的演算法可以大大簡化計算量,只要繼續深入的研究下去,就能找到破解魔方最簡潔的演算法。

這時候魔方計算器出現了。

李益來感覺臉被打的啪啪響,他生氣的差點砸掉了電腦,想想經費申請不下來,一台電腦也是價值不菲,最後還是沒捨得砸下去。

當然。

最重要的是努力成了無用功。

科研領域最怕的就是研究方向相同,方向相同就會導致,有一方的研究會成為無用功。

李益來敗在一個高中生手裡,心裡的憋屈可想而知,他還沒辦法說出來,還要慶幸論文沒有投稿、發表,否則真就成了笑話。

現在看到台上的年輕高中生,其他人都是一臉的『後生可畏』,李益來只感覺鬱悶的吐血。

『有效與無關進位篩選』,可不是簡單就能證明出來的,中途需要給人消化理解的時間,也會給出提問的機會。

李益來就不斷的提問。

李益來專業做演算法研究,能力還是相當不錯的,他提問了幾次以後,忽然皺住了眉頭,隨後再次舉手提問。

其他人都有些看不過去了——

「這個李益來要臉不要!」

「為難一個學生幹什麼,他問的東西都很明顯的,根本不應該問。」

「老不要臉!」

賀明成教授坐在第一排中間,他不但聽得很認真,還低著頭做筆記,發現李益來總是打斷,提的問題還有些可笑,也不由得皺住眉頭。

李益來還是說了出來,他指出了一個真正的問題,「趙奕同學,我注意到你剛才的證明過程,說所有的可能的情況,被分析判定後,都會歸為數字一,也就是只剩下一種可能。」

「這個過程並不嚴謹,你用到了幾個代數的定理,但最後的總結,卻直接得到了結果。」

「如果你的證明過程是對的,不就等於證明了角谷猜想?」

李益來說完有些得意的坐了下來。

會場頓時安靜了。

每個人都在討論剛才的過程,因為過程有些複雜且繞腦,趙奕有一部分是用計算機的方法演示、說明的,其他人並沒有注意到。

李益來提醒了一下,大家馬上都注意到了。

角谷猜想,也叫作冰雹猜想,是一種數學猜想,說一個正整數x,如果是奇數就乘以3再加1,如果是偶數就析出偶數因數2n,這樣經過若干個次數,最終都會回到1。

許多人都聲稱證明了角谷猜想,還發表了一系列的論文,實際上,至今還沒有『被公認嚴謹』的證明過程。

所以猜想依舊只是猜想,而不是能直接運用的定理。

趙奕的證明過程中,用計算機演示、說明,看似過程十分的嚴謹,卻用到了『角谷猜想』的內容。

這並不算錯。

李益來說的證明步驟,是數字無限大的情況下,對每一種可能進行分析判定,運用在魔方上,最多就只有27種扭動情況。

根據日本和美國的數學家攻關研究,小於7*10^11的所有的正整數,都符合角谷猜想的規律,若是再大於7*10^11的數字,差不多只是理論上的數字,計算機想一一判定分析就非常困難了。

另外,計算機和數學不同。

數學需要最為嚴謹的證明,理論上的數字也需要證明,計算機演算法最終的目的是輸出正確的結果。

哪怕是存在一點點的瑕疵,『有效與無關進位篩選法』,放在計算機演算法領域裡,也已經是完善的演算法,可以直接被運用起來。

用數學思維說明有問題,能算是『雞蛋裡挑骨頭』了。

會場議論紛紛。

多數人承認李益來說的問題確實存在,但趙奕的證明過程,在現有的計算機性能下,是完全沒有問題的,而計算機演算法最重要的,就是能夠輸出結果,能運用於實踐比理論更重要。

結果正確,演算法就能應用。

這就足夠了。

台上。

趙奕盯著屏幕上的過程,不斷思考著李益來質疑的話。

角谷猜想?

好像是啊!

如果證明過程是正確的,豈不同時說明角谷猜想是正確的,反之就是不正確的。

但肯定百分百正確!

趙奕相當的有信心,《聯絡率》可不會騙人,他完全理解了證明過程,而『角谷猜想』就只是猜想,不是固有的公式、定理,也絕對不是《聯絡率》使用的『先決條件』。

所以……

趙奕靜靜的思考有五分鐘時間。

台下眾人都以為他受到了打擊,羅智金教授走過來,想過來安慰下他,告訴他計算機和數學不同,不要理會李益來『雞蛋

上一章目錄+書簽下一頁