第195章 數學家的視角

投票推薦 加入書籤 小說報錯

  喬源最讓老師們喜歡的一點,大概還在於他的行動力跟統籌能力。

  前者保證了他有足夠的驅動力去做事,後者則保證了他知道該如何去做這件事情。

  比如定好了目標之後,喬源便開始設計燕北人工智慧興趣小組的智能體內部通信協議。

  在喬源看來,第一步要做的,依然是把這個通信協議本身轉化成對應的數學問題。

  畢竟這才是他最擅長的領域。

  所以他需要解決的是異構系統間的同構映射與分布式狀態的一致性收斂問題。

  好消息是,第二個數學問題他已經在幫有為推進雅典娜的凝視這個項目時,解決了大半,很多結論可以直接拿過來用。所以重點就放在了第一個問題上。把問題翻譯成人人都能聽懂的說明就是如何讓智能體A輸出向量Va能被智能體B準確理解?喬源的解決方案簡單粗暴。

  首先直接定義一個協議本體,這個協議本質上是一個高維流形M,所有智能體的輸入輸出都必須通過一個投影函數 P:Rn→M映射到這個公共流形上。要保證兩個不同智能體能語義對齊,其實類似於數學中的同構概念。

  智能體發送的消息需要包含一個元數據,這樣接收智能體就能通過逆映射p」-1無損還原語義,同時還要確保每一次交互都是一個完整的代數閉環,沒有信息熵的泄露。

  然後是通信過程的代數結構。

  這也是喬源最擅長的領域。

  把每一次通信都看做一個群作用,就能滿足其封閉性跟逆元的要求。只要保證所有請求都存在唯一的響應或者錯誤就夠了……接下來是分布狀態一致性,任務流拓撲結構,信道容量與噪聲利用……

  三天的功夫,喬源便做出內部通信協議完整思維框架導圖。

  周五上會討論,用大家的評價就是直接將抽象代數,包括群、環、域,以及圖論、資訊理論全部揉碎之後,放到了這個框架里。至於這套方案行不行,小組裡其實沒人敢給出評價。

  畢競喬源的方案很大膽。

  比如這種框架最底層的協議,其實有現成且已經相對成熟的解決方案,包括JS0N-RPC 2.0、AZA、MCP等成熟通用協議。但喬源卻力排眾議,不用這些現成的協議,而是要重新用嚴格的代數結構從最底層開始重寫協議……因為喬源覺得這個通用的通訊協議並不嚴謹,尤其是文本協議本身缺乏嚴格的數學約束,無法支撐他構想中的多智能體實時交互。雖然大家很多疑慮,不過最後投票的時候,還是全票通過贊成了喬源的方案。

  原因大概是多方面的。

  一來喬源戰績可查;二來這本就是個非官方性質的興趣小組,沒有什麼任務要求,還能拿錢……拿的錢還是人家企業定向投給喬源的研究資金。

  從某種意義上說,哪怕是小組裡的教授都得叫喬源一句老闆。

  更別提這塊的工作還都是喬源做的。分配給他們的事情並沒有變多,不同意絕對是腦子進水。當然也並不是沒有副作用。

  開完會,回數學研究中心的路上,駱余磬很直白地給出了自己的看法。

  「喬源,你是不是沒打算在你博士畢業前完成這個項目了?」

  喬源:「為什麼這麼說?」

  駱余馨:「廢話,理由我剛才會議上沒說嗎?高維流形映射對算力要求極高,從理論轉化到工程代碼成本極大,且設計複雜環境驗證的周期極長,短期內不可能實現工程落地!

  你為什麼就不能聽聽勸,最底層的基礎通信跟身份認證,還是使用成熟的方案;中間層我們完全可以更成熟的知識圖譜嵌入技術,來代替高維流形映射,可以有效降低計算複雜度。

  你要做的群論通信規則跟形式化驗證,就放到最高層的代數規則層來做。短期內能先做出拿的出手的成果才是最正確的選擇。」很明顯駱余罄是帶了些脾氣的。

  畢竟這段時間,喬源壓根沒把心思放在這個興趣小組這邊,甚至之前說好了每周一次的會議,喬源都沒保證每次都參加。所以每次會議跟總結都是駱余罄去做的。

  結果喬源好不容易來開次會,把之前的準備全部推翻了重來。

  可惜,喬源只是慢吞吞的反問了句:「那你剛才為什麼也投了贊成票?」

  駱余罄瞥了喬源一眼,冷笑著答道::「那是因為要在外人面前給你面子!」

  「哦…」


  喬源點了點頭,應了一聲,隨後扭頭看向旁邊未名湖的風景……

  其實看多了也沒什麼好看的。跟普通的湖泊差不多。

  「其實我覺得也沒你想像中那麼難。」

  駱余罄:「嗬……那我問問你啊,咱們的團隊誰有分布式系統的開發經驗?全部從頭開始誰給你的勇氣?」喬源:「沒有經驗可以慢慢來嘛,而且有為的工程師有經驗啊,可以讓他們幫忙指導。

  咱們小打小鬧有什麼意思。要讓履歷好看,還是得做出點真正有用的東西。

  再說了,總不能好處都讓劉重諾拿了吧?我能帶著他拿諾獎,為什麼就不能帶著你一起去拿個圖靈獎,對吧?」駱余罄瞪了喬源一眼,說道:「我要圖靈獎幹嘛?」

  喬源想了想,說道:「好吧,圖靈獎是沒什麼用。但如果我們成功了,說不定能為未來的人工智慧技術定義一個標準啊。你應該也記得徐工之前說過什麼吧?我們成了標準制定者,以後全世界都得按咱們提供的技術手冊設計人工智慧。到時候我們合夥成立一個堪比微軟的智能體標準化公司。我當董事長,你當CE0,公司官網想怎麼玩就怎麼玩。也沒人管著了。而且到時候你還能一條心研究你的黎曼猜想。想像看,一個數學教授解決了黎曼猜想,大家只會覺得你在做本職工作。但如果一家科技公司的CE0解決了黎曼猜想,全世界都會為你瘋狂的。美女CE0解決困擾數學家幾個世紀的數學難題……」喬源隨口畫著大餅,身邊的女人的表情也越來越詭異。

  好在手機這個時候響了,喬源都覺得挺好的,再不打斷他,他都不好意思繼續吹了。

  「喂,老師……啊?您已經回來了?哦,我正在回研究中心的路上,還有五分鐘就回去了。」掛了電話,喬源扭頭朝著駱余磬說道:「不能跟你聊了,老師從美國回來了,讓我現在就去他的辦公室。額……那個關於興趣小組的近期科研目標,我們已經達成一致意見了吧?」

  「是的,喬董事長。我已經做好辭職的準備了,就等著您堪比微軟的科技公司成立了。」

  駱余罄沒好氣的應了句。

  研究中心,全齋。

  陸明遠的辦公室里,老師正跟學生四目相對。

  兩篇拆分好的論文已經裝訂好了,此時正整整齊齊的擺在陸明遠的面前。

  喬源一直覺得老學生就應該像他一樣。先不管老師找他幹嘛,之前布置的任務一定要第一時間讓老師看到。這樣能讓老師知道,在去美國奔波的那段時間裡,他並沒有不務正業,而是認真地完成了任務。陸明遠拿起來翻了幾頁之後,也不知道說什麼好了。

  不得不說喬源總能選擇極為刁鑽且很難讓人預料到的角度考驗他的涵養。

  沉默了良久之後,陸明遠指了指擺在桌上的論文,心平氣和地問道:「冒昧地問一句,喬源,你這兩篇中文論文是打算投到哪?」喬源小心翼翼地答道:「老師,我是這麼考慮的。普林斯頓的數學年刊這麼多年了,還沒有刊登中文文章的先例。我想也許他們也希望能有零的突破,所以先嘗試著去投一下。當然如果期刊編輯覺得這樣不太好,我也可以轉投燕北大學學報自然科學版,或者咱們的數學進展。」

  陸明遠點了點頭,隨後擡起手開始揉起了太陽穴。

  看到老師沒有生氣,喬源立刻開始補充起來:「老師,不瞞您說啊,這幾天雖然您不在,但我也沒閒著。不光是完成您交代的拆分論文的任務,還主動開始介入下階段工作。之前我們不是成立了一個人工智慧的興趣小組嗎?我已經把方案設計好了。而且今天剛剛上會,獲得了全票通過。下階段我打算設計一套完整的智能體通信體系。您看,這是我做的項目草案跟階段性的任務目標。大家都覺得很有見地,而且非常支持我這個方案。」說完,喬源選擇趁熱打鐵,把剛剛會議上討論的方案也遞給了陸明遠。

  陸明遠看了喬源一眼,然後擡手接過了學生遞來的材料,開始認真地翻閱。

  不得不說,喬源的效率的確是極高。

  他不過離開了短短一個星期而已,不但完成了論文的拆分,這份草擬的方案,也讓人刮目相看。毫無疑問,這又是一個最前沿的研究領域,如果能成功的話,將改寫目前人工智慧通信體系混雜的歷史,用一套標準化的方式,推動人工智慧協同式發展。當然前提是能落地的話。

  畢竟這已經遠遠超越了一個所謂興趣小組能達成的目標。

  陸明遠還沒見過哪個興趣小組定的目標是直接要為整個行業定義標準的。

  但也的確很符合喬源的一貫風格。


  這讓陸明遠下意識想到了他在普林斯頓高等研究院的時候,跟愛德華;威騰的對話。

  他告訴對方,自己其實很想引導喬源把精力放到預設好的方向,來充分發揮這個學生的優勢,但卻失敗了……愛德華;威騰當時的反應明顯覺得他是在凡爾賽。但事實上他的苦惱的都是真實的。

  因為喬源到目前為止,只要做他感興趣的事情,最後都能成功,所以這一刻,他甚至找不到理由去反對。哪怕他一眼就能看出這個方案有多難……

  「咳咳…

  陸明遠放下方案,乾咳了兩聲。

  喬源立刻乖巧地做出洗耳恭聽的模樣。

  「喬源,你有沒有想過你的博士畢業論文主要涉及哪個方向?」

  喬源立刻答道:「報告老師,關於這個我問過魯師兄和駱師姐,他們都說我才博一,不用考慮這個問題。因為博一跟博二大家都還在探索期,完全可以在這個階段尋找自己的興趣。而且只要我發的論文夠多有創新點,未來不管選擇哪個方向,博士畢業問題也不陸明遠面無表情地點了點頭。

  回答的很合理。規則的確是這樣的,畢競沒有哪個數學導師會逼著學生博一就確定畢業選題。但不知道為什麼,陸明遠此時就很想罵人……

  當然不可能罵喬源,因為不管從哪個層面說,孩子已經做得很完美了。

  畢竟目前研究中心還沒哪個博士生,能完全靠自己能力爭取到數千萬的研究經費倒哺研究中心。那就只能是師兄師姐不教師弟點好東西了。

  考慮到駱余罄跟喬源目前的特殊關係……

  魯承澤這個當師兄的,明顯工作不到位啊!

  腦子裡轉了一圈之後,陸明遠繼續開口說道:「普林斯頓高等研究院已經利用你的論文開始倒推暗粒子的性質。而且已經聯繫了CERN,希望能找到暗粒子的存在。對於這個你怎麼看?」

  喬源回答的依然迅速:「放心吧,老師。我是不會背叛數學去研究物理的。我是您的學生,我的工作重心肯定會撲在數學層面!」陸明遠愣了愣,他明顯不是這個意思,但喬源的回答卻讓他沒法挑剔。

  但終於是沒法忍受了,擡起手揮了揮……

  「算了,你先去忙你的吧。不過別忘了,你現在手頭上還有四個項目。我不管你怎麼分配精力,我只看結果。」「好的,老師。您放心,我不會讓您失望的。」

  說完,喬源立刻拔腿閃人。

  又沒挨罵……喬源很開心。老師脾氣果然很好。

  只是回到自己的辦公室,不到半個小時,一陣陣咆哮聲就從半開的窗戶鑽進他的耳朵。

  尤其是那句聲調極高的「他跟普通博士一樣嗎?一樣嗎?」聽著特別清晰……

章節目錄