第341章 讓數學溝通現實

巔峰學霸 第341章 讓數學溝通現實

聽到喬喻這番話被驚到的可不止是田老。旁邊的鄭希文也被這句話說的震撼到了。

哪怕對科學再不感興趣，這么多年的耳濡目染，也讓鄭希文多少懂了些東西。

這也讓他在喬喻跟那些工程師交流的時候能聽懂一些東西。

當然，也就只能聽懂一部分。比如喬喻對于通用人工智能的研究進度一直很不滿意。

今天他才知道養喻不滿意的原因是什么。

讓機器能夠通過數學來理解意識、意圖、價值？

聽聽，這說的是人話嗎？

所以喬喻不但要去追問11為什么等于2，還要去追問11怎么去表達人類情感？

聽起來就像是科幻故事。

當然這個時候鄭希文肯定不會插嘴的。

只是倒茶的時候，手頓了頓，然后神色如常的沖著田老點頭示意，隨后直接離開了喬喻的辦公室。

不過這次他實在按捺不住好奇，回到旁邊的隔間之后便打開了電腦，開始旁觀兩人在聊些什么。

等到鄭希文離開之后，田言真也大概消化完了喬喻這個問題，然后緩緩開口說道：「很有意思的想法。」

說完，田言真頓了頓，思考了更久，才繼續問道：「所以你的意思用數學去表征意圖跟價值這些東西？

這些東西即便在人腦中都是模糊不清的，你怎么用數學的確定性去框定它們？

貝葉斯推理？效用函數？又或者你的廣義模態函數？就算是你的喬代數幾何也不可能解決這個問題吧？

如果電腦或者說機器真的理解了意圖、價值這些東西，那將會誕生真正的自我意識！

我并不認為這是一個好主意。尤其是在經過科技倫理委員會論證之前！」

田言真嚴肅的說道。

旁觀的鄭希文也覺得這個事情必須得嚴肅點。

雖然他并不相信人工智能擁有意識了，真就會誕生電影里天網那種東西。

但讓機器產生意識總讓他覺得怪怪的。

此刻喬喻也開始解釋了：「不不不，您誤會了。我的意思是讓數學能夠表達意識，而不是讓機器擁有意識。

好吧，雖然我的確有過這種想法，但是就目前的情況來看，還很難。那些工程師很難領會我的意思。

我覺得他們已經陷入到了慣性思維模式。只想著如何優化機器全面學習那些東西，我覺得這是不對的。

比如強化學習的獎勵函數，決策理論中的效用函數等等這些東西，都是外在賦值。

無非是通過預設一個靜態的，可量化的價值尺度。但真正的意圖跟價值，是內在涌現跟動態演化的。

所以這就需要更深層次的數學結構。您想想，如果我們能解決這個問題，數學才真正突破了原本的。」

當喬喻一臉真誠的說出這番話，鄭希文明顯感覺到田言真被說服了。

數學突破原本的桔？

鄭希文覺得這是在說鬼話。

事實是現在的數學已經足夠難了。就別說大學了，這些年高中數學都開始改革，學生們需要學習的內容更多了，也更難了。

也是沒辦法，現在大三就要接觸喬代數幾何的內容，但要學習喬代數幾何，前期的很多抽象數學概念都需要有較為深刻的了解。

甚至還要接觸部分朗蘭茲猜想的東西，即便是很小一部分。但對于本科生來說，難度也是極高的。

總之現在各大正經高校都已經開始正式對考生喊話，慎重選擇數學專業了。

鄭希文不太敢想象，如果數學突然這么快更進一步的發展，會成什么樣子。

未來選擇數學的那些學子，會不會發瘋。

果然半響后，田言真才猶疑的開口問道：「如果我沒理解錯的話，你的意思是要實現數學對意義的精確捕捉嗎？」

喬喻很肯定的點了點頭，說道：「您可以這么理解，由導。不止如此，我時刻記得您的教誨，要把數學發揚光大。

所以我更愿意將這種想法定義為讓數學能在未來成為連接客觀世界與人類價值世界的一座橋梁。

當然這種改變的外在表現大概就是通用型人工智能的出現！未來我們的人工智能不再是那種愚蠢的搜索整合工具。

又或者只會下棋的專才。而是在各個領域都能有見解，同時有著高于社會平均道德水準的意識流存在。

它們的價值將跟社會主流價值觀所錨定。它們存在的意義則是為了維持跟推動地球人類文明的發展。」

喬喻擲地有聲的說道。

沒辦法，這種程度的研究是需要經過學術倫理委員會審核的。

現在內部對于發展人工智能，或者說人工智能應該朝著哪個方向發展，其實還有爭議。

托諸多A類科幻電影里面的主機系統動不動就想滅絕人類的福，許多人對人工智能的發展本就保持著極為謹慎的態度。

但這顯然并不在喬喻的考慮范圍內。

「嗯」田言真還想說些什么，卻再次被喬喻打斷「我知道您還有憂心，但其實從您給我布置任務開始，我已經思考這個問題很久了。

誠然，所謂的機器人三大定律肯定是不靠譜的。即便增加了零號定律，依然有著嚴重的邏輯漏洞。

但這些并不是問題。我希望數學賦予機器的不是冰冷的規則，而是連續變化的情境中尋找倫理最優解的動態能力。

甚至我們最終設計的通用人工智能并不是真正的產生意識。

倫理決策可以用代數去約束，價值度量接入微分幾何模型，意識收斂需求的拓撲條件換句話說，我們創造的通用人工智能是一個高度類似具備意識的智能體。但其實它不會擁有自我意識。

它通過數學去量化復雜的善惡，它做出的決策，不會去犧牲無辜他人的利益去滿足所謂人類整體利益的最大化。

就好像核彈一樣，它只是一件工具，推動各類科學飛速發展的工具。本身并不具備善惡。

人類的未來始終還是由人類來決策。我們要做，或者說正在做的只是推動科學正常的向前發展而已。」

一直在旁觀的鄭希文只看表情就知道田言真是徹底被喬喻說服了。

畢竟察言觀色一直是鄭希文的強項。

好吧，他當然知道喬喻為什么要這么費心的去說服田言真，還不是主動去找上門，而是刻意創造種種機會來讓田言真主動找過來。

喬喻其實也跟他討論過這個問題。

托許多講述人工智能的科幻電影，里面的智能體動不動就想毀滅全人類的福，許多人對于人工智能的研究一直持反對態度。

總覺得這東西發展到最后肯定會對人類文明的存續造成重大威脅。

顯然喬喻并不是這么想。

在喬喻的觀點里，任何科技發展都只是工具。重點是工具如何使用的問題。

就好像核彈這東西被發明出來，就是沖著消滅有生力量去的。

標準的眾生平等器。

對于人類文明而言，這玩意兒肯定不算什么好東西。

但起碼就目前的情況來說，正是因為這東西的存在，全世界迎來了最長時間的相對和平。

通用人工智能其實也是一樣，在喬喻的定義中，依然是一種工具。

工具如何使用始終控制在人類手里。起碼對于現在的人類文明發展階段絕對是有益的真要征服太空，動輒幾年甚至十幾年的星際遠航，沒有人工智能輔助，基本上是不可能的。

所以一切都是為了需求而服務的。

說實話，鄭希文不太懂這些。他只是單純覺得相關研究越來越怪異了從他得到的信息來看，起碼做智能工程的那些工程師們的確是不太懂喬喻提出的理論。

什么代數價值流形，纖維叢倫理聯絡，認知意識收斂條件。

對于這一點鄭希文也能理解。畢竟他是接觸喬喻手稿最多的人，沒有之一。

每天工作人員收集到的喬喻手稿，都會匯總到這里。

然后決定哪些需要起來，哪些可以直接銷毀。

手稿上那些推理過程，怎么說呢，總之鄭希文堅信全世界百分之九十九點后面跟一排九的人都是看不懂的。

他是見識過的，光是論證一個文化滲透伴隨價值演化的動力學方程，就寫了整整數百頁的手稿。

以鄭希文目前對世界數學學界的了解，一篇上百頁的最前沿論文，審稿人可能需要大半年才會給出意見。

無非是這方面的研究喬喻從沒有發過論文。

當然喬喻現在也沒有發論文的需求了。

倒是每個月都有人想要借喬喻的名字放到作者列表里發表某篇論文，來為自己的論文增增光·

所以現在鄭希文其實也不知道喬喻的研究到底是成功好，還是失敗好了。

說實話，打心底說他對喬喻希望研究的通用人工智能也感覺有些發憂。

不過說起來人對于自己不了解的東西，有種敬畏的感覺很正常。

但喬喻很肯定他的研究方向沒問題，而且很有益處，鄭希文又覺得也許喬喻才是正確的！

畢竟喬喻沒有錯過。

總之此時的鄭希文只感覺很矛盾。

既希望看到田言真找到喬喻闡述中的漏洞，讓喬喻放棄這個瘋狂的想法。

又覺得喬喻如果能說服田言真可能也是件好事。

尤其是喬喻的規劃中，通用型人工智能可是未來輔佐人類征服星空的重要工具。

真要說起來，哪個有志向的男人心里對星辰大海沒有向往呢？

「就不能只在數學上做突破？」果然，猶豫了半響后，田言真說出這么一番話。

聽到這句話的時候，鄭希文就知道這位大佬已經被徹底說動了。

「數學框架如果真的能設計出來，當然是要應用的。哪怕我不去推進這件事，之后肯定也會有一群的人努力試圖去推進！

與其讓后人去做這些，您難道不該更相信我嗎？起碼我知道底線在哪啊！您說對吧田導！」

喬喻攤了攤手，說道。

人家都是充分相信后人的智慧，大概只有喬喻會關心后人的底線然而就是這句話，讓田言真嘆了口氣，然后點了點頭。

「行吧！既然你這么有信心，就用心去做吧。雖然我現在老了，管不了什么事了。不過有些事應該還是能說上些話的，等我回去就去打幾個電話。」

聽到這句話，喬喻并沒有露出笑容，而是更加嚴肅的承諾道：「放心吧，田導！我也保證跟以前一樣，給您提交一份最完美的答卷！」

田言真笑了笑，然后嚴肅的問道：「確定不會讓機器誕生自我意識？」

喬喻很肯定的點了點頭：「數學最美的地方就在于其嚴謹性！我們要通過很確定的嚴謹去定義出一個動態不確定的框架，我個人認為這不是孕育意識的溫床，只是單純的數學創新。」

雖然沒有直接回答，但聽起來似乎很有道理的樣子。

田言真也沒有再說什么，只是站了起來，然后臨走時，意味深長的拍了拍喬喻的肩膀鄭希文也不關了同步播放的記錄，從房間里走了出去。

像由老這樣的重要訪客，他得親自送出去。

當然兩人沒什么對話，只是客氣的寒暄兩句。

回到喬喻的辦公室，他還沒開口，喬喻先自顧自的說上了。

「現在想來薛教授對我的幫助是真大啊！果然選個好師門還是好啊，導師都退休了，

還能幫我擔著事情。」

鄭希文默然·

雖然喬喻這番話說的沒錯，但總感覺怪怪的。

當然田老的影響力擺在那里。

在這一老一小，不對，還有華清那位老人的經營下，現在年輕一代的數理科研向話事人，尤其是數學向的大佬大都跟清北學派關系不錯。

袁老跟田老在老一輩科研人員中間的地位又擺在那里。

說起來這樣的確不太好。但怎么說呢，瑕不掩瑜起碼這一派系的科研大佬們沒有通過血緣傳承，而且是真做出了舉世矚目的成績。

所以大家也只有認了。

只是鄭希文是真不知道未來會發展成什么樣子—

請：m.badaoge.org