,
魯東義的干脆有些出乎寧為的意料,他本以為還要多說兩句的,好在師兄似乎看出了他的疑惑,在他轉身前,感慨了一句:“照你說的,如果有一天,咱們的成就真能達到見到愛因斯坦得先給我們遞煙,碰到牛頓他得先來敬酒的高度,的確挺值得期待的。”
寧為腳步頓了頓,品位了一番這追求,除了稍微有些不太吉利外,沒啥毛病。當即頭也不回的答道:“只要我們有自信,一定可以的!”
“哦,對了,后天就是國慶七天假了,做事情還是有張有弛比較好,我建議你可以好好的出去玩幾天,等假放完之后我會每天監督你工作狀態的。”魯東義又說了句。
寧為隨便揮了揮手代表他知道了,然后果斷的回到了自己的辦公室。
人在陷入對未來的思考時,屁話通常會很多,即便是高智商也難以免俗,比如魯東義。
心情自然是更好了,寧為想通了許多東西豁然開朗之后,已經明白他想做的事情光靠他一個人肯定不夠,哪怕是加上余興偉也不夠,必須有一群人能夠跟他有相同的理念,然后一起為這個目標而奮斗。
魯東義無疑從任何方面來看都是極為合適的。自身智力條件就不用說了,本身還是燕北大學的副教授,且在國內數學界尤其是學生中間本身就具備極大影響力,以后振臂一呼,肯定能拉來不少感興趣的學生,在加上本身就有授課經驗,簡直完美!
把魯東義綁上了戰車還是得做出點東西,來鼓勵大家的。
坐到自己的辦公桌前,得意了一會后,寧為才發現辦公室里明顯被收拾過,他早上翻亂的東西都已經被擺的整整齊齊,窗臺上的花瓶里也插上兩朵新鮮的桂花,正散發著怡人的花香。
顯然這是江同學專門來收拾過,寧為閉上眼睛,狠狠的嗅了嗅房間內的香氣,這才打開了自己的筆記本,開始繼續思考如何搭建他的理論框架。其實在參加STOC大會之后,寧為便對基礎的人工智能搭建過一個基礎框架,并將之用到了三月的主程序構建,所以他現在需要考慮的是更加抽象的問題,機器的意識建模。
說的更清晰些,就是通過數學模型來描述物理狀態的整個信息系統。如果需要這一理論成立,那么大概就可以理解為相適應的算法將是機器的意識。
要從理論上解決這個問題,最困難的步驟就是要解決一個哲學上的命題,非還原主義。具體到他現在所考慮的人工智能領域,大概描述就是要證明這個世界類人高級智能活動過程能否全部或絕大部分還原為計算過程。
如果可以,需要給出具體推導過程;即便不是所有人類智能活動過程都還原為計算過程,理論上也要給出盡可能多的高級智能夠還原為基本計算過程的原理,因為這是強人工智能數學理論中最重要的部分。當然,如果可以還要嘗試論證被摒棄的那一部分是無用智能……
比如對于人類來說,其實并不需要給為你輔助的智能設備添加審美功能。畢竟不能說以后某位長得過于抽象的客戶買了一部最新的智能手機,智能手機還能因為攝像頭感知到主人長得太丑而長期以低效的模式提供智能服務,這就是屬于給自己找麻煩的高級智能還原。
這是寧為正在做的東西。
他需要將一系列人類需要的智能反應過程,轉化為計算過程提供出有力的理論證明,并結合大數據證明機器可以擁有主動學習能力,并為實現更精確的計算機視覺、聽覺甚至觸覺提供一個更簡單更精準的理論指導。
說起來簡單,但真的做起來卻是極為復雜的過程。在制作數學模型的時候需要充分考慮到其可擴展性,包括每個計算單元、每個算符,想要實現一個很簡單的能力可能都需要多級程序語言調用的多級編譯或解釋系統。這一點是從構建三月主體程序得到的經驗。
以三月為例,現在三月就具備了一定的程序感知能力,跟對基本語義的識別能力,這些都是建立在主動學習基礎之上的。但實際上就目前的三月來說,相對于她審核那些可公式化的數學稿件,在識別人類基礎語義這塊消耗的算力要更多。
想要讓機器如同人類一樣去識別語言語義,尤其是識別一些不同環境下能表現豐富情緒的語義,往往還需要機器對情緒的洞察力。
而這一切都是人工智能理論構架的基礎,其難度自然是極大的,寧為能做的便是將所有的問題分解成一個個小問題,然后一個個解決,最終形成整套大理論。
比如他已經解決了其中最簡單的大數據壓縮難題。通過強壓縮手段可以讓人工智能程序在最短時間內獲得最多的數據來鍛煉其本身的分析判斷能力。現在寧為正在做的則是人類理解語義、情緒的計算還原過程。
這塊做完了,他的拔尖青年項目也能順利完成,順便在拿個圖靈獎大概問題不大。這塊的難度雖然極大,超乎想象的大,但有三月作為參照物,卻讓難度直線下跌了不少,最關鍵的點在于整個學習過程的計算模式還原。
大概瀏覽了之前已經完成的內容,寧為快速的開始在程序中構建大腦中確定的行為模式模型。
“定義7,數據對象O是一個有指定類T的變量v,v∈VPVU,其由類型約束μv限制以便將此一般類T通過子域裁剪T″轉化為一給定問題的特定類T′。
“即O”
“嗨,你回來了?”當辦公室門推開,江同學走進辦公室時,寧為恰好通過列出的定義,完成了論文中一個定理的證明。
“是啊,今天出門忙了一天,累死了。”寧為心滿意足的推開了面前的筆記本,看了眼時間,正好晚上九點半。
“忙什么去了?”江同學坐在鋼琴前順口問了句。
“去買了些二手電腦設備。”寧為想了想,答道。
“哦!”江同學點了點頭,然后推開了琴蓋。
“那個,花了差不多兩個億吧。”寧為又說道,有些事還是得讓這女孩知道的,他沒興趣像電視劇情節里一樣,隱瞞自己身價,然后惹出些人間輕喜劇。
兩人已經確定在一起了,有些事情就沒必要藏著掖著。主要是寧為覺得以后他賺得肯定要比幾個億多。
女孩手頓了頓,側著臉有些疑惑的看向坐在對面的寧為:“兩個億是指人民幣?”
“嗯吶,前些天我的專利授權到賬了,考慮到要讓三月發揮更大的性能,今天就去買了個超算中心。記得我跟你說過吧,湍流算法我授權出去了,然后每個季度都能分點錢。”寧為點了點頭,解釋道。
“哦!”江晨霜嘟著嘴點了點頭,問了句:“那你這應該算是提前財務自由了吧?”
寧為想了想,好像的確如此,便點了點頭說道:“如果不亂來的話,差不多夠了。不過也得看怎么花。比如買個超算中心就花了1.9億,要維護這個超算中心每個月花費也不少,大概問了下,所有優惠都算上,一個月下來大概也要大幾十萬吧。”
“那你可得繼續努力。如果你以后想建個大實驗室可能更花錢。”江晨霜點了點頭,說了句,然后雙手很自然的搭在了電鋼琴上。
任由琴聲在房間內流淌,寧為立刻閉嘴不言,欣賞著女孩彈琴的姿勢,就好像在維也納金色大廳里欣賞鋼琴獨奏。當然,如果把電鋼琴換成更大氣的鋼琴就更完美了。
一個小時很快過去,當江晨霜如同往常一樣合上琴蓋時,寧為也從位置上站了起來:“走吧,我送你回寢室。”
“嗯。”女孩點了點頭,然后如同往常一樣,被寧為攥著走出了辦公室。
“魯教授那邊還亮著燈呢,還在忙啊?”
“最近一段時間魯師兄都會比較忙,沒辦法,功課落后太多了,他得趕緊趕上來。”寧為驕傲的說道。
讓一位數學家放棄自己原本研究的東西換到一個全新的方向來,可不是一件簡單的事情,但他做到了,當然有理由驕傲,這起碼代表著魯師兄對他的認可。
“魯師兄還要做功課?”江晨霜疑惑的問了句。
“嘿嘿,換了研究方向,前期當然要做足功課。這就跟你們學習數學一個道理,比如開始學習洛必達法則,就要不斷做題聯系,把這個數學工具運用熟練一樣。”
寧為解釋了句,隨后說道:“別理魯師兄了,后天就是國慶節了,我準備給自己放幾天假,你有沒有特別想去的地方?我們可以出去玩一圈。”
“國慶人很多的,還是不要出去湊熱鬧了吧?而且你也說了以后超算中心很花錢的,假日出門人多還很貴,不如呆在學校里。”女孩搖了搖頭說道。
“錢其實問題不大的。你不能小看我的吸金能力,不過你要嫌人多的話,咱們就定一個京城游玩計劃唄,說起來我來京城這么長時間了,還真沒出去逛過,你得陪我。”寧為要求道。
“哦,那我們就出去玩三天,剩下四天時間我復習功課準備期中考試,你就忙你的研究好不好嘛?”女孩側過頭,軟軟的祈求道。
聽了這話寧為有些氣悶,問道:“期中考試有那么重要嗎?”
江晨霜想了想,然后點了點頭,老實的答道:“如果不及格就不好了,這學期開的公司財務學跟銀行貨幣學好多概念我還要多看看書才能理解,而且今年還是高數B跟線代最后一學期課程,如果不過關,就真得重修了。”
“不是,你憑什么覺得你的高數B跟線代會重修?晨霜同學,你是不是有點太不把你男朋友放在眼里了?以后你每天晚上給我送飯后,我幫你補習一小時這兩門課。”寧為說道。
經濟學的東西寧為不太懂,但是要說道高數跟線代,他是真的精神了。
“那這樣不會耽誤你做研究的嗎?”江晨霜嘟著嘴說道。
“半小時讓你做題,找出你的問題在哪,半小時給你講解,能耽誤什么?放心好了,給你輔導的時間對我來說就是休息下腦子。對了,我上次讓朋友幫你整理的資料,你都發給你妹妹了嗎?”寧為又追問了句。
“發了……”
“嗯,那就行,那你告訴你妹妹,那些資料都是她姐夫準備的嗎?”
“啊……”江晨霜有些懵,然后老老實實的搖了搖頭。
“所以你說的是一個朋友?”寧為又不樂意了,側頭瞪了眼身邊的女孩問道。
江晨霜微不可查的點了點頭,小聲爭辯了句:“她在讀高三呢,哪好跟她說這些。”
“這有什么不好說的?你談戀愛又不是她談戀愛。”
寧為嘟囔了句,想了想,他從兜里摸出一張銀行卡遞了過去:“這事我不跟你計較了,你把這張卡拿著,你每天要給我送晚飯,以后我的飯錢就從這張卡里出。里面沒什么錢,這事我讀博士后學校要求辦的卡,里面是我讀博的補貼,以后當助教的補貼也會打到這張卡里,每個月加起來好像能有五千來塊吧,反正不多,你隨便用。密碼是我的生日,回頭我微信上發給你。”
“這不好吧?”
“有什么不好的?都說了里面就是工資。我的東西愛給誰給誰,不想給誰別人也不能惦記。咋滴,再說昨天你把我的初吻無情奪走,難道你還打算以后不負責任了?”寧為厲聲質問道。
“啊?!”江同學詫異的看著寧為整個人又愣住了,大概沒想到有人竟然能死不要臉到這種程度。
看著女孩傻呆呆的樣子,加上兩人正好走到兩個路燈中間的陰暗處,寧為沒忍住再次抱住了女孩,然后頭俯了下去……
怎么說呢,昨天被奪走了初吻,今天當然要再奪回來,任何時候公平兩個字都很重要。