喬源的目的很純粹，歐洲同行的目的同樣很純粹。
焦點還在於數學路線。又或者說，誰代表著最先進的數學思想。
這也讓許多人只感覺壓力山大。這其中當然包括了被所有歐洲人寄予厚望的彼得·舒爾茨。能力越大，責任越大，在哪裡都成立。但這並不單純因為能力問題，而是當人展現出能力後，已經享受了旁人根本無法享受的資源。顯然彼得·舒爾茨也逃不過這樣的宿命。
用一句網上的名言就是命運所饋贈的一切，早已經在暗中標註好了價格。
之前已經享受了幾乎所有榮光和資源，如果這個時候不能挺身而出，大機率會遭到反噬。只能說人在江湖，從來都是身不由己。也正是為了這件已經被全球數學家集體關注的直播，已經半退休的米歇爾·拉波波特專門來到馬普所跟他的愛徒見了一面。走進彼得·舒爾茨的辦公室裡，米歇爾·拉波波特甚至都沒有看一眼專門為他準備的咖啡，也沒有太多的客氣，剛坐在沙發上，便一臉期待地問道：“彼得，你們找到喬源那套理論的漏洞了嗎？”
開門見山的提問換來的是苦笑：“教授，先不提華夏喬的理論是否有漏洞，就算真有哪可能那麼快？”這是句大實話。
將理論中的每個定理拆解成機器能理解的語言，本就是個大工程。
這一工程還需要人工去反覆核准，保證翻譯之後的每句話都是準確的。
但這還沒完，計算機需要儘可能多的資料去跑，才可能去了解一個新的理論體系。
一個定理一個引理的去跑不但效率不高，還很難觸發到軟體本身的糾錯機制，給出的結論自然也不可信。只能說計算機不是魔法。
不管是ai輔助數學證明也好，彼得·舒爾茨一直在研究形式化驗證也罷，其本質依然是一種數學程式語言。在面對一種全新且成體系的理論時，首先得讓資料庫有足夠的輔助構造和前置引理才可能去驗證整套理論體系。而這種工作量往往是按年計算的。
當然，如果團隊裡所有人每天都加班兩小時，在放棄所有休假，一心撲在工作上，大概能提前些。但眾所周知，工作效率和工作時長往往不可兼得。
米歇爾·拉波波特其實也知道這些，更明白這就是科學的規律。
無非是喬源帶給他們所有人的壓力太大了。以至於不自覺心頭就生出了些不太實際的幻想，希望能有奇蹟出現。顯然，奇蹟之所以被稱之為奇蹟，就是因為出現的機率太低了。在統計學中，代表著幾乎可以忽路不計的機率。這次也是如此。
“那你打算在直播辯論的時候講些什麼？”
在失望和憂心雙重負面情緒壓力下，米歇爾·拉波波特又追問了句。
彼得·舒爾茨抬手揉了揉眉頭，沉默了片刻後，才開口說道：“他的文章只提出了量子素數，並沒有提及與自守形式建立函子性對應。換言之即便量子素數真實存在，也只是q(n)群表示範疇裡的一堆孤立物件，不可能構成任何綱領性理論。”聽到這句話，米歇爾·拉波波特臉上露出了一絲失望的情緒。
這個觀點雖然犀利，但卻是間接承認喬源的理論很可能是正確的，只不過現在缺失了一半而已。如果有一天喬源補全了理論，在兩者之間搭起了那座橋樑，就意味著整個數學框架正式成立。而且還是一個更宏大足以替代朗蘭茲綱領的數學框架。
這相當於把所有的希望寄託於對手能夠犯錯。
“我知道您會很失望，但我思考了很久，當下只有這個問題，可以為我們爭取足夠的時間。最重要的精力還是要放在形式化驗證上。”看出了米歇爾·拉波波特的不愉快，彼得·舒爾茨又解釋了句。
“我知道，我知道！”
米歇爾·拉波波特有些失神的連續應了兩句，隨後又問出了他不敢不願也不想面對的問題。“那如果華夏喬已經完成了整個數學框架的構造，只是還沒有對外公佈呢？”
這個問題讓彼得·舒爾茨愣了愣，隨後搖了搖頭，苦笑著答道：“老師，如果真是這樣，那說明朗蘭慈綱領的確過時了，如果我們不選擇擁抱新的時代，就會被時代拋棄。”
彼得·舒爾茨的話讓米歇爾·拉波波特下意識打了個寒顫。顯然這是他最不想聽到也最不願意面對的答案。如果朗蘭茲綱領還沒有完全解決，就已經過時了，那麼他們這輩子的努力算什麼？
當他死去若干年後，還會有人記得和關注他曾經那些被萬眾矚目的成果嗎？
畢竟他們所捍衛的從來都不僅僅是學術話語權，更是他們百年之後蓋棺定論時的學術評價。人們記得牛頓，記得愛因斯坦，更多是因為這些學術大佬提出的理論後世要一直學習和應用。如果他們研究了一輩子的理論，被更前沿更有發展潛力的新理論替代，他們的名字將跟他們的成果一起被掃進學術歷史的垃圾堆裡。當整個歐洲當代在數學上的努力都被否定，誰還會去關注其中某個人的名字？
也許幾十年後，就沒有人再記得他們。
年輕時或者無法體會。
。懼恐覺人讓更續延脈系直有沒比至甚這。此如是更，說來人名的位地會社高極著有目矚眾萬被曾些那是其尤。的怕可最是才覺的忘被定註種那，解理會才紀年定一了到人當但
。裡哪在葬先祖位這道知不至甚他，號符個一是只經已裡海腦的他在……親父的爺爺於至，了糊模常非經已憶記的爺爺他於關但，親父的他得記還特波波拉·爾歇米像好就。己自住記遠永會定一不並代後為因
。懼恐的心自發種這的師老解理法無還茨爾舒·得彼的時此然顯。因原的承傳脈是不而承傳想思學重注更往往者學是也。懼恐深最的下之智理在藏埋人名有所是就概大這
。已而定否被力努的子輩一了究研於甘不師老位這己自為以只茨爾舒·得彼的時此。候時的事後慮考要需到沒遠還，年壯值正，歲來十四過不才他，人生代年十八紀世上為作。輕年還他竟畢
。話實了說擇選他以所
？呢辦麼怎能還然不
……者承傳學是怕哪。通相難太喜悲有所間人說能只。扛論結實真有所跟去皮頭著能不總，諦真學數開揭以可論理的他，方一的理真了握掌是源喬了明證實事果如
。致興的去下聊續繼茨爾舒·得彼跟了沒經已他時此，頭點了點特波波拉·爾歇米”。度高的到達法無時暫論理新的喬夏華是治自的大龐種這，說其圓自能經已都面層多很在碼起領綱茲蘭朗且而。論定有沒還下當碼起錯誰對誰以所。應對的整完了到找經已能可不喬夏華得覺我，度程種那到沒還事“：道安口開又，對太不緒的特波波拉·爾歇米時此了出看茨爾舒·得彼在好
。了敗是定註方己道知就他時題辯開公的後考思茨爾舒·得彼剛剛到聽在，上際實
。歲四十二才年今方對但，說好還者學名知的十八老七位一是也源喬果如。示表的弱示種一是就本這整完夠不論理的方對是而，的論理方對者或又，好更論理的家自繞圍是不經已點論的方己，中論爭學在為因。疑質多太有會不也，們家學數些那的觀圍，問提的茨爾舒·得彼應回法無時播直源喬怕哪。抗頑隅負的下之奈無種一是就本這，上度進究研的方對於託寄希的有所把，合場的論辯開公界世全向個一在
。勢劣的大極是整完不論理種這得覺會人沒者觀旁
！整完不還論理項這怕哪，論理的出提所他諷嘲去敢不至甚能可不也，家學數的刻岢最怕哪到秀優，秀優夠足經已現表的年幾這源喬。的間空長要需是也才天竟畢。論理的證驗限有驗實理被經已些這善完去間時的多更人輕年給該就本得覺的識意下會家大，反相好恰
。題問的茨爾舒·得彼了答回面正中播直在源喬果如而
……明證出給場現至甚
。了去下考思在意願不經已特波波拉·爾歇米，吧好
