聊天群還在繼續討論。
張震正在說著研究機器人操作系統遇到的難題,好幾個人都跟著討論起來。
趙奕全當沒看見聊天記錄,默默的發了個微笑的表情。
在幾秒鐘之后,馬小軍就打字問道:“趙奕啊,我看了你的采訪視頻,下個月的《數學新進展》,有你的第四篇論文,對吧?”
“對,過了。”
“你的論文是有關孿生素數的嗎?我看你的采訪是這么說的。”
“對。”
“能具體說說嗎?”
趙奕道,“就是弱化的孿生素數猜想,只是證明了一小部分,但我覺得,想證明孿生素數猜想,這條路已經走不通了。”
“哦。”
劉教授忽然發了私聊過來,“我的研究快完成了,測試效果還不錯,在添加了你的篩選法以后,計算機對于輸入的識別分析能力,有了明顯的提升。“
趙奕:“幫到你就好,劉教授。”
劉教授:“有時間來一趟科學院,給你看看最終的效果,你不是有個機器人?我可以把一部分程序包安裝在你的機器人里,我們這里還有最先進的語言包,是合作企業的,可以幫你安裝上去。”
“那真是太好了。”
趙奕被說的心動了。
現在這個階段來說,機器人最欠缺的就是對話能力,劉教授研究的進化算法內容,程序設計出來也很有意思,最少能讓機器人擁有一定的自主學習能力,而不全是大量的信息內容灌輸內容。
似乎是因為趙奕突然冒了個泡,張震也找了過來,他談起了袁仲晨團隊,設計機器人操作系統的技術問題。
“如果能解決這個技術問題,機器人操作系統的框架就完整了,我們可以進行第一步的融資,等融資拿到了錢,就可以擴大規模,擴招人手……”
張震說了起來。
趙奕問了一下技術問題,其實也并不太復雜,只是機器語言和底層兼容的問題。
對于計算機硬件技術,趙奕的了解也不是很多,他想了一下,推薦了個人過去。
許超。
最近許超的工作很輕松,一直是給合作工作做技術支持,跑了幾趟沒什么問題以后,他大部分時間都在休假,或者就是去實驗室看看,但他不是實驗室的員工了,整天就在大學里轉來轉去,都有種老了來回憶過往的感覺。
趙奕一直不知道該怎么安排徐超,因為他沒有打算做其他的項目,有時間還想多休息一下。
現在好了。
袁仲晨團隊就是個不錯的地方,許超的技術能力絕對是頂尖的,他過去不僅能在技術上幫忙,還能作為自己這個‘大股東’的代表。
當有什么重要事情的時候,能第一時間和自己溝通。
比如,馬上要迎來的融資。
融資對公司來說是好事情,但對原本的股東來說,不一定全是好事情,他手里的股份會被壓縮,當然融資以后,公司的估值會大大增長,手里股份的價值只會增加,不會減小,但總歸來說,股份是被壓縮了。
當然了。
對于一家公司來說,融資是必要的發展過程,任何人都不可能大包大攬的,說要全額去投資公司,有錢也不可能那么做。
那樣就做成了家族企業。
如果真發展成了家族企業,就連里面的員工都會失去斗志,公司里的人都是在給自己打工,他們還會像以前一樣努力嗎?
所以最好的方式就是,讓公司自由、正常的發展。
趙奕沒有考慮再追加大筆的投資,但他作為和創始人、核心人員袁仲晨,擁有同樣股份的股東,最好還是在公司有個代表。
那可是未來最少價值幾個億,甚至更多的資產股份,派出一個代表還是很有必要的。
這個代表技術能力還很強,也能對袁仲晨團隊給予很大的幫助。
趙奕和張震說明了想法。
在連續和好幾個人聊過以后,他就打算關上電腦休息一會兒,忽然就覺得自己好像忘記了什么東西。
究竟是什么呢?
怎么就想不起來了呢?
趙奕坐在椅子上思考了好半天,才終于想到了一個人陶哲軒。
對啊!
陶哲軒發過來的文件現在都沒有仔細研究過,好像是有點兒對不起對方給予的重視了。
“好吧!”
“這次就認真看看,能設計就設計一下!”
趙奕認真看了起來。
上一次他已經看了一部分內容,里面牽扯到一些專業術語,他也認真研究了一番。
比如,壓縮感知。
壓縮感知,最核心的概念在于試圖從原理上降低對一個信號進行測量的成本。
比如說,一個信號包含一千個數據,那么按照傳統的信號處理理論,至少需要做一千次測量才能完整的復原這個信號,這就相當于是說,需要有一千個方程才能精確地解出一千個未知數來。
但是壓縮感知的想法是假定信號具有某種特點,那么就可以只做三百次測量就完整地復原這個信號,這就相當于只通過三百個方程解出一千個未知數。
陶哲軒的新數字壓縮技術,就是圍繞壓縮感知來展開,并用數學方法將低分辨率圖像變成高分辨率的圖像。
為此,他已經在數學上做了大量的工作。
趙奕現在看到的就是他的工作成果。
顯然。
陶哲軒給趙奕發來的內容,很多都是保密性質的。
趙奕仔細研究了其中的內容后,心里都有一種被極度信任的感覺,因為上面的數學內容,都可以以研究成果了。
不過,再想想。
當數學研究到了陶哲軒,或者他這種級別以后,普通的數學成果對他們來說,確實也沒有什么意義。
除非是非常重大的數學成果,否則就難提升他們在國際上的數學地位。
陶哲軒已經把數學方面的工作做好了,他需要趙奕幫忙的是,計算機的算法部分。
如果能有一個非常好的算法,把數學部分的內容,高效的設計在算法中,就能夠實現新的數字壓縮技術。
百分百把數學理論,轉化為計算機內容,幾乎是不可能實現的,算法只是完成程度的多少。
陶哲軒發來的數學理論內容很多。
趙奕需要做的工作就是最大化的把其中的理論內容,反映到計算機的算法中,還要最大化的降低,捕捉信息時的計算量。
這就是新的數字壓縮技術的關鍵。
原本的數字壓縮技術,最不合理的地方在于,數據采集需要的計算量,要比數字解壓的計算量更高,而現實的硬件水平,恰恰是截然相反的。
比如,拍照所用的傻瓜相機,性能肯定是非常一般的。
而解壓分析照片,需要打印時用的電腦,性能要比照相機高上幾十、幾百倍,但解壓分析照片所用的計算量卻更低。
這就是矛盾的地方。
趙奕需要設計的算法,就是把陶哲軒做的數學理論工作,轉化到算法中,越是接近百分百的轉化,他的工作就越完美。
趙奕真正開始工作了。
他最開始做的不是進入到設計算法的步驟,而是仔細看起了數學部分,差不多弄懂了以后,馬上使用了《監察律》。
修正一下!
陶哲軒做的是數字壓縮技術的的數學理論,應用數學不是一個簡單的證明題,里面有好多部分的內容,趙奕挨個使用《監察律》,一次也用不了多少精力,但整體算下來消耗還是不少。
現在消耗對趙奕不是問題,只要不是一次性的消耗大量精力,都可以用學習幣來解決。
他現在已經是學習幣‘暴發戶’,或者說‘精力爆發’戶。
在奢侈的氪了十一個學習幣后,趙奕把數學部分全部修正了一遍,用時差一點兩個小時,隨后他把修正后的內容,給陶哲軒發了過去。
信任是相互的。
陶哲軒信任他,他也信任陶哲軒,讓陶哲軒審核一下,沒問題就開始設計算法。
這個過程估計要一、兩天。
趙奕抽時間研究了下機器人,打算把機器人用起來,而不是堆在宿舍里占地方。
“這樣吧!”
“就先讓它當打飯機器人!”
趙奕決定下來。
第二天早上就帶著機器人出門,測試一下去幫著自己買早飯,錢就夾在了機器人的手里,設定好程序和路線,以及要購買的早餐,就正式出發了。
一路。
圍觀學生一大堆,還有兩個老師都跟著走。
這有點尷尬。
趙奕在食堂里讓機器人買了早餐以后,決定還是讓許超來幫忙測試,等測試確定可以使用,他就能讓機器人幫忙買飯。
這就是機器人成為保姆的第一步!
第二天。
趙奕沒有等來陶哲軒的回復,等來的卻是《數學新進展》新一期,發表了他的第四篇論文
《證明存在無限多個小于等于246的素數組合》。
他一直覺得論文不會有太大的影響力,畢竟只是證明弱化的孿生素數猜想的一部分。
弱化、一部分……
他可沒有想到的是,這一篇論文的影響力,甚至還超過了前面幾篇論文。
當天就有國內大媒體驚呼聲稱,“趙奕邁出了全世界數學界,證明孿生素數猜想的第一步!”
“這是最有意義的一步!”
“跨時代的一步!”
“也肯定是最為重要的一步!“
趙奕看著媒體報道的內容,不由得扯了扯嘴角,“這也……”
“太夸張了吧?”