他甚至都沒法怪這三位大佬。因為人家直接拿當初幾何朗蘭茲猜想舉了例子。
當初喬喻就是從那一點點漏洞中,找出了反例,所以現在暫時還沒有認可論文的四位大佬也希望透過這種方式找到反例。
好吧,對於喬喻來說,這的確是個很讓人煩惱的事情。他倒不太在乎能否在世界數學家大會前搞定論文,主要是天天呆在華清跟一幫老頭子探討這些數學理論太悶了……
大半個學期都快過完了,他幾乎啥都沒幹就耗一篇論文上了。這沉沒成本太高了……
畢竟如果搞不定這些傢伙,他就拿不到克雷研究所的獎金。而且如果他把時間用在計算平臺上,說不定現在已經可以開始盈利了。
所以趁著對面找反例的時候,他也在想辦法透過邏輯彌補這個被挑出來的小漏洞。
好在問題不大,喬喻花費了一週時間,補全了這一塊的證明過程。
主要就是證明了對映f的單射性跟滿射性,並驗證了逆對映f^1唯一性、完備性、對稱性,表明f和f^1在邏輯上是一致的,且彼此之間沒有資訊丟失。
論文中也新增了一個唯一性定理:如果模態空間M是完備的高維連續空間,且對映f:M→C透過正則的特徵函式g(r定義,那麼f是雙射,且存在唯一的逆對映 f^{1}:C→M,該對映不丟失任何模態空間的資訊。
並在六月十八日晚上九點主動發起了視訊會議。
對面也很給面子,審稿人來了九位,另外三位審稿人雖然有事,但也叫了合作者來旁聽,然後直接把主要證明過程甩了過去。
然後丟出一句話:“各位尊敬的審稿人,這一證明過程相信已經完美的補足了你們所質疑的唯一性漏洞!”
說這番話的時候喬喻心裡是有脾氣的,畢竟他之前可是在田言真跟袁老面前誇下了海口,他的證明完美無瑕。
最終事實證明,好像並沒有那麼完美無瑕。還是被挑出了毛病,好在不是那種需要一年半載去驗證的毛病,不然他這一張小臉就沒處擱了……
所有人開始認真的研究喬喻的證明過程。
大概十分鐘後,陶軒之率先發言:“我沒什麼問題了,這個證明過程其實跟我的想法差不多。”
說完,陶軒之大概覺得光這麼說有些尷尬,乾脆把自己之前的一些手稿也上傳到了會議室。
喬喻瞅了眼陶軒之的證明過程,心裡舒服了許多。嗯,看來這些審稿人還真不是在挑他的毛病,找反例也有人在想如何幫他補足這個小漏洞。
不過說是差不多,陶軒之的思路跟他還是有些區別的。
比如陶軒之是先假設模態空間M是緊緻的,但其區域性結構可能允許多個模態路徑Γi存在重疊或交叉點。即:
然後透過限制特定的約束條件,來讓f具備全域性唯一性。不過喬喻覺得陶軒之的方法還是太複雜了,多了一個從區域性到全域性的過程……
又過了一會,彼得·舒爾茨跟皮埃爾·德里尼也點了點頭,認可了喬喻的證明。
最後詹姆斯·梅納德也摘下了眼鏡,開啟麥克風說了句:“好吧,我也沒什麼問題了。恭喜你,喬喻,你證明了黎曼猜想!”
一直旁聽的洛特·杜根笑了,然後也開啟了麥克風:“好吧,看來各位審稿人都沒有意見了,那麼我會把這一段證明過程加入到論文中去。
感謝各位審稿人的支援。數學年刊打算針對喬喻這篇論文發一份特刊!同時也感謝喬喻對我們的支援!大家都辛苦了。”
說實話,此時的洛特·杜根心情是激動的。
證明了黎曼猜想的論文,終究是發在了《數學年刊》上。
“等等……那個我還有點想法。”就在大家都鬆了一口氣的時候,喬喻突然說道。
所有人的目光都集中到了喬喻身上,雖然是透過鏡頭。
尤其是洛特·杜根,甚至有些緊張。
“就是經過這些天的思考,我提出了三個新的猜想,希望也加入到論文中去。”喬喻眨了眨眼睛說道。