第一百二十六章 我竟然證明了角谷猜想?
趙奕聽羅智金說的厲害，還以為‘賀門’是個大‘門派’，實際上，‘賀門’很小，也只是個‘戲娛’的稱呼。
賀明成一輩子都在做研究，不可能有太多時間帶學生。
他幾年才收一個學生，只是看到好苗子心動，培養也只是對學習進行指點，就是告訴學生該學什么。
比如，袁仲晨。
袁仲晨在燕華大學上大一的時候，圖書館里遇到的賀明成，兩人說了一會兒，賀明成發現袁仲晨很獨到的見解，差不多等于‘看對眼’，他就指導袁仲晨應該學什么。
袁仲晨大學畢業，就離開了燕華大學。
賀明成覺得袁仲晨是最得意的弟子，其實他就帶了袁仲晨有三年多，也只是告訴他該看什么書，有不懂的地方幫忙解答一下，也沒要求袁仲晨畢業去干什么。
‘賀門’，是靠學生闖出的名號。
七年前，賀明成的學生，應化國，他的研究成果獲得國際獎項時，在頒獎的時候說道，“我要感謝我的老師賀明成！我的博士學位是在美國取得的，但賀明成才是我最尊敬的老師，我永遠都是‘賀門弟子’。”
這就是‘賀門弟子’的由來。
其他人都把賀明成的學生稱為‘賀門弟子’，但一個個人頭數出來也不超過十個，放在一起翻不起多大的浪花。
所謂‘有本事’，也不過是個研究員、教授、博導之類。
院士就不用想了。
賀明成做了一輩子的研究，也沒混出來一個院士評級。
這些和趙奕還扯不上關系。
當天晚上趙奕回到酒店，仔細的過了一遍論文證明過程，明天就要真正上臺演講，來聽講的還都是大佬，他心里也是有些緊張的。
那好像是…
畢業設計、論文，即將接受嚴格答辯、審查的感覺！
第二天趙奕起的很早。
上午再過一遍論文內容，仔細的看發現沒什么問題，才有心情出去轉轉。
演講是下午兩點進行。
時間到了中午的時候，就有很多人來到燕華大學，研究生樓下聚集著不少人，好多都是頂尖的計算機人士，還有一些數學、物理等教授也來了，一個計算機的算法，能吸引這么多人，還有個原因是‘普及性’。
如果是非常專業性質的計算機算法，能吸引的只有計算機行業人士，其他學科的人不一定能聽明白，也不知道具體有什么用。
‘有效與無關進位篩選’就不同了。
‘篩選法’就是在解決魔方計算問題的過程中總結出來的，而魔方計算問題根本不用專業人士，找個初中生，甚至小學生就能明白意思。
當看似簡單的問題，成為了世界難題，關注的人就肯定會多。
所以來的人也有些雜。
時間到了一點左右的時候，趙奕也來到了研究生樓，為了減少不必要的麻煩，他被徐超帶著進了會議室里的小間，就一心認真的準備演講。
兩點。
會議室人滿為患。
趙奕準時的走進了會場，兩側攝像機頓時指了過去，他的臉上掛著淡笑，表情出輕松自然，隨后控制著電腦，打開了制作好的PPT，并依照計劃好的內容開始演說。
這其實就和拿著臺詞演講沒什么區別，
就是把推導好的過程詳細的證明一遍。
本來應該一直順暢的結束，中途提問的時候就不對了。
有個叫李益來的教授，總是問一下刁鉆古怪的問題，他還不斷反復的詢問，過程中和大學數學、定理有關的步驟。
趙奕解答的很輕松。
當知道一些證明定理和結果后，《聯絡率》能幫助他輕松解決過程，他在臺上侃侃而談，越說就越有自信，讓李益來看的更窩火。
李益來挑毛病也是有原因的。
他的研究項目是和‘數據挖掘’有關的算法，但兩、三年時間都沒什么進展，好不容易有了一些進展，正打算發表一篇和優化算法有關論文，打算以此申請一些科研經費。
論文寫完了。
他的優化算法論文中，舉的例子就和魔方計算有關，里面還表示說，使用他的算法可以大大簡化計算量，只要繼續深入的研究下去，就能找到破解魔方最簡潔的算法。
這時候魔方計算器出現了。
李益來感覺臉被打的啪啪響，他生氣的差點砸掉了電腦，想想經費申請不下來，一臺電腦也是價值不菲，最后還是沒舍得砸下去。
當然。
最重要的是努力成了無用功。
科研領域最怕的就是研究方向相同，方向相同就會導致，有一方的研究會成為無用功。
李益來敗在一個高中生手里，心里的憋屈可想而知，他還沒辦法說出來，還要慶幸論文沒有投稿、發表，否則真就成了笑話。
現在看到臺上的年輕高中生，其他人都是一臉的‘后生可畏’，李益來只感覺郁悶的吐血。
‘有效與無關進位篩選’，可不是簡單就能證明出來的，中途需要給人消化理解的時間，也會給出提問的機會。
李益來就不斷的提問。
李益來專業做算法研究，能力還是相當不錯的，他提問了幾次以后，忽然皺住了眉頭，隨后再次舉手提問。
其他人都有些看不過去了 “這個李益來要臉不要！”
“為難一個學生干什么，他問的東西都很明顯的，根本不應該問。”
“老不要臉！”
賀明成教授坐在第一排中間，他不但聽得很認真，還低著頭做筆記，發現李益來總是打斷，提的問題還有些可笑，也不由得皺住眉頭。
李益來還是說了出來，他指出了一個真正的問題，“趙奕同學，我注意到你剛才的證明過程，說所有的可能的情況，被分析判定后，都會歸為數字一，也就是只剩下一種可能。”
“這個過程并不嚴謹，你用到了幾個代數的定理，但最后的總結，卻直接得到了結果。”
“如果你的證明過程是對的，不就等于證明了角谷猜想？”
李益來說完有些得意的坐了下來。
會場頓時安靜了。
每個人都在討論剛才的過程，因為過程有些復雜且繞腦，趙奕有一部分是用計算機的方法演示、說明的，其他人并沒有注意到。
李益來提醒了一下，大家馬上都注意到了。
角谷猜想，也叫作冰雹猜想，是一種數學猜想，說一個正整數x，如果是奇數就乘以3再加1，如果是偶數就析出偶數因數2，這樣經過若干個次數，最終都會回到1。
許多人都聲稱證明了角谷猜想，還發表了一系列的論文，實際上，至今還沒有‘被公認嚴謹’的證明過程。
所以猜想依舊只是猜想，而不是能直接運用的定理。
趙奕的證明過程中，用計算機演示、說明，看似過程十分的嚴謹，卻用到了‘角谷猜想’的內容。
這并不算錯。
李益來說的證明步驟，是數字無限大的情況下，對每一種可能進行分析判定，運用在魔方上，最多就只有27種扭動情況。
根據日本和美國的數學家攻關研究，小于71011的所有的正整數，都符合角谷猜想的規律，若是再大于71011的數字，差不多只是理論上的數字，計算機想一一判定分析就非常困難了。
另外，計算機和數學不同。
數學需要最為嚴謹的證明，理論上的數字也需要證明，計算機算法最終的目的是輸出正確的結果。
哪怕是存在一點點的瑕疵，‘有效與無關進位篩選法’，放在計算機算法領域里，也已經是完善的算法，可以直接被運用起來。
用數學思維說明有問題，能算是‘雞蛋里挑骨頭’了。
會場議論紛紛。
多數人承認李益來說的問題確實存在，但趙奕的證明過程，在現有的計算機性能下，是完全沒有問題的，而計算機算法最重要的，就是能夠輸出結果，能運用于實踐比理論更重要。
結果正確，算法就能應用。
這就足夠了。
臺上。
趙奕盯著屏幕上的過程，不斷思考著李益來質疑的話。
角谷猜想？
好像是啊！
如果證明過程是正確的，豈不同時說明角谷猜想是正確的，反之就是不正確的。
但肯定百分百正確！
趙奕相當的有信心，《聯絡率》可不會騙人，他完全理解了證明過程，而‘角谷猜想’就只是猜想，不是固有的公式、定理，也絕對不是《聯絡率》使用的‘先決條件’。
所以…
趙奕靜靜的思考有五分鐘時間。
臺下眾人都以為他受到了打擊，羅智金教授走過來，想過來安慰下他，告訴他計算機和數學不同，不要理會李益來‘雞蛋里挑骨頭’的廢話。
這時趙奕抬起了頭，認真看著李益來，隨后干脆站了起來，邁步走到李益來的面前。
其他人讓出了一條路。
“拉住他！”有人忽然喊了一聲，“別讓他打人啊！現在這小年輕可說不好！”
“趕緊的！”
“李教授，小心！”
李益來聽到喊聲嚇的往后推了一步，只是后面是椅子根本無路可退，他可都有五十多歲了，身體遠算不上硬朗，可禁不住小年輕的一拳。
趙奕終于有了動作。
他激動的抓住李益來的手，非常認真說道，“謝謝你！李教授！謝謝你！真的很感謝。”
“啊？”
李益來有點懵。
趙奕深吸一口氣道，“要不是你提醒，我都沒有發現，我竟然證明了角谷猜想！”