規則系學霸 第143章

作者:不吃小南瓜

只要把地圖路線座標輸入到程序裏,機器人就能實現自動尋路,過程中還能擁有避障再尋路功能。

這個功能聽起來很簡單,但趙奕可是研究了一個月。他是一邊學習一邊研究,也有了兩個研究成果,一個是讓機器人,分辨移動畫面物體的長度、大小。

比如,機器人看向地板的時候,就能迅速計算出地磚的邊長,看到人的時候,就能計算出人的身高。

另外,就是尋路了。

趙奕用的方法,首先還是顏色判斷,他乾脆給機器人加裝了一個攝像頭,一旦開始尋路就開啓兩個畫面,新攝像頭指向地面。

通過地面和視線前方顏色的對比,來簡單的分別‘路’具體是哪裏。

這樣就能輕鬆避障。

當然了。

很多時候,道路的顏色會改變,就只能用第二種方案,機器人會環顧左右方向,通過圖像顏色、物體的大小,去分辨具體哪裏是路。

趙奕設計出的尋路、避障方式,大部分時候是沒問題的,但會碰到的問題也很多,最重要的是,分辨方式都是他自己輸入進入的。

一個的精力是有限的,無法想到所有情況,一旦碰到新情況,就會遇到新的問題。

這就需要覆蓋每一種情況,去詳細的編寫程序代碼。

顯然。

這是一個團隊的事情。

“不然……把設計方法、代碼賣掉?然後讓一個公司去幫忙完善?”

“還是和專業的實驗室合作?”

趙奕仔細思考着,覺得前者比較靠譜。

到專業的計算機實驗室,他貢獻了代碼就等於是貢獻了,最多能拉一下投資贊助,最後還是要把代碼,給投資的公司共享使用,相比還不如直接售賣掉,標明自己擁有最終完善版本的使用權。

凌晨過後。

《數學學會雜誌》發表冰雹猜想證明的影響力已經出來了。

每一個數學猜想的證明,都會引起大量的關注,海外大量媒體做出報道,也讓國內第一時間就注意到了。

《數學學會雜誌》還沒有網絡版本,想看到真正的證明過程,幾乎只能通過購買紙質出版物,國內想看到證明過程不容易,但不妨礙國內注意到海外媒體的報道。

國內網絡上瞬間有了消息--

“角谷猜想被證明了!是《數學學會雜誌》,數學期刊四巨頭之一!”

“真被證明了,海外都在報道!”

“誰證明的?”

“趙奕啊!”

“就是前一段時間,演講的時候說自己證明了角谷猜想的那個天才高中生!”

“趙奕真是天才,先是研究出看不懂的計算機算法,解決了魔方的步驟計算問題,又順勢解決了角谷猜想……”

“我記得上個月還有人說,趙奕不懂數學!”

“解決世界數學難題的人,竟然會不懂數學,哈哈哈哈哈……”

網絡上的熱議確實很難影響到本人,但有認識趙奕的人也看到了消息。

第一個是李立生。

李立生長期混跡論壇,日常交公糧以[百度 ]後睡不着,乾脆就爬起來對着電腦,準備來一場彈琴大戰,結果就看到了熱搜--

中國高中生證明了角谷猜想!

“角谷猜想?對了,好像是趙奕,高中生?”李立生快速過了一遍腦子,馬上搜索點進去看了新聞。

趙奕!

真是趙奕!

他破解了數學界幾十年的難題--角谷猜想!

李立生馬上就激動了,他趕緊到論壇上,發表了一個帖子說,“現在我說,我是鄭陽十三中的老師,沒有人有疑問了吧?”

“發佈一條最新消息:我最優秀的學生,趙奕,剛剛破解了世界數學難題《角谷猜想》,靜等大家回帖道賀啊!”

李立生美滋滋的笑着,纔想起來應該羣發消息,讓所有人都知道。

時間,不重要!

趙奕,十三中的學生,已經破解了世界數學難題,還在乎什麼凌晨不凌晨。

李立生拿起了手機,給所有學校的老師、校長髮了條信息說明情況。

然後,他打給了趙奕。

同樣這麼做的還有實驗室裏的許超,研究工作真是沒有時間觀念,許超想到了好的方法,就一直在實驗室修改代碼。

等結束工作衝了杯咖啡,就坐在電腦前瀏覽下新聞。

什麼?

趙奕證明了角谷猜想?

許超驚得瞪大了眼睛,看了下新聞時間,馬上給趙奕打了個電話。

凌晨?

不重要!

趙奕迷迷糊糊纔剛睡着,就接到了李立生的電話,“李老師?這麼晚……”

“趙奕啊!還睡什麼覺啊!快點起來看新聞,你證明了角谷猜想!”

李立生喊的很大聲,彷彿比趙奕還激動。

趙奕鬱悶道,“我知道啊。”

“你知道了?”李立生有點驚訝。

趙奕很無語的回了句,“李老師,這不是買彩-票,不是開獎,我一個月前就投稿了,昨天也接到了郵件,當然知道。”

“好像是啊!哈哈、哈哈……”

李立生尷尬的笑了兩聲,說了幾句恭喜就掛了電話。

趙奕有點想坐起來,但感覺很疲憊,乾脆就繼續睡,夢裏出現個俏皮的女生,她正站在旁邊吐着舌頭,還舔了舔嘴脣……

“嘟嘟嘟……”

電話震動。

趙奕迷糊的拿起電話,發現是許超按下了接聽鍵。

許超的聲音也有些激動,但他比要李立生淡定很多,“恭喜你,趙奕,你的論文在《數學學會雜誌》發表了。”

“謝謝!”

趙奕和許超聊了幾句,就淡定的繼續躺下來,過一會兒就睡着了,夢裏有個很可愛的女生,正抬着頭羞澀的看過來。

他伸手過去……

“嘟嘟嘟……”

震動。

趙奕迷迷糊糊掃了一眼屏幕,發現是校長王承敏,他深吸了一口氣,乾脆就把手機設置成不提醒,然後遠遠的扔到一邊。

法克!

不知道是凌晨啊!

睡覺!

誰也別想打擾老子!

第一百三十九章 這幾天不適合上學了

當趙奕處在睡夢中的時候,不知道多少人正在研究他的證明論文。

其中不乏一些數學家的大佬。

如果冰雹猜想的證明論文,出現在影響力小一些的雜誌,數學界大佬們看一眼論文發表人,發現是個陌生的名字,就根本不做理會了,他們可不相信‘默默無聞’的傢伙,在‘影響一般’的雜誌上發論文,會真正證明出極高難度的數學猜想。

《數學學會雜誌》不同。

作爲公認的數學界四大頂級期刊之一,《數學學會雜誌》的審稿人,都是數學界有一定影響力的人物,過稿難度自然也非常的大,他們一年時間裏的就只發行四期,每一期平均八篇論文。

一年,三十二篇!

這個數字就能知道過稿難度有多高了。

《數學學會雜誌》發表的每一篇文章,基本都會代表數學上的一個新進展,而能在四大頂級期刊上發表論文,本身也代表着一種學術上的成就。

冰雹猜想的證明出現在《數學學會雜誌》,八成以上就代表了猜想已經被證明,許多數學界的人士,也包括對此感興趣的人,第一時間去就去研究證明過程。

他們完全被吸引了。

就像是普林斯頓大學本科生的反應一樣,他們發現證明過程用到的都是基礎定理、公式,用基礎的定理、公式,也就代表結論不會出現爭議,推導過程也容易看明白。

唯一就是……複雜。

證明過程用到了‘01數字對比圖’,利用二進制轉換演示的目的,也就在於製作‘01數字對比圖’,證明過程不是分析對比圖,而是以二進制的形式進行推導,讓證明過程顯得更清晰。

其實十進制也是可以的,但沒有清晰的對比圖,思維邏輯就會變得更繞,中途有些計算結果也會顯得混亂。

二進制演示並不是複雜的原因,證明過程複雜在於步驟繁多。

有許多步驟都有點讓人想不到,看過以後還會出現‘原來還能這樣’的感覺。

步驟繁多,就導致明晰證明過程,需要很多的時間。

因爲沒有用到太高深的公式、方法,頂級的數學家和普通對數學有研究的人,看證明過程也沒什麼區別,都需要長時間的研究、演算。

這個過程中,媒體的報道提前確定了冰雹猜想被證明。

雖然沒有其他人站出來確切的表示,證明過程是完全正確的,論文的下方卻有佛羅里達大學的數學教授湯姆森的點評--

“這是一個新奇的方式,把計算機和數學相結合,以二進制演示圖,來一步步推導出最後結論。證明過程很繁雜,但每一步都非常清晰,我可以肯定的說,我們又擁有了一條定理。”

鄧恩也點評了一句,“就像是很多討論一樣,冰雹定理的證明過程,遠比所得出的結論重要。我很高興能看到一種新的證明方法。這或許能出版一本教材,放在計算機、數學專業的教學中,告訴學生們該怎麼樣把基礎數學和計算機完美的結合在一起。”

海外媒體的報道傳到了國內,引起了國內媒體的沸騰。

有不少媒體工作者半夜被叫醒,頂着瞌睡趕時間寫報道。

報道不等人啊!

這種大新聞早一點報道,就能吸引更多的關注,否則就會成爲大海里的一朵浪花,翻一下沉下去就再也看不到了。

早上。

趙奕朦朧醒來的時候,還感覺非常的鬱悶,他再睡着後也沒能接上夢,反倒是林曉晴出現在了夢中。

別誤會!

林曉晴閃着犀利的眼神,用力捏着他的胳喊着,“你個渣男!”

“渣男!”

“渣男……”

胳膊都被掐的沒感覺了。

趙奕迷糊的醒來才發現,胳膊被壓在腦袋下方,已經完全失去了知覺,他用力的甩了甩手,才讓血液重新正常流動,他長呼了一口氣,“有胳膊的感覺真好!”

爬起來,打開電腦。

果然!

網上有了不少的新聞,多是引用國外媒體的報道,說明《數學學會雜誌》發佈了角谷定理的論文,再驚歎一下論文作者是個中國高中生。

當然了。

高中生就是他。

當被報道的次數多了,趙奕也沒什麼特別感覺,他更想看看一些專業的點評。

從牀邊找到了手機,上面顯示有七個未接電話,應該都是打電話祝賀的,他只能感慨夜貓子真是多。

凌晨啊!

不睡覺還幹什麼!