第138章 雜誌上的角谷猜想證明（2/2）

學習是主旋律。

趙奕每天都堅持背誦古詩詞，也不斷地做閱讀理解等題目，題做多了就能找到方法，同時，也跟著老師講課的節目，慢慢的複習著生物、化學內容，每一個實驗都要摸透、摸熟，爭取能掌握所有知識點。

他有目標就是，期末考入省里前十。

這並不難。

現在趙奕對成績有一定把握了，只要語文再提升一點，化學、生物複習的好一些，成績肯定能有提升，只要能穩定提升個十分，就足以爭奪省內排名了。

在學習生活的中途，趙奕也投入到自己的興趣愛好中，他對實驗機器人非常感興趣。

他開始設計機器人的程序代碼。

其實機器人的智能限制，不僅僅是內部的代碼、算法，硬體設施也是很重要的，就比如圖像的分辨能力、感應器功效、音效處理器等等，各個部件的功效，直接決定機器人的智能上限。

當然了。

硬體方面是沒有辦法的。

趙奕只能從軟體出手去改造，他把從宙宇互動、智能與自動化實驗室拷貝的程序功能代碼，全部都糅合在了一起，讓程序的效果能在機器人上得以體現。

機器人已經擁有簡單功能了。

現在的機器人能做到識別非常簡單的語音，並且能把特殊的語音轉化為指令效果。

比如，抬起左手、右手。

向前走、停止、向後走、轉圈。

放音樂，主機搜索、閱讀。

等等。

這些小指令的語音執行，放在十幾年後不算什麼，但放在現在已經很超前了。

趙奕則在設計程序代碼，來讓機器人擁有更多的自主能力。

首先，就是走路。

自動尋路、避障功能聽起來並不困難，但一台硬體設施偏差的半人型機器人，實現自動避障走到指定地點，還是非常複雜的一件事情。

趙奕最開始是利用感應器觸碰，也就是機器人撞到障礙物以後，再去橫向走動以避開障礙物，他很快發現並不實際，因為感應器並不靈敏，機器人也很怕撞擊，他還是只能尋求複雜的方法--

圖像分析！

這個方法牽扯到複雜的計算機圖形學，趙奕對圖形學算不上了解，他諮詢了智能與自動化實驗室的許超。

許超只是苦笑道，「我們的研究只能讓智能分辨出顏色，想利用攝像頭畫面，去確定避障……我只能給你一些相關的參考書。」

「你還是自己慢慢研究吧……」

然後趙奕收到了一大堆的參考書，其中還有一些研究資料。

雖然研究資料是公開的，但市場上可沒有售賣，有些內容想找也是找不到的，他還是很感謝許超的，接下來他的興趣愛好，就變成了研究計算機圖形學。

最終目標是真正讓機器人，實現像是人眼一樣，準確分辨什麼是障礙物、什麼是可以走的路。

……

時間過的很快。

一月來了。

新澤西州，普林斯頓市。

普林斯頓大學的匈牙利籍教授烏魯茲，正在給學生們上一堂數學科普課，他正講到數論未被證明的數學猜想。

烏魯茲的講課很有個人特點，他把『費馬大定理』也列為猜想之一，因為他對安德魯-懷爾斯的證明過程不屑一顧。

他對學生們說，「如果要選出過去二十年最大的騙子，我肯定要投給安德魯-懷爾斯，他靠欺詐的手段拿到了菲爾茨！」

台下學生們都笑了。

不少數學家對安德魯-懷爾斯對費馬猜想的證明過程存在異議，很明確的一點是，他的證明過程中引用了伽羅華理論，而伽羅華理論是一個相互矛盾的偽理論。

烏魯茲也是這麼看的，他說了懷爾斯的證明過程，最後得出了結論，「所以，不管外面怎麼說，我認為費馬猜想依舊是費馬猜想，哪怕他憑此拿走了菲爾茨和一百萬美元！」

接下來烏魯茲講解其他數學猜想，其中有一個就是冰雹（角谷）猜想。

「這個猜想是很還意思的。」

烏魯茲笑道，「它有意思的地方，不在於題目和難度，而是每一年都有人，宣稱證明了冰雹猜想，甚至有些研究生，都敢提交證明冰雹猜想的論文，但是到目前為止，還沒有被公認嚴謹的證明過程。」

當烏魯茲說完這句話後，看到台下忽然有學生高高舉起了手。

他點名問道，「喬迪？」

喬迪-威廉森手裡拿了個厚厚的雜誌，站起來說道，「烏魯茲教授，你大概還沒有看新一期的《數學學會雜誌》？」

「怎麼？」烏魯茲皺了下眉頭。

威廉森解釋道，「這是最新的一期，第十七頁之後都是冰雹猜想的證明。」

他說完還打趣道，「《數學學會雜誌》的論文，證明過程總不會不嚴謹吧？」

烏魯茲愣住了。

他快步走到威廉森桌前，拿起那份最新的雜誌，馬上翻到第十七頁，仔細的看了起來。