“你好……”
一場記者招待會下來，喬喻隻覺得頭昏腦漲。
沒辦法，說是四位菲爾茲獎獲得者都參加，但很明顯一堆的記者都是衝著他來的。
除了少數有同情心的記者，也不知道是看到喬喻說的嘴快乾了，還是看到其他三位菲爾茲獎獲得者坐在台上太無聊。
又或者不想讓本國的獲得者顯得太尷尬，問了其他三人幾個不痛不癢的問題外，其他記者都衝著喬喻去的。
當然這也不能全怪記者們。
畢竟喬喻更有話題性。
曆史上最年輕的菲爾茲獎獲得者，又特彆敢說，剛剛中午的時候又對許多記者出言不遜，此時正是喬喻熱度最高的時候，大家都期盼著喬喻嘴裡才說出些爆炸般的話題。
真的，現在TikTok上喬喻中午說他綁架了一個外星人的那段視頻都已經快被傳瘋了！熱度高到爆表！
被觀看最多的視頻，已經播放了500多萬次。相關視頻已經累計播放了兩千多萬次。
這種誇張的言辭正常人肯定是不相信的！但架不住隻要網友的基數夠大，就肯定不全是正常人！
是的，鄭希文擔心的沒錯，還真有很多人相信了，已經有人開始在網上號召大家一起行動起來，從邪惡的華夏人手中營救外星人……
甚至還已經發起了募捐，離譜的是，還真有人捐贈。根據募捐網站上顯示，短短一個下午，這個活動已經募捐到了23美元。
真的，當喬喻從記者口中聽到這個消息的時候都驚呆了，而更驚訝的是，記者竟然還問他怎麼看待這個問題。
於是當即就直接很詫異的回了一連串的反問。
“不可能吧？西方人民現在都這麼貧窮了嗎？一個下午相關視頻播放量突破兩千萬次了，一個營救生命的募捐竟然才募集到300多美元？這太讓人失望了！自由價值觀呢？博愛精神呢？錢呢？”
真的，當時喬喻這番話說出口時，坐在他左邊的傑克·索恩下意識的垂下頭聳肩，右邊的亞曆克斯則茫然的扭頭看向喬喻……
站在下方的鄭希文則分外無語的抬起頭看向天花板。看吧，他就知道，小孩子不聽話這種事，光念叨兩句是沒用的，還是得揍……
但話又說回來，這種喜歡語出驚人的家夥恰好又是記者最喜歡的那種類型。
也就是現場維護秩序的主持人也聽不下去，主動拿起了話筒。
先是恭維現場的記者都是專業記者，然後直接要求現場記者多問些與學術研究相關的專業性問題，而不是一些沒有腦子的問題，後麵的招待會才得以順利進行。
起碼直到記者招待會結束，沒人再提關於外星人這種問題……
……
“喬，很抱歉，你知道的，這些記者就是喜歡追逐那些亂七八糟的熱點。”
記者招待會終於結束之後，傑克·索恩主動拉著喬喻說道。
“哈哈，我知道，我就是跟大家開個玩笑。”喬喻不以為意的說道。
“你是直接去宴會廳嗎？”
“嗯，時間還早，我打算先回房間一趟，換一套衣服。”喬喻答道。
為了今天領獎跟做報告，喬曦讓喬喻穿了一套正裝，這讓習慣了穿運動服的喬喻感覺很彆扭。
至於晚上的晚宴，喬喻覺得就沒必要穿得那麼正式了。嗯，起碼得把那條讓他感覺憋悶的領帶給拿掉……
“好吧，剛剛彼得·舒爾茨讓我跟你說一聲，等會晚宴上他想跟你聊聊。”
“好的，等會晚宴上見。”
……
“弗蘭克，你不去參加晚宴嗎？”
“不，我感覺有些不舒服，可能是在飛機上感冒了。人多的場合我就不去了。”
“感冒了？好吧，那你好好休息，不要耽誤了後天的報告會。你知道的，這很重要。”
“放心吧，不會的！盧卡斯！”
……
喬喻換好了衣服，剛下電梯便看到了彼得·舒爾茨。
“咦？舒爾茨教授，我還以為你已經到宴會廳了。”
“傑克打電話給我，說你要回趟房間，我就正好在這裡等你了。”
“有什麼事嗎？正好邊走邊說。”喬喻扭頭看了眼身邊的鄭希文，老鄭乾脆放慢了腳步。
彼得·舒爾茨開口問道：“還記得之前你問我最近在做什麼嗎？”
喬喻點了點頭，說道：“當然記得你跟微軟的lean社區合作，參與液態張量實驗，希望能將數學定理形式化，並使用Lean對其進行驗證。”
彼得·舒爾茨熱切的說道：“所以你是否對這個項目感興趣？你知道的，如果能用一個統一的語言來對數學進行描述，這將大大提升定理證明器的工作效率。
在這方麵，廣義模態公理體係的潛力巨大。事實上不止是我，達斯汀·克勞森對你的研究也非常感興趣。
但現在我們缺少對你的廣義模態公理體係足夠了解的人。毫無疑問你是最適合的。相信我，這是一項很有意義的工作。
如果我們能成功的話，將複雜的數學定理形式化，未來我們將能使用電腦去驗證許多複雜的數學定理，大大減輕未來數學的研究工作。”
喬喻有些猶豫。
說實話，他對這個項目的確有些興趣的。因為他對人工智能很感興趣。
雖然lean的本質是一個交互式定理證明器和函數式編程語言，其核心並不是人工智能。
但對於喬喻來說，如果能夠參與這項工作，喬喻覺得可以嘗試將這項工作跟人工智能結合，開發出專用的智能定理輔助證明工具來。
這其中最有價值的就是這個項目本身跟彼得·舒爾茨這麼多年的積累跟研究。
猶豫自然還是因為喬喻那為數不多的道德感在作祟。
主要是彼得·舒爾茨現在已經很熟悉了，而且之前也算是幫過他不少，不太好意思直接黑。
如果是跟昨天早上那批人一樣的關係，喬喻可以毫不猶豫的答應下來，先把之前的研究資料要到手再說。
說不定未來他還能比微軟先擁有能夠輔助數學家證明驗證各種定理的技術，甚至說不定還能更進一步。
但這種事太熟了真就不好下手……
所以猶豫一會後，還是忍痛說道：“彼得，你知道的，我接下來的工作很多。真不一定抽得出時間來做這件事情。”
“沒事，我已經跟達斯汀·克勞森商量過了，你可以在華夏跟我們合作。我們遇到問題了，可以隨時用會議軟件溝通。”
彼得·舒爾茨熱情的說道。
“額……這樣好嗎？畢竟你們的研究難道就直接遠程發給我？”喬喻眨了眨眼問道。
彼得·舒爾茨詫異的問道：“為什麼你會覺得這樣不好？lean本就是個開源社區。”
喬喻答道：“但據我所知，特定項目的具體細節性研究並不是開源的。我找過你的研究，並沒有詳細的資料公布出來。
而且這在未來可能涉及到一些標準的定義。你可能還不知道，我也打算開一家公司，”
“哈哈，喬，不要在意這些細節。事實上我們的研究並不會涉及到太多專利方麵的東西。
當然，如果研究過程中，真的發現了具備實際應用價值的專利，我也覺得也是可以談的。”
彼得·舒爾茨大笑著解釋道。
喬喻眨了眨眼，有些不敢相信，微軟這麼大方的？！