第一百三十七章 雜志上的角谷猜想證明
在燕華大學做‘趙氏篩選法’的演講過程中，趙奕說起自己破解了角谷猜想，李益來抱著寧可信其有的態度，回去以后就開始認真的研究，爭取能先一步發表論文。
這很無恥。
李益來可不在乎無恥不無恥。
趙奕的‘篩選法’讓幾年的努力付之東流，他對趙奕可以說沒有任何好感，而破解數學猜想的誘惑實在太大了。
等角谷猜想變成了‘李氏定理’，任誰談到都能想到他的名字，甚至可能憑此去角逐數學界最頂級的‘菲爾茨獎’，他會被公認為世界頂級的數學家，以此直接退休都算是人生圓滿。
其他的誰還在乎呢？
社會就是這樣。
勝者為王，失敗的人再掙扎也會被淡忘，或許一段時間會出現爭議，但時間長了就沒有人再去談了。
李益來抱著巨大的憧憬去研究，他覺得趙奕當時不像是說謊，肯定已經證明出了角谷猜想，而證明方向就是二進制演示，其他過程也肯定隱藏在‘趙式篩選法’中。
廢寢忘食！
頭懸梁、錐刺股…
李益來的鉆研精神還是值得肯定的，但是努力卻不一定就有收獲，他不斷梳理著‘趙氏篩選法’的證明過程，從頭到尾仔細的研究了好幾遍，也沒有找出具體該怎么證明。
“這不對！”
“根本一點進展都沒有！”
“那小子在騙人？”
李益來越想越感覺不對勁，世界級的數學難題哪有那么容易證明？
雖然那小子研究出了很有意思的‘篩選法’，但多數要歸功在出奇的思路上，數學猜想的難度要高上幾個級別，幾十年來無數頂尖的數學家，都對角谷猜想有過研究，卻還是沒有證明出來。
所以…他是被耍了？
李益來想明白以后，生氣的撕掉了所有稿紙，幾天的努力再次付之東流，他覺得自己像是個猴子，被耍的團團轉還不自知。
同時。
其他抱著和李益來同樣想法的人，也都覺得是被趙奕忽悠了，他們研究來研究去，發現二進制演示和十進制也沒有區別。
這只是表示方式不同。
比如，一個函數名是f（x）ab，把x換成y，把a、b換成c、d，也就變成了f（y）cd，和原來的函數也沒有區別。
思路，還是沒有。
有的氣不過的人，還找不到報復的方法，他們學術界的人脈都不管用了，因為趙奕只是個高中生，都可以說是‘無欲無求’，人脈關系再厲害，還能不讓他上大學？
別說做的到、做不到，不讓趙奕讓國內的大學，國外的大學巴不得他去呢！
他們只能到網上去噴。
一個、兩個人噴根本沒有效果，李益來還雇傭了網絡水軍，專門去說‘趙奕不懂數學’、‘趙奕到演講上亂說，一點都不尊重學術’之類。
這有點用處。
《腦力大爆炸》節目嘉賓李霖，就覺得找到了批評趙奕的點。
上一次趙奕說明魔方步驟的時候，李霖以專業的角度質疑，說魔方打亂不可能完全公正，接下來就被趙奕的魔方計算機打臉。
這件事成了污點。
一直到現在，不少網友談到李霖，還稱呼他為‘不可能公平李博士’。
如果是心態好的人，大概就樂呵呵的接受了，‘不可能公平李博士’，聽起來也是個不錯的外號，網友取名也是開玩笑成份居多，魔方計算機的出現震驚了很多人，李霖也只是附帶被打臉的。
但是李霖的心眼可不大。
每當看到‘不可能公平李博士’的外號，李霖就感覺很生氣，也一直把事情記在心理。
上次《腦力大爆炸》節目過程中，有個數學計算天才，口算大數開根號的值，甚至能說出小數點后幾位，后來分析的過程中，就提到了計算機天才趙奕，來說明國內有很多專業天才。
李霖找到機會就說‘趙奕是計算機天才，卻不一定是數學天才’。
這句話說的很肯定。
《腦力大爆炸》的收視率還是相當不錯的，網絡上馬上就有了一大堆討論。
這種輿論對趙奕沒什么影響。
一大堆網友天然就站在趙奕一邊，因為他還只是個高中生，自己的演講里拿數學猜想打趣，根本算不了什么大事。
好多人都覺得說‘趙奕不尊重數學猜想’之類，純粹就是小題大做、沒事給人扣高帽子，至于‘懂不懂數學’、‘是不是數學天才’…
爭論有意義嗎？
這時候有帖子爆料說，趙奕的奧數競賽考了滿分，是南江省奧數冠軍，也是全國省內奧數考試，唯一的一個滿分。
有些網友就玩笑的說，“可能趙奕現在不懂數學，但以后肯定懂數學！”
“就算那些懂數學的，都不一定能考滿分！”
“趙奕還只是個高中生…”
這種輿論的熱度完全是人為帶起來的，趙奕不是真正的公眾人物、娛樂明星，大部分網友看一眼、說上一句就沒興趣了。
沒過兩天就沒人談了。
網上的輿論并沒有影響到趙奕，他現在就等著論文發表，也沒有必須要做的事情，就一心的享受起高中生活。
學習是主旋律。
趙奕每天都堅持背誦古詩詞，也不斷地做理解等題目，題做多了就能找到方法，同時，也跟著老師講課的節目，慢慢的復習著生物、化學內容，每一個實驗都要摸透、摸熟，爭取能掌握所有知識點。
他有目標就是，期末考入省里前十。
這并不難。
現在趙奕對成績有一定把握了，只要語文再提升一點，化學、生物復習的好一些，成績肯定能有提升，只要能穩定提升個十分，就足以爭奪省內排名了。
在學習生活的中途，趙奕也投入到自己的興趣愛好中，他對實驗機器人非常感興趣。
他開始設計機器人的程序代碼。
其實機器人的智能限制，不僅僅是內部的代碼、算法，硬件設施也是很重要的，就比如圖像的分辨能力、感應器功效、音效處理器等等，各個部件的功效，直接決定機器人的智能上限。
當然了。
硬件方面是沒有辦法的。
趙奕只能從軟件出手去改造，他把從宙宇互動、智能與自動化實驗室拷貝的程序功能代碼，全部都糅合在了一起，讓程序的效果能在機器人上得以體現。
機器人已經擁有簡單功能了。
現在的機器人能做到識別非常簡單的語音，并且能把特殊的語音轉化為指令效果。
比如，抬起左手、右手。
向前走、停止、向后走、轉圈。
放音樂，主機搜索、。
等等。
這些小指令的語音執行，放在十幾年后不算什么，但放在現在已經很超前了。
趙奕則在設計程序代碼，來讓機器人擁有更多的自主能力。
首先，就是走路。
自動尋路、避障功能聽起來并不困難，但一臺硬件設施偏差的半人型機器人，實現自動避障走到指定地點，還是非常復雜的一件事情。
趙奕最開始是利用感應器觸碰，也就是機器人撞到障礙物以后，再去橫向走動以避開障礙物，他很快發現并不實際，因為感應器并不靈敏，機器人也很怕撞擊，他還是只能尋求復雜的方法 圖像分析！
這個方法牽扯到復雜的計算機圖形學，趙奕對圖形學算不上了解，他咨詢了智能與自動化實驗室的許超。
許超只是苦笑道，“我們的研究只能讓智能分辨出顏色，想利用攝像頭畫面，去確定避障…我只能給你一些相關的參考書。”
“你還是自己慢慢研究吧…”
然后趙奕收到了一大堆的參考書，其中還有一些研究資料。
雖然研究資料是公開的，但市場上可沒有售賣，有些內容想找也是找不到的，他還是很感謝許超的，接下來他的興趣愛好，就變成了研究計算機圖形學。
最終目標是真正讓機器人，實現像是人眼一樣，準確分辨什么是障礙物、什么是可以走的路。
時間過的很快。
一月來了。
新澤西州，普林斯頓市。
普林斯頓大學的匈牙利籍教授烏魯茲，正在給學生們上一堂數學科普課，他正講到數論未被證明的數學猜想。
烏魯茲的講課很有個人特點，他把‘費馬大定理’也列為猜想之一，因為他對安德魯懷爾斯的證明過程不屑一顧。
他對學生們說，“如果要選出過去二十年最大的騙子，我肯定要投給安德魯懷爾斯，他靠欺詐的手段拿到了菲爾茨！”
臺下學生們都笑了。
不少數學家對安德魯懷爾斯對費馬猜想的證明過程存在異議，很明確的一點是，他的證明過程中引用了伽羅華理論，而伽羅華理論是一個相互矛盾的偽理論。
烏魯茲也是這么看的，他說了懷爾斯的證明過程，最后得出了結論，“所以，不管外面怎么說，我認為費馬猜想依舊是費馬猜想，哪怕他憑此拿走了菲爾茨和一百萬美元！”
接下來烏魯茲講解其他數學猜想，其中有一個就是冰雹（角谷）猜想。
“這個猜想是很還意思的。”
烏魯茲笑道，“它有意思的地方，不在于題目和難度，而是每一年都有人，宣稱證明了冰雹猜想，甚至有些研究生，都敢提交證明冰雹猜想的論文，但是到目前為止，還沒有被公認嚴謹的證明過程。”
當烏魯茲說完這句話后，看到臺下忽然有學生高高舉起了手。
他點名問道，“喬迪？”
喬迪威廉森手里拿了個厚厚的雜志，站起來說道，“烏魯茲教授，你大概還沒有看新一期的《數學學會雜志》？”
“怎么？”烏魯茲皺了下眉頭。
威廉森解釋道，“這是最新的一期，第十七頁之后都是冰雹猜想的證明。”
他說完還打趣道，“《數學學會雜志》的論文，證明過程總不會不嚴謹吧？”
烏魯茲愣住了。
他快步走到威廉森桌前，拿起那份最新的雜志，馬上翻到第十七頁，仔細的看了起來。