第351章 這就是我最近幾年正在做的！（2/2）
所以人只要能來這裡，都是非常幸運的。他們將親眼見證一次歷史性的事件。
喬喻終究還是太內斂了，這種等級的報告會竟然辦的這麼草率，留給數學家跟他們這些外圍人員準備的時間只有七天這要是換一個人大概得提前半年向全世界宣布.
抱著這樣的想法，在接待那些國外來的數學家時，鄭希文的態度也傲嬌了許多。
那些想在報告會前跟喬喻見上一面的無禮要求都被他果斷的拒絕了。
好在一般熟識的數學家都知道喬喻的怪癖。
每次在舉辦重要報告會之前，不太喜歡跟人見面溝通。
就算要敘舊也要等報告會之後再說。
這其實也是可以理解的。
報告會上要講的內容，能說的邀請函簡介上有。對於數學家來說，在做報告之前，自行查漏補缺，又或者不想其他人干擾到思維，都很正常。
更別提喬喻這樣的頂級數學家，他的習慣再無禮都是可以原諒的。
所以包括陶軒之在內的諸多數學家，到了華夏之後也只是跟熟識的數學家們探討，壓根不會提這種無禮的要求。
提了這種要求的，大都是跟喬喻不那麼熟悉，又或者距離世界頂尖數學家團體還有一定距離的新人數學家，又或者少數喜歡倚老賣老的傢伙·
這種人鄭希文拒絕起來就更沒壓力。
尤其是有些人還是看在田言真的面子上邀請來的。
終於到了周日，早上十點，報告會在燕北大學百年大講堂觀眾廳準時開始。
能容納兩千多人的大廳二樓沒有開放，一樓位置也沒有完全填滿。
學校本來想組織學生來聽聽的，但被喬喻拒絕了。
在他看來，一場報告會人坐不坐得滿並不重要。
完全沒必要安排一群學生坐在後面邊聽邊打瞌睡畢竟打呼嚕的人太多會嚴重很多數學家的睡眠·
但實際上當喬喻站到這次報告會的主席台上，就讓所有到場的數學家們精神起來。
是的，這次報告會，喬喻並沒有像以往那樣，坐在那裡對著話筒念已經準備好的報告稿，而是站在那裡，手上沒拿任何東西。
「感謝大家來參加這次為了紀念洛特·杜根先生而專門舉辦的報告會。
正如邀請函中說的那樣，這次報告會既是為了紀念杜根先生為數學界做出的偉大貢獻，同時順帶著跟大家聊聊我最新的一些研究成果。
不然我也怕陶教授會在他的博客上繼續通緝我，畢竟我不是明星，沒必要一直在網絡上保持熱度。」
一個小玩笑的開場，也換來了前排眾人的會心一笑。
雖然到現在依然有很多人對這次報告會竟然還要做題而不滿，但當喬喻就站在台上，
這種不滿終究還是咽下去了。
「剛剛在主持人的建議下，我們已經為杜根先生的離世默哀過了。所以我就直接進入今天報告會的正題。
我現在會向大家提出一個問題，希望大家用一分鐘的時間去思考，然後繼續我們的報告會。
這個問題就是，你們認為數學能否孕育意識？」
當喬喻的話音落下，參加這次報告會的數學家們開始面面相。
顯然這已經不是一個正經的數學問題，而是一個哲學問題了。
等等，這次報告會的主題是元數學，第一個問題卻是數學能否孕育意識？
當很多數學家反應過來，目光也不由自主的開始變得驚，甚至開始竊竊私語。
好在一分鐘很快就過去。
喬喻也並沒有一直賣關子，直接抬起手，讓台下完全安靜下來才開始了自問自答。
「我相信大家剛剛也都想過了，想要回答這個問題，首先我們要給意識一個定義。
這是數學上最常見的方法。畢竟如果沒有定義，那麼任何證明的都是不準確的。
但我們該如何定義意識，這本就是一個難題。我思考過很久這個問題，才發現意識這種主觀的思維過程，基本不可能被定義。那麼這個問題就無解了嗎？」
說到這裡喬喻頓了頓，然後很肯定的搖了搖頭，繼續說道：「我覺得不是。」
「在過去三十年裡，人工智慧技術橫空出世。其所依賴的數學基礎包括了線性代數、
離散數學、微積分、概率與統以及資訊理論、數值分析等等但所有這些數學基礎，都無法讓人工智慧更進一步進化為通用人工智慧，或者說強智能，也就是我們常說的AGI。
原因就是機器沒有意識。從跟這個條件下去定義意識，其實就很簡單了。
於是我將意識定義為一種忽略所有計算過程的最優化選擇。
這理解起來可能有些費勁，所以我給大家舉個例子。比如網絡上一個經久不衰的笑話。
當一個年輕小伙子看到一個非常符合他審美的異性時，往往會說在那一瞬間，他就連未來兒子的名字都想好了。
大家注意到這個過程了嗎？遇到一個理想中的異性，在大腦中立刻就能想像出未來婚後的美滿生活·——
所有的過程都被壓縮，人的意識在一瞬間就能選擇出最理想跟完美的預測結果。
這就是意識跟數學最矛盾的地方了。數學的問題都是需要嚴格的推理、論證跟計算的，所以解決一個數學問題是一個過程，這就是數學的過程導向。
但意識的最優化選擇往往是瞬間做出決策的，把中間所有的步驟跟時間全部壓縮掉了，從這一點上來說意識是一種高度抽象表徵，其本質是結果導向。
前者我們要分析問題，然後想辦法解決問題，最後得到結果。後者會先預設出一個最好的結果，然後在為這個結果去預設過程，
這就是核心問題所在。就目前的數學體系而言，我們的確很難設計出一款真正的人工智慧。
所有目前被大眾所熟知且大家經常使用的人工智慧其本質都只是在執行預設的算法流程。
那麼有沒有可能找到一種數學發展方向，可以用來描述意識，並在未來成為機器通識的理論基礎？
陶軒之教授在博客上問我消失的這些年都在做些什麼。那麼我現在正是回答你，我在思考這個問題，並已經有了一些成果。」