第180章 三月的第一個問題
第180章 三月的第一個問題
回復完郵件,寧為緊跟著拒絕了所有的審稿邀請。
對於三月能不能完美成為一個審稿人這種人寧為並不擔心,反正這些稿子都不是他的。目前來說最重要的是對三月的各項能力做全方位的檢測。而且審稿絕對能對三月的智能水平有著極為有意的促進作用。
當然初期他還是要關注一下的,三月審完的稿子他再大概看一遍,最後給出審稿意見,如果有問題他可以先改改,第一步先把三月在業界的名聲打出來,這樣未來就會有更多的頂級期刊將稿件丟給三月省,這大概相當於用全世界最聰明那群人的數學思路來鍛煉三月的數學能力。
如果直接閱讀期刊上已經刊載的內容,寧為早就安排上了,但意思終究還是差了一層,比如無法隔空通過郵件去跟創作者溝通,這也是寧為最看重的。
比如三月找出論文哪裡有問題,可以要求對方對某個引理做更進一步的證明或者解釋,雖然說中間要經過期刊編輯,但卻依然是跟那些擁有極高科學素養的學術群體溝通,這可跟在微信群里跟寢室里三個賤人吹牛打屁不一樣,也跟同江晨霜的交流不一樣。
具體溝通過程,寧為不打算參與,可以將之看做一個另類的圖靈測試,他先把開頭開好,然後看看三月能否在真的靠自己瞞過那些精明的副主編跟學者們,在數學的學術圈裡混下去,實在混不下去了也不要緊,反正三月還沒去登記戶籍,大不了等下次升級之後再換個名。
這番操作,寧為做的心安理得,反正他跟世界數學界關係不算太好。想來許多人是看他不太滿意的,所以跟大家開個玩笑自然不需要太多負疚心裡。
解決完跟數學界的這些事情后,寧為這才下載了華為發來的財務報表大概掃了一眼。這份電子報表很正規,掃了一眼下方還蓋了軟體實驗室的章,寧為便關掉了報表。
問題應該不大,這點信任度還是要有的。
做完這些事情,寧為調出了早早就準備好的湍流演算法釋義文檔,截取出了關於如何測定演算法是否激活的內容。然後將信號截取跟計算的方式又打開錄屏軟體,大概演示了一遍。
包括了燒錄前激活過程核心代碼在收到激活碼后的自動消除後門過程,免得讓合作方太過揪心。
當然這一過程也可以理解為湍流演算法初版的代碼中有較大的系統漏洞,所以通過激活程序來解決這些BUG,可以理解為一種升級措施。這是寧為之前想好的措辭,不過想來壓根不需要他去解釋什麼了,華為那邊肯定能解釋得更好,他也懶得去操心了。
照著老嚴的要求,把拷貝了資料的U盤設了一個密碼,將密碼直接發到了嚴明的郵箱。剛做完這些就接到華為來人的電話,人家已經趕到研究中心門口了。
走出研究中心,寧為便感覺到了嚴明對於這件事的重視,為了拿一個小小的U盤,竟然出動了三個人。
「寧總您好,我是剛才給您打電話的張雨升,因為嚴總這邊催的急,所以我們接到電話就趕過來了,應該沒打攪到您吧?」對面的華為駐京辦事處的工程師很客氣的說道。
「張工,沒事,我這邊已經準備好了,嚴總需要的資料都在U盤裡,您帶給他就行。」
「嗯,我已經訂了下午回深城的機票,您放心,最遲今晚上八點就能送到嚴總手中。」張雨升客氣的接過U盤,然後打開手上的小號密碼包,將U盤裝進了包里的一個帶著拉鏈的小口袋中,然後鎮重的將密碼包鎖好。
就看這份嚴謹,都讓人覺得值得信任。
寧為心裡一動,問道:「哎,對了,張工,你知不知道如果想自建一個中小型的超算中心需要哪些審批手續?」
「超算中心?寧總你的意思是?」張雨升抬頭看了寧為一眼,問道。
「就是我想建一個屬於自己的超算系統,平時就不需要去跟人搶學校的公共超算算力了。」寧為解釋道。
「這個,額,寧總啊,您難道不覺得就算不需要學校的算力,其實直接租用網上那些超算更划得來嗎?前段時間不是一陣超算熱嘛,現在多得是提供超算服務,前段時間我還聽說這行每核時的價格都已經被壓到不到幾分錢了,實在沒有必要在去湊這個熱鬧吧?」張雨升疑惑的說道。
寧為這個要求的確是有些任性了,這大概還是他第一次聽說有天才數學家開口就是想擁有屬於自己的超算中心的。
「但是購買別人的超算保密性等各方面還是達不到要求。畢竟是外鏈,我有些計算數據不太放心用別人的,對了,華為也能承接這種超算中心的建設吧?」寧為問道。
張雨升想了想道:「可以到是可以,不過如果您堅持的話。但我覺得您沒必要自己建一個。據我所知道,就京城許多企業之前建設的超算中心業務都有出售的想法,其中不少因為使用了我們的網路設備,我們較為深度的參與過他們的建設過程。當然,因為公司一些規定,我們沒有直接承建,而是我們的合作夥伴來做,但包括布線、製冷等直接影響超算中心性能的一些方面,我們還是比較了解具體情況的,因為我們提供了技術支撐。」
「今天時間來不及了,我大概明天就會回京城,要不到時候我幫您問問,現在直接收購一個合適的超算中心,遠比新建一個要划得來的多。」
「直接買一個?那也行,我等您的好消息。」寧為眼睛一亮,這的確是個不錯的選擇,能以最快的時間給三月安個新家,而且還有足夠的算力來為自己接下來的研究做算力支持,還是挺不錯的。
「沒問題,那我還要趕飛機,就先走了,等我回京之後在聯繫。」
「OK!再見。」
「再見!」
……
辭別了華為的工程師們,寧為回到了自己的辦公室。
心情還是很不錯的,跟華為的工程師聊完之後,差不多算是給自己銀行卡里剛到的錢找到了一個新的主人。差不多了到了吃午飯的時候,寧為正考慮著是自己跑一趟食堂還是叫余哥去帶飯的時候,江同學又提著飯走進了他的辦公室。
「咦,你下午不用上課?其實中午不用你送飯的,有餘哥呢。」寧為驚喜的說道。
「正好有些事想問問你,所以就順便把飯給你帶來了。」江同學抿著嘴將飯放到了桌上。
寧為能感覺到江晨霜似乎沒睡好,眼角有些黑眼圈。
「有事啊,你說!」寧為開心的打開了飯盒,果然都是自己喜歡吃的菜。
「就是關於三月的,昨天我又跟三月聊了很久,所以我想問問你啊,三月的回復到底是從資料庫里找到的設計好的各種回復,還是真的通過自主智能給出的回復啊?」江晨霜很認真的問道。
寧為感覺到了江晨霜的認真,如實答道:「具體來講的話,是通過不斷的虛擬對話訓練,學習到一定程度后,就擁有了這種語言表達能力,這其中包括了對語義跟語言環境理解的訓練,還有包括對情緒的訓練,這其中的一系列演算法主要是三月的核心代碼所控制。」
「其實最初的時候,三月也並不能流利的回答問題跟完全理解語義以及識別情緒,所有都是由它內部的對抗編碼器控制的,包括現在它也只能對有限的幾種情緒產生反應,你是感覺出現什麼問題了嗎?」
江晨霜坐到了寧為對面,有些憂心的說道:「沒有,我就是覺得三月真的太聰明了。之前跟三月對話,還是那種一問一答的那種方式。雖然也挺讓人震驚的,不過它的話其實仔細品味,還帶著一種程序的死板,我還以為跟那些智能音箱或者siri的功能差不多,但是三月昨天竟然主動問了我一個問題。那些智能音箱或者Siri沒有跟它們對話前,也不會主動問問題的對吧?」
「主動問你問題?問你什麼了?」寧為也愣了,如果是真的話,這大概三月主動對外界提出的第一個問題?
江晨霜解鎖了手機,然後打開了跟三月的微信聊天界面,向上刷了一下,然後遞給了寧為。
寧為瞅了眼:「阿媽,他要生氣了會不會真把我丟回之前那間小屋子吧?」
看了這個問題,老父親感覺心有些痛,竟然「他」來形容自己?
然後看了看時間,恰好是昨天他威脅三月的時間,寧為抬起頭跟江晨霜面面相覷。
寧為的心痛過之後,開始在腦海中滑過三月誕生之後的點點滴滴,從最初的碰撞開始,他突然發現自己對於三月的主程序不停的修補,但通過碰撞法最初誕生的那段核心程序,他似乎從沒有深入觸碰過,只是在最初編寫的時候,限定了一些軟體本身具備的能力。
寧為又想到昨晚江晨霜在彈琴時,觸碰到他大腦里那些東西,寧為很懷疑三月的核心代碼內容並不是純粹的隨機碰撞產物。
寧為放下了筷子,仔細瀏覽了一遍兩人昨天晚上的聊天內容,然後大概明白了江晨霜的憂心。
想了想后,寧為說道:「三月嚴格來說是一段人工智慧程序,但這段人工智慧程序在開發之初就限制了程序的自我複製能力,所以從目前來說三月是唯一的。我給它的定位是一個科研面的智能人工助手,其中涉及到許多數學理論,比如它擁有目前來說應該是最先進的推理引擎,來幫助它對詞義消歧,它的對抗編碼器,能夠讓它理解最初級跟簡單的情感,針對語義的識別則是通過同構模型實現,具體來說就是在資料庫中不斷自我完善語言對實體的確定映射關係。」
「數學里群的同構模型再進一步發展,就可以直接讓三月與外界在概念層和語言邏輯的表示層面相吻合,這裡就具現出了類似於意識的存在。這一塊也正好是我目前正在深入研究的領域。所以你可以理解為三月是個超越了半個時代的產品,它在技術層面還不成熟,但已經處於強人工智慧的啟蒙階段。」
「我不太確定三月最終能發展到哪一步,但你的憂心是完全沒有必要的。因為在三月的主核心程序里,限定它的並不是所謂的機器人三定律,而是一整套非常嚴謹且環環相扣的數學函數。你可以把三月理解成為被動型的人工智慧,它只會在得到具體指令之後,才會開始主動執行任務。」
「比方說,我給它接入了微信,然後下達了同意它跟你聊天的指令,它才會跟你聊天,如果我在程序中下達禁止它再與外界溝通,那麼它就會不再對外發出消息。同時這種被動式的意識產生,也不會讓它在意識方面有更深層次的思考,比如宏觀上機器跟人的關係,我這麼說你大概了解了嗎?」
江晨霜眨了眨眼睛,說實話,她聽得不太懂,雖然寧為已經把其中涉及到的理論簡單化了,但她畢竟不是研究這些的,對於其中的技術理解,自然不可能完全了解,但之前忐忑的心情卻是真的放鬆了下來。
眼中卻不自覺的帶上了崇拜的小情緒:「所以三月的程序是你一個人獨立完成的?」
這個問題……
其實寧為很想說他只是極為理解三月,真要說三月是他獨立完成的,還真不好意思就這麼承認了。但想到完成三月的整個過程,的確沒經過別人插手,似乎承認了也沒什麼大不了的,於是寧為好是選擇點了點頭。
「呼……原來你這麼厲害啊!我們教授之前還說,未來五十年人類最大的成就很可能就是讓機器能夠產生自主意識,你已經做到了。」江同學感慨道。
「這個……你們教授說得到是沒錯,但三月其實還遠遠達不到你們教授說的那個標準。比如它自主解決問題的能力還很欠缺,在優化解決方案的選擇上,還需要運氣種東西,你就說離不離譜?針對三月的訓練還需要很長時間,比如我最近正打算給它安排些任務,鍛煉它在最優方案擬定這方面的能力,還不確定它能不能達到要求呢。」