喬源最讓老師們喜歡的一點,大概還在於他的行動力跟統籌能力。
前者保證了他有足夠的驅動力去做事,後者則保證了他知道該如何去做這件事情。
比如定好了目標之後,喬源便開始設計燕北人工智慧興趣小組的智慧體內部通訊協議。
在喬源看來,第一步要做的,依然是把這個通訊協議本身轉化成對應的數學問題。
畢竟這才是他最擅長的領域。
所以他需要解決的是異構系統間的同構對映與分散式狀態的一致性收斂問題。
好訊息是,第二個數學問題他已經在幫有為推進雅典娜的凝視這個專案時,解決了大半,很多結論可以直接拿過來用。所以重點就放在了第一個問題上。把問題翻譯成人人都能聽懂的說明就是如何讓智慧體A輸出向量Va能被智慧體B準確理解?喬源的解決方案簡單粗暴。
首先直接定義一個協議本體,這個協議本質上是一個高維流形所有智慧體的輸入輸出都必須透過一個投影函式 P:Rn→射到這個公共流形上。要保證兩個不同智慧體能語義對齊,其實類似於數學中的同構概念。
智慧體傳送的訊息需要包含一個後設資料,這樣接收智慧體就能透過逆對映p」-1無損還原語義,同時還要確保每一次互動都是一個完整的代數閉環,沒有資訊熵的洩露。
然後是通訊過程的代數結構。
這也是喬源最擅長的領域。
把每一次通訊都看做一個群作用,就能滿足其封閉性跟逆元的要求。只要保證所有請求都存在唯一的響應或者錯誤就夠了……接下來是分佈狀態一致性,任務流拓撲結構,通道容量與噪聲利用……
三天的功夫,喬源便做出內部通訊協議完整思維框架導圖。
週五上會討論,用大家的評價就是直接將抽象代數,包括群。環。域,以及圖論。資訊理論全部揉碎之後,放到了這個框架裡。至於這套方案行不行,小組裡其實沒人敢給出評價。
畢競喬源的方案很大膽。
比如這種框架最底層的協議,其實有現成且已經相對成熟的解決方案,包括JS0N-RPC 2。0。AZA。P等成熟通用協議。但喬源卻力排眾議,不用這些現成的協議,而是要重新用嚴格的代數結構從最底層開始重寫協議……因為喬源覺得這個通用的通訊協議並不嚴謹,尤其是文字協議本身缺乏嚴格的數學約束,無法支撐他構想中的多智慧體即時互動。雖然大家很多疑慮,不過最後投票的時候,還是全票透過贊成了喬源的方案。
原因大概是多方面的。
一來喬源戰績可查;二來這本就是個非官方性質的興趣小組,沒有什麼任務要求,還能拿錢……拿的錢還是人家企業定向投給喬源的研究資金。
從某種意義上說,哪怕是小組裡的教授都得叫喬源一句老闆。
更別提這塊的工作還都是喬源做的。分配給他們的事情並沒有變多,不同意絕對是腦子進水。當然也並不是沒有副作用。
開完會,回數學研究中心的路上,駱餘磬很直白地給出了自己的看法。
「喬源,你是不是沒打算在你博士畢業前完成這個專案了?」
喬源:「為什麼這麼說?」
駱餘馨:「廢話,理由我剛才會議上沒說嗎?高維流形對映對算力要求極高,從理論轉化到工程程式碼成本極大,且設計複雜環境驗證的週期極長,短期內不可能實現工程落地!
你為什麼就不能聽聽勸,最底層的基礎通訊跟身份認證,還是使用成熟的方案;中間層我們完全可以更成熟的知識圖譜嵌入技術,來代替高維流形對映,可以有效降低計算複雜度。
你要做的群論通訊規則跟形式化驗證,就放到最高層的代數規則層來做。短期內能先做出拿的出手的成果才是最正確的選擇。」很明顯駱餘罄是帶了些脾氣的。
畢竟這段時間,喬源壓根沒把心思放在這個興趣小組這邊,甚至之前說好了每週一次的會議,喬源都沒保證每次都參加。所以每次會議跟總結都是駱餘罄去做的。
結果喬源好不容易來開次會,把之前的準備全部推翻了重來。
」?票贊了投也麼什為才剛你那「:句了問反的吞吞慢是只源喬,惜可
」!子面你給前面人外在要為因是那「::道答著笑冷,眼一源喬了瞥罄餘駱
」…哦「
……景風的湖名未邊旁向看頭扭後隨,聲一了應,頭點了點源喬
。多不差泊湖的通普跟。的看好麼什沒也了多看實其
」。難麼那中像想你沒也得覺我實其「
。導指忙幫們他讓以可,啊驗經有師程工的為有且而,嘛來慢慢以可驗經有沒「:源喬」?氣勇的你給誰始開頭從部全?驗經發開的統系式散分有誰隊團的們咱,啊你問問我那……嗬「:罄餘駱
。西東的用有正真點出做得是還,看好歷履讓要。思意麼什有鬧小打小們咱
」?嘛幹獎靈圖要我「:道說,眼一源喬了瞪罄餘駱」?吧對,獎靈圖個拿去起一你著帶能不就麼什為,獎諾拿他著帶能我?吧了拿諾重劉讓都好能不總,了說再
。異詭越來越也表的人的邊,餅大著畫口隨源喬」……題難學數的紀世個幾家學數擾困決解0EC。的狂瘋你為會都界世全,想猜曼黎了決解0EC的司公技科家一果如但。作工職本做在你得覺會只家大,想猜曼黎了決解授教學數個一,看像想。想猜曼黎的你究研心條一能還你候時到且而。了著管人沒也。玩麼怎就玩麼怎想網司公,0EC當你,長事董當我。司公化準標慧智的微比堪個一立夥合們我候時到。慧智工人計設冊手技的供提們咱按得都界世全後以,者定制準標了們我?吧麼什過說前之工徐得記也該應你。啊準標個一義定技慧智工人的來未為能定不說,了功們我果如但。用麼什沒是獎靈圖,吧好「:道說,想了想源喬
。了吹續繼思意好不都他,他斷打不再,的好得覺都源喬,了響候時個這機手在好








