科技之錘!
魯東義的乾脆有些出乎寧為的意料,他本以為還要多說兩句的,好在師兄似乎看出了他的疑惑,在他轉身前,感慨了一句“照你說的,如果有一天,咱們的成就真能達到見到愛因斯坦得先給我們遞煙,碰到牛頓他得先來敬酒的高度,的確挺值得期待的。”
寧為腳步頓了頓,品位了一番這追求,除了稍微有些不太吉利外,沒啥毛病。當即頭也不回的答道“隻要我們有自信,一定可以的!”
“哦,對了,後天就是國慶七天假了,做事情還是有張有弛比較好,我建議你可以好好的出去玩幾天,等假放完之後我會每天監督你工作狀態的。”魯東義又說了句。
寧為隨便揮了揮手代表他知道了,然後果斷的回到了自己的辦公室。
人在陷入對未來的思考時,屁話通常會很多,即便是高智商也難以免俗,比如魯東義。
心情自然是更好了,寧為想通了許多東西豁然開朗之後,已經明白他想做的事情光靠他一個人肯定不夠,哪怕是加上餘興偉也不夠,必須有一群人能夠跟他有相同的理念,然後一起為這個目標而奮鬥。
魯東義無疑從任何方麵來看都是極為合適的。自身智力條件就不用說了,本身還是燕北大學的副教授,且在國內數學界尤其是學生中間本身就具備極大影響力,以後振臂一呼,肯定能拉來不少感興趣的學生,在加上本身就有授課經驗,簡直完美!
把魯東義綁上了戰車還是得做出點東西,來鼓勵大家的。
坐到自己的辦公桌前,得意了一會後,寧為才發現辦公室裡明顯被收拾過,他早上翻亂的東西都已經被擺的整整齊齊,窗台上的花瓶裡也插上兩朵新鮮的桂花,正散發著怡人的花香。
顯然這是江同學專門來收拾過,寧為閉上眼睛,狠狠的嗅了嗅房間內的香氣,這才打開了自己的筆記本,開始繼續思考如何搭建他的理論框架。其實在參加stoc大會之後,寧為便對基礎的人工智能搭建過一個基礎框架,並將之用到了三月的主程序構建,所以他現在需要考慮的是更加抽象的問題,機器的意識建模。
說的更清晰些,就是通過數學模型來描述物理狀態的整個信息係統。如果需要這一理論成立,那麼大概就可以理解為相適應的算法將是機器的意識。
要從理論上解決這個問題,最困難的步驟就是要解決一個哲學上的命題,非還原主義。具體到他現在所考慮的人工智能領域,大概描述就是要證明這個世界類人高級智能活動過程能否全部或絕大部分還原為計算過程。
如果可以,需要給出具體推導過程;即便不是所有人類智能活動過程都還原為計算過程,理論上也要給出儘可能多的高級智能夠還原為基本計算過程的原理,因為這是強人工智能數學理論中最重要的部分。當然,如果可以還要嘗試論證被摒棄的那一部分是無用智能……
比如對於人類來說,其實並不需要給為你輔助的智能設備添加審美功能。畢竟不能說以後某位長得過於抽象的客戶買了一部最新的智能手機,智能手機還能因為攝像頭感知到主人長得太醜而長期以低效的模式智能服務,這就是屬於給自己找麻煩的高級智能還原。
這是寧為正在做的東西。
他需要將一係列人類需要的智能反應過程,轉化為計算過程出有力的理論證明,並結合大數據證明機器可以擁有主動學習能力,並為實現更精確的計算機視覺、聽覺甚至觸覺一個更簡單更精準的理論指導。
說起來簡單,但真的做起來卻是極為複雜的過程。在製作數學模型的時候需要充分考慮到其可擴展性,包括每個計算單元、每個算符,想要實現一個很簡單的能力可能都需要多級程序語言調用的多級編譯或解釋係統。這一點是從構建三月主體程序得到的經驗。
以三月為例,現在三月就具備了一定的程序感知能力,跟對基本語義的識彆能力,這些都是建立在主動學習基礎之上的。但實際上就目前的三月來說,相對於她審核那些可公式化的數學稿件,在識彆人類基礎語義這塊消耗的算力要更多。
想要讓機器如同人類一樣去識彆語言語義,尤其是識彆一些不同環境下能表現豐富情緒的語義,往往還需要機器對情緒的洞察力。
而這一切都是人工智能理論構架的基礎,其難度自然是極大的,寧為能做的便是將所有的問題分解成一個個小問題,然後一個個解決,最終形成整套大理論。
比如他已經解決了其中最簡單的大數據壓縮難題。通過強壓縮手段可以讓人工智能程序在最短時間內獲得最多的數據來鍛煉其本身的分析判斷能力。現在寧為正在做的則是人類理解語義、情緒的計算還原過程。
這塊做完了,他的拔尖青年項目也能順利完成,順便在拿個圖靈獎大概問題不大。這塊的難度雖然極大,超乎想象的大,但有三月作為參照物,卻讓難度直線下跌了不少,最關鍵的點在於整個學習過程的計算模式還原。
大概瀏覽了之前已經完成的內容,寧為快速的開始在程序中構建大腦中確定的行為模式模型。
“定義7,數據對象o是一個有指定類t的變量v,v∈v?v?u,其由類型約束μv(t)限製以便將此一般類t通過子域裁剪t″轉化為一給定問題的特定類t′。
“即o?”
……
“嗨,你回來了?”當辦公室門推開,江同學走進辦公室時,寧為恰好通過列出的定義,完成了論文中一個定理的證明。
“是啊,今天出門忙了一天,累死了。”寧為心滿意足的推開了麵前的筆記本,看了眼時間,正好晚上九點半。
“忙什麼去了?”江同學坐在鋼琴前順口問了句。
“去買了些二手電腦設備。”寧為想了想,答道。
“哦!”江同學點了點頭,然後推開了琴蓋。
“那個,花了差不多兩個億吧。”寧為又說道,有些事還是得讓這女孩知道的,他沒興趣像電視劇情節裡一樣,隱瞞自己身價,然後惹出些人間輕喜劇。
兩人已經確定在一起了,有些事情就沒必要藏著掖著。主要是寧為覺得以後他賺得肯定要比幾個億多。
女孩手頓了頓,側著臉有些疑惑的看向坐在對麵的寧為“兩個億是指人民幣?”