這些小指令的語音執行,放在十幾年后不算什么,但放在現在已經很超前了。
趙奕則在設計程序代碼,來讓機器人擁有更多的自主能力。
首先,就是走路。
自動尋路、避障功能聽起來并不困難,但一臺硬件設施偏差的半人型機器人,實現自動避障走到指定地點,還是非常復雜的一件事情。
趙奕最開始是利用感應器觸碰,也就是機器人撞到障礙物以后,再去橫向走動以避開障礙物,他很快發現并不實際,因為感應器并不靈敏,機器人也很怕撞擊,他還是只能尋求復雜的方法--
圖像分析!
這個方法牽扯到復雜的計算機圖形學,趙奕對圖形學算不上了解,他咨詢了智能與自動化實驗室的許超。
許超只是苦笑道,“我們的研究只能讓智能分辨出顏色,想利用攝像頭畫面,去確定避障……我只能給你一些相關的參考書。”
“你還是自己慢慢研究吧……”
然后趙奕收到了一大堆的參考書,其中還有一些研究資料。
雖然研究資料是公開的,但市場上可沒有售賣,有些內容想找也是找不到的,他還是很感謝許超的,接下來他的興趣愛好,就變成了研究計算機圖形學。
最終目標是真正讓機器人,實現像是人眼一樣,準確分辨什么是障礙物、什么是可以走的路。
……
時間過的很快。
一月來了。
新澤西州,普林斯頓市。
普林斯頓大學的匈牙利籍教授烏魯茲,正在給學生們上一堂數學科普課,他正講到數論未被證明的數學猜想。
烏魯茲的講課很有個人特點,他把‘費馬大定理’也列為猜想之一,因為他對安德魯-懷爾斯的證明過程不屑一顧。
他對學生們說,“如果要選出過去二十年最大的騙子,我肯定要投給安德魯-懷爾斯,他靠欺詐的手段拿到了菲爾茨!”
臺下學生們都笑了。
不少數學家對安德魯-懷爾斯對費馬猜想的證明過程存在異議,很明確的一點是,他的證明過程中引用了伽羅華理論,而伽羅華理論是一個相互矛盾的偽理論。
烏魯茲也是這么看的,他說了懷爾斯的證明過程,最后得出了結論,“所以,不管外面怎么說,我認為費馬猜想依舊是費馬猜想,哪怕他憑此拿走了菲爾茨和一百萬美元!”
接下來烏魯茲講解其他數學猜想,其中有一個就是冰雹(角谷)猜想。
“這個猜想是很還意思的。”
烏魯茲笑道,“它有意思的地方,不在于題目和難度,而是每一年都有人,宣稱證明了冰雹猜想,甚至有些研究生,都敢提交證明冰雹猜想的論文,但是到目前為止,還沒有被公認嚴謹的證明過程。”
當烏魯茲說完這句話后,看到臺下忽然有學生高高舉起了手。
他點名問道,“喬迪?”
喬迪-威廉森手里拿了個厚厚的雜志,站起來說道,“烏魯茲教授,你大概還沒有看新一期的《數學學會雜志》?”
“怎么?”烏魯茲皺了下眉頭。
威廉森解釋道,“這是最新的一期,第十七頁之后都是冰雹猜想的證明。”
他說完還打趣道,“《數學學會雜志》的論文,證明過程總不會不嚴謹吧?”
烏魯茲愣住了。
他快步走到威廉森桌前,拿起那份最新的雜志,馬上翻到第十七頁,仔細的看了起來。