第一百二十六章 我竟然證明了角谷猜想?

作者︰不吃小南瓜投推薦票 章節目錄 加入書簽

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

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

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

比如,袁仲晨。

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

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

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

‘賀門’,是靠學生闖出的名號。

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

這就是‘賀門弟子’的由來。

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

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

院士就不用想了。

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

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

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

那好像是……

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

第二天趙奕起的很早。

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

演講是下午兩點進行。

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

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

‘有效與無關進位篩選’就不同了。

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

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

所以來的人也有些雜。

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

兩點。

會議室人滿為患。

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

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

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

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

趙奕解答的很輕松。

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

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

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

論文寫完了。

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

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

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

當然。

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

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

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

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

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

李益來就不斷的提問。

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

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

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

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

「老不要臉!」

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

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

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

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

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

會場頓時安靜了。

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

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

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

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

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

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

這並不算錯。

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

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

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

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

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

用數學思維說明有問題,能算是‘雞蛋里挑骨頭’了。

會場議論紛紛。

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

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

這就足夠了。

台上。

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

角谷猜想?

好像是啊!

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

但肯定百分百正確!

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

所以……

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

台下眾人都以為他受到了打擊,羅智金教授走過來,想過來安慰下他,告訴他計算機和數學不同,不要理會李益來‘雞蛋里挑骨頭’的廢話。

這時趙奕抬起了頭,認真看著李益來,隨後干脆站了起來,邁步走到李益來的面前。

其他人讓出了一條路。

「拉住他!」有人忽然喊了一聲,「別讓他打人啊!現在這小年輕可說不好!」

「趕緊的!」

「李教授,小心!」

李益來听到喊聲嚇的往後推了一步,只是後面是椅子根本無路可退,他可都有五十多歲了,身體遠算不上硬朗,可禁不住小年輕的一拳。

趙奕終于有了動作。

他激動的抓住李益來的手,非常認真說道,「謝謝你!李教授!謝謝你!真的很感謝。」

「啊?」

李益來有點懵。

趙奕深吸一口氣道,「要不是你提醒,我都沒有發現,我竟然證明了角谷猜想!」

溫馨提示︰方向鍵左右(← →)前後翻頁,上下(↑ ↓)上下滾用, 回車鍵:返回列表

投推薦票 上一章章節目錄下一章 加入書簽