下午，依然還是之前的會場，依然是幾千人座無虛席，臺上依然是喬喻。
國際數學家大會第一天下午安排了兩場主場六十分鐘報告。由喬喻來做開場報告。
最年輕的菲爾茲獎獲得者，并解決了世界難題黎曼猜想，除了太過年輕，還是本科在讀外，其他沒任何毛病。
而且這也難不住主持人。
一句“喬喻博士”直接解決了被記者糾結的痛點。事實上之前普林斯頓也是這么干的。
等弗蘭克來到會場的時候，很敏銳的注意到身邊許多人都專門帶了筆記本。
從這一點就能看出喬喻的廣義模態公理體系在數學界有多火。
當然，其實也能從丹尼斯又心急火燎的想找喬喻合作也能看出這一點。
就好像現在脫離了喬喻的廣義模態公理體系，數學問題就沒法繼續研究了一樣。難道這些人都忘了在這套理論出世之前，大家都是怎么做研究的？
都是一些想要投機取巧的家伙。什么近期火就想去研究什么，一輩子沒什么出息。
弗蘭克在心里默默鄙夷著這些人。然后等到喬喻出現在主席臺上時，拿出了他的錄音筆。
不管怎么說，他跟這些人的層次是不一樣的。畢竟他是主席臺上那個年輕人的爹……
生理意義上的，這是無法改變的！
同一時間，喬喻已經坐在了主席臺上，打開了他早已經準備好的PPT。
今天這場報告會他要講的內容是《喬喻黎曼定理時代的廣義模態公理體系發展》。
這是修改后的課題。本來他只想講講后廣義模態公理體系時代的數學發展進程。
但大家既然都希望帶一些黎曼定理的內容，喬喻自然也選擇了從善如流。
好吧，其實真要按喬喻的想法來，如果能領了獎就直接閃人才是最完美的。
反正他已經拿到了菲爾茲獎了，做不做報告已經無所謂了。
可惜不行。這個想法就連平日里最寵他的袁老都不支持。這就說明肯定不合理了。
“各位尊敬的老師跟朋友們，大家好：非常榮幸能在本次國際數學家大會上做開場報告。我們今天匯聚于此，共同探索數學的無限邊界。
我要與大家分享的是一個深刻影響現代數學的主題：《喬喻黎曼定理時代的廣義模態公理體系發展》。
今天的報告將嘗試回答一個關鍵問題：在喬喻黎曼定理的啟發下，廣義模態公理體系如何引領數學理論走向更加普遍而深刻的未來……”
六十分鐘雖然已經是一場頂級的報告會，但說實話，對于一個復雜的數學體系來說，想要講清楚還是挺難的。
不過喬喻也沒有詳細去講。
畢竟這個課題很大。事實上任何展望未來發展的課題都很大。
很快這場報告就進入到了尾聲。喬喻也向現場所有人拋出了喬喻·黎曼定理時代他提出的三個后續猜想。
講完之后，喬喻發現還剩下兩分鐘時間。在掌聲響起之前，喬喻又補充了一段之前沒跟結構委員會提到的內容。
嗯，反正陳師兄對另一種證明黎曼猜想的論文署名沒什么興趣，他干脆就公布了出來。
“另外，其實我跟我的團隊一直在考慮用兩種方法證明黎曼猜想。第一種證明過程已經得到了大家的認可，大家也都已經很清楚了。
第二種，則主要是利用利用模態能量函數來建立與黎曼ζ函數的譜分布之間的等價性。模態能量函數本質上是一個度量系統狀態的泛函，我的團隊正嘗試將它推廣到黎曼ζ函數的零點結構。
這種方法因為要借助能量泛函的最優化過程，所以計算量要更大一些，所以需要驗證的東西更多。但好消息是，負責驗證工作的陳卓陽教授已經驗證出了初步的結果。
即在一定邊界條件下，第二種方法可以通過優化拉回所有偏離路徑的零點，從而間接證明黎曼猜想。預計相關論文會在今年內就會正式發布。
相信等到這篇論文正式發布會之后，會讓大家對我們的廣義模態公理體系的理解更為深刻。因為其證明過程邏輯鏈條更加清晰，有助于拓展喬喻·黎曼定理在數論之外的影響。
正如我剛才所說的數學的美妙之處在于它永遠是一個未完成的旅程。最后再次感謝大家，希望這次討論能夠為大家的研究提供一些啟發。”
真的，此時臺下許多人都已經準備鼓掌了，結果被喬喻最后這段話給說愣住了。
一直在用兩種方法證明黎曼猜想？
另一種方法因為太麻煩所以要晚一些發？而且今年就能發布？
好家伙，最開始就設定了兩種方法證明黎曼猜想？
以至于臺下的陳卓陽成了稀奇動物。真的，當喬喻在臺上說出這番話的時候，田言真都下意識的扭頭朝著陳卓陽坐的方向看了一眼。
“陳，你們真的很早之前就決定用兩種方法證明黎曼假設？”
“嗯……我只知道我需要驗證的部分。你知道的具體方法都是喬喻提供的。很顯然，我這部分的驗證過程還需要一些時間……”
“你有考慮過換個環境嗎？陳。”
“額……這個真沒有，其實我覺得現在的生活挺好的。”
這一刻，陳卓陽是真覺得受寵若驚了。好在陳卓陽一直覺得自己最大的優勢就在于心里有數，起碼他很清楚自己不是喬喻那種天才研究型的學者。
這也是他死活不肯署名第一作者的原因。跟著小師弟喝湯都能喝飽了。至于獨當一面，他還真不行。
短暫的錯愕之后，臺下的數學家們也終于反應過來，也讓喬喻走下臺時，如海潮般澎湃的掌聲也終于響了起來。
下午兩場報告會結束之后，第一天的大會便告一段落。不過第一天的重頭戲還在晚上的數學家晚宴。
對于許多第三世界的數學家而言，萬里迢迢自費趕來參加這次會議的目的就是蹭這次晚宴。
倒不是晚宴上的飯菜有多好吃。主要是每四年一次的國際數學家大會正式晚宴絕對是結交大佬最好的機會。
懷揣著夢想來到數學的圣殿，如果他們的項目甚至只是一個想法，被某位大佬看中，就意味著無限光明的未來。
當然這種機會很渺茫，大概99抱著這種心態的人，都不會有這種機會。
畢竟這不但需要實力，更需要運氣。比如某位大佬正好有時間，心情還不錯，愿意用幾分鐘聽取那些他并不抱太大希望的想法。
正好這位數學家還能用幾分鐘時間把自己的想法兜售出去。
但怎么說呢，夢想嘛，總是要有的。萬一實現了呢？
從這一點來說喬喻很幸運，從他決定踏上數學這條道路開始，就沒經歷過這種懷才不遇的情況。
每一步都有人幫他把路鋪的好好的，他按部就班的走過去就好了。
而且他現在似乎已經成了大佬。
一堆的人排隊都見不到他就是明證。當然這也真怪不了喬喻。
比如作為新鮮出爐的菲爾茲獎獲得者，今天的晚宴他是必須要出席的。
然而還不止如此。
下午的會議是四點五十結束，六點到八點是晚宴時間組委會還在五點到五點半摳出了這么一點時間安排了一場半小時的記者招待會。
不過這次記者招待會不是專門針對喬喻的，而是今年四位菲爾茲獎獲得者都要參加。
用國際數學聯盟主·席皮埃爾·L·利翁的話說，這是希望更多的普通人能夠了解新生代的優秀數學家們。
“你好，我是來自法新社的記者，我想請問喬喻博士……”
“你好，我是來自紐約時代的記者，我想請問喬喻博士……”
“你好……”
一場記者招待會下來，喬喻只覺得頭昏腦漲。
沒辦法，說是四位菲爾茲獎獲得者都參加，但很明顯一堆的記者都是沖著他來的。
除了少數有同情心的記者，也不知道是看到喬喻說的嘴快干了，還是看到其他三位菲爾茲獎獲得者坐在臺上太無聊。
又或者不想讓本國的獲得者顯得太尷尬，問了其他三人幾個不痛不癢的問題外，其他記者都沖著喬喻去的。
當然這也不能全怪記者們。
畢竟喬喻更有話題性。
歷史上最年輕的菲爾茲獎獲得者，又特別敢說，剛剛中午的時候又對許多記者出言不遜，此時正是喬喻熱度最高的時候，大家都期盼著喬喻嘴里才說出些爆炸般的話題。
真的，現在TikTok上喬喻中午說他綁架了一個外星人的那段視頻都已經快被傳瘋了！熱度高到爆表！
被觀看最多的視頻，已經播放了500多萬次。相關視頻已經累計播放了兩千多萬次。
這種夸張的言辭正常人肯定是不相信的！但架不住只要網友的基數夠大，就肯定不全是正常人！
是的，鄭希文擔心的沒錯，還真有很多人相信了，已經有人開始在網上號召大家一起行動起來，從邪惡的華夏人手中營救外星人……
甚至還已經發起了募捐，離譜的是，還真有人捐贈。根據募捐網站上顯示，短短一個下午，這個活動已經募捐到了23美元。
真的，當喬喻從記者口中聽到這個消息的時候都驚呆了，而更驚訝的是，記者竟然還問他怎么看待這個問題。
于是當即就直接很詫異的回了一連串的反問。
“不可能吧？西方人民現在都這么貧窮了嗎？一個下午相關視頻播放量突破兩千萬次了，一個營救生命的募捐竟然才募集到300多美元？這太讓人失望了！自由價值觀呢？博愛精神呢？錢呢？”
真的，當時喬喻這番話說出口時，坐在他左邊的杰克·索恩下意識的垂下頭聳肩，右邊的亞歷克斯則茫然的扭頭看向喬喻……
站在下方的鄭希文則分外無語的抬起頭看向天花板。看吧，他就知道，小孩子不聽話這種事，光念叨兩句是沒用的，還是得揍……
但話又說回來，這種喜歡語出驚人的家伙恰好又是記者最喜歡的那種類型。
也就是現場維護秩序的主持人也聽不下去，主動拿起了話筒。
先是恭維現場的記者都是專業記者，然后直接要求現場記者多問些與學術研究相關的專業性問題，而不是一些沒有腦子的問題，后面的招待會才得以順利進行。
起碼直到記者招待會結束，沒人再提關于外星人這種問題……
“喬，很抱歉，你知道的，這些記者就是喜歡追逐那些亂七八糟的熱點。”
記者招待會終于結束之后，杰克·索恩主動拉著喬喻說道。
“哈哈，我知道，我就是跟大家開個玩笑。”喬喻不以為意的說道。
“你是直接去宴會廳嗎？”
“嗯，時間還早，我打算先回房間一趟，換一套衣服。”喬喻答道。
為了今天領獎跟做報告，喬曦讓喬喻穿了一套正裝，這讓習慣了穿運動服的喬喻感覺很別扭。
至于晚上的晚宴，喬喻覺得就沒必要穿得那么正式了。嗯，起碼得把那條讓他感覺憋悶的領帶給拿掉……
“好吧，剛剛彼得·舒爾茨讓我跟你說一聲，等會晚宴上他想跟你聊聊。”
“好的，等會晚宴上見。”
“弗蘭克，你不去參加晚宴嗎？”
“不，我感覺有些不舒服，可能是在飛機上感冒了。人多的場合我就不去了。”
“感冒了？好吧，那你好好休息，不要耽誤了后天的報告會。你知道的，這很重要。”
“放心吧，不會的！盧卡斯！”
喬喻換好了衣服，剛下電梯便看到了彼得·舒爾茨。
“咦？舒爾茨教授，我還以為你已經到宴會廳了。”
“杰克打電話給我，說你要回趟房間，我就正好在這里等你了。”
“有什么事嗎？正好邊走邊說。”喬喻扭頭看了眼身邊的鄭希文，老鄭干脆放慢了腳步。
彼得·舒爾茨開口問道：“還記得之前你問我最近在做什么嗎？”
喬喻點了點頭，說道：“當然記得你跟微軟的lean社區合作，參與液態張量實驗，希望能將數學定理形式化，并使用Lean對其進行驗證。”
彼得·舒爾茨熱切的說道：“所以你是否對這個項目感興趣？你知道的，如果能用一個統一的語言來對數學進行描述，這將大大提升定理證明器的工作效率。
在這方面，廣義模態公理體系的潛力巨大。事實上不止是我，達斯汀·克勞森對你的研究也非常感興趣。
但現在我們缺少對你的廣義模態公理體系足夠了解的人。毫無疑問你是最適合的。相信我，這是一項很有意義的工作。
如果我們能成功的話，將復雜的數學定理形式化，未來我們將能使用電腦去驗證許多復雜的數學定理，大大減輕未來數學的研究工作。”
喬喻有些猶豫。
說實話，他對這個項目的確有些興趣的。因為他對人工智能很感興趣。
雖然lean的本質是一個交互式定理證明器和函數式編程語言，其核心并不是人工智能。
但對于喬喻來說，如果能夠參與這項工作，喬喻覺得可以嘗試將這項工作跟人工智能結合，開發出專用的智能定理輔助證明工具來。
這其中最有價值的就是這個項目本身跟彼得·舒爾茨這么多年的積累跟研究。
猶豫自然還是因為喬喻那為數不多的道德感在作祟。
主要是彼得·舒爾茨現在已經很熟悉了，而且之前也算是幫過他不少，不太好意思直接黑。
如果是跟昨天早上那批人一樣的關系，喬喻可以毫不猶豫的答應下來，先把之前的研究資料要到手再說。
說不定未來他還能比微軟先擁有能夠輔助數學家證明驗證各種定理的技術，甚至說不定還能更進一步。
但這種事太熟了真就不好下手……
所以猶豫一會后，還是忍痛說道：“彼得，你知道的，我接下來的工作很多。真不一定抽得出時間來做這件事情。”
“沒事，我已經跟達斯汀·克勞森商量過了，你可以在華夏跟我們合作。我們遇到問題了，可以隨時用會議軟件溝通。”
彼得·舒爾茨熱情的說道。
“額……這樣好嗎？畢竟你們的研究難道就直接遠程發給我？”喬喻眨了眨眼問道。
彼得·舒爾茨詫異的問道：“為什么你會覺得這樣不好？lean本就是個開源社區。”
喬喻答道：“但據我所知，特定項目的具體細節性研究并不是開源的。我找過你的研究，并沒有詳細的資料公布出來。
而且這在未來可能涉及到一些標準的定義。你可能還不知道，我也打算開一家公司，”
“哈哈，喬，不要在意這些細節。事實上我們的研究并不會涉及到太多專利方面的東西。
當然，如果研究過程中，真的發現了具備實際應用價值的專利，我也覺得也是可以談的。”
彼得·舒爾茨大笑著解釋道。
喬喻眨了眨眼，有些不敢相信，微軟這么大方的？！
請：m.badaoge.info
