第(3/3)頁

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

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

    首先，就是走路。

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

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

    圖像分析！

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

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

    “你還是自己慢慢研究吧……”

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

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

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

    ……

    時間過的很快。

    一月來了。

    新澤西州，普林斯頓市。

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

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

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

    臺下學生們都笑了。

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

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

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

    “這個猜想是很還意思的。”

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

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

    他點名問道，“喬迪？”

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

    “怎么？”烏魯茲皺了下眉頭。

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

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

    烏魯茲愣住了。

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


    第(3/3)頁