第502章 哥猜的正確打開方式(2/2)
懷爾斯立馬意識到,這不只是一個淺顯簡單的失誤,它甚至可能超出一個可修復缺陷的範疇!
如果這真的是一道裂縫,一個無法修補的缺陷,那將使得整個大定理的證明,崩塌殆盡!
然而,直到1993年12月,距劍橋演講已經過去了6個月的時間,懷爾斯也沒能修復這個缺陷。
這個數學界等待了幾個世紀的證明,在他的身後,搖搖欲墜。
也因為時間拖得太長,最終審稿無法完成,外界關於懷爾斯根本沒有證明費馬大定理的流言,開始流傳開來。
數學家們也開始要求他公開論文原稿,如果存在錯誤,同行們寄希望於某個人能魔術般地,看清並修復這些缺陷。
只不過,懷爾斯不準備讓他人,輕易攫取這份榮譽。
懷爾斯就像陳舟那樣,開啟了證明前的「閉關」模式。
這樣做的目的,一個是讓自己回到那種最初的狀態,好全力去修復這個缺陷。
另一個就是,避免受到外界的打擾。
因為隨著時間的推移,人們的想法已經變成了,懷爾斯必須要證明費馬大定理,如果不證明出來,那他必然將會有大麻煩。
只不過,即使是重新回到了最初的那種狀態,懷爾斯一時也無法完成論文中缺陷的修復。
最終,懷爾斯在好友的勸說下,邀請了他以前的學生,已經成為劍橋大學著名數論學家的泰勒,一起修復論文中的缺陷。
整個春季到夏季,懷爾斯和泰勒一直在工作,甚至常常在深夜裡,通過電話進行長時間討論。
他們也從最初的「局部化處理」,嘗試對懷爾斯不完備證明中使用的方法,進行小的改良,從而修正錯誤。
發展到了「擴大範圍,撒張更大的網,來找尋其他的方法」的情況。
但是,直到1994年9月,邁過了春夏兩季的他們,仍然沒有任何進展。
這時的懷爾斯,也已經準備向世界承認自己的失敗了。
只不過,上帝在懷爾斯向世界承認失敗的前一刻,將幸運降臨給了他。
懷爾斯決定最後再檢查一次,他最初證明費馬猜想所使用的方法和結構。
他試圖確切地找出那個數學邏輯框架不能奏效的原因,至少失敗也得讓他失敗的明明白白才行。
也就是在這種情況下,突然之間,完全出乎意料的,懷爾斯有了一個難以置信的發現。
他在曾經失敗的數學方法中,找到了三年前自己放棄的方法,也就是「岩澤理論」。
「岩澤理論」原本是用來證明另一個猜想的工具,而此刻,懷爾斯用它徹底彌補了數學邏輯框架里的那個致命缺陷。
也正是憑藉著這一理論,懷爾斯和泰勒很快就在幾個星期內,修復了論文中的漏洞。
在時隔兩年之久的1995年5月,他們在《數學年刊》上發布了集合所有工作的兩篇論文,包括最終的證明,以及附帶的討論,一共長達130頁。
由此可見,越是重大的證明,所需要經受的檢查和驗證,也越是嚴謹。
畢竟,數學是一門發展數千年的學科,如果讓錯誤的證明,成為磚瓦,那這門學科的千年大廈,說不定哪天就倒了。
不過,對於懷爾斯來說,雖然花費了很長的時間,這個過程也是驚心動魄的,但這終歸是一個可修復的缺陷。
懷爾斯仍然完成了費馬大定理的證明,也經受住了數學界的檢查和驗證。
他的證明,是被數學界所承認的。
而此刻陳舟所發現的,哈洛德·賀歐夫各特在論文中的缺陷,卻是無法修復和彌補的。
也不可能有什麼「岩澤理論」,能夠拯救這篇論文。
當然,陳舟為了確定不是自己一時激動,把驗證方法搞錯了。
他還特意又重新檢查,並且驗證了數遍。
同時,錯題集這一神器,也被陳舟巧妙的運用了一下。
錯題集上,不僅記錄了陳舟所驗證的錯誤,更是增厚了許多。
這也從側面說明了,就算是陳舟自己,對於哈洛德·賀歐夫各特論文中,運用分布解構法時所具有的缺陷,也是沒能修復的。
分布解構法的誕生,源於陳舟證明克拉梅爾定理。
當時從概率論、正態分布等等方面入手,結合篩法和圓法等解析數論的數學工具,最終才創造出分布解構法。
而哈洛德·賀歐夫各特在自己的論文中,卻忽視了分布解構法中的一個最基本的數學邏輯問題。
這個數學邏輯結構,遠遠比懷爾斯碰到的還要命。
因為這個數學邏輯結構,直接關係到的是分布解構法的核心邏輯。
說白了,就是這個數學邏輯結構,一旦忽視了,那分布解構法也就不存在了。
既然分布解構法都不存在了,那這證明從何而來?
也有可能不是哈洛德·賀歐夫各特忽視了這一數學邏輯結構。
只是如陳舟所說的,他太心急了。
畢竟,先前那連續的兩篇論文,已經將這件事抬到了一個非比尋常的高度。
如果他沒有像陳舟這樣選擇性的「失聯閉關」,那麼他是很有可能受到外界干擾的。
不管怎麼說,這都是困擾數學界數百年的難題啊!
但是話又說回來,如果不是哈洛德·賀歐夫各特的心急,現在的情況,到底如何,誰也不知道。
但現在,驗證完這一致命缺陷的陳舟,已經掌握了絕對的主動權。
也因此,陳舟才會想著繼續把自己證明哥猜的論文,發到預印本網站e-Print arXiv上。
總得讓大家看看哥猜的正確打開方式吧?
而且自己這麼長時間沒有發過聲,這會怎麼著也得站出來一下吧?
只是很可惜,也很無奈。
整個數學界,乃至數學界之外的人,都沉浸在哈洛德·賀歐夫各特的第三篇論文之中。
這個預印本網站e-Print arXiv,始終在卡著。
這也就有了後來,陳舟先進行投稿,再刷新e-Print arXiv網站的操作。
躺在床上的陳舟,又瞥了一眼電腦屏幕。
電腦屏幕一片空白,還是沒有刷新出來。
陳舟微微搖了搖頭,但卻沒有去關閉電腦,而是決定再等一會。
這會,陳舟的手機也已經開機。
一開機,他就聽到了一連串的音效聲響起。
那個消息的提示音,就沒停過……
陳舟也體驗了一把那種消息刷屏的感覺。
可不止聊天軟體的消息刷屏,手機簡訊那個圖標上的數字,也在不斷的跳躍著。
等了好一會,刷屏的消息才漸漸歇了下來。
陳舟不禁扶額,他的手機關機,聊天軟體全部斷開,再加上外界瘋傳的消息,估計得急瘋不少人。
在確定手機消息都跳完了之後,陳舟才撿起手機,一一查看起來。
幾乎所有有他聯繫方式的人,都給他發了消息。
詢問他的情況,以及哥猜證明的情況。
陳舟想了想,分別回復了這些人。
當然,那寫著「99+」的微博,在塵封了這麼久之後,也被陳舟打開了。
陳舟倒沒有一一回復網友們的關心,或者質問,或者謾罵。
他只是簡單更新了一條微博。
「時隔近一年,研究生的兩篇論文,終於也全部完成了。哦對,有一篇是哥猜的正確打開方式。」
在陳舟發了這篇微博之後,他一轉頭。
正好看見刷新出來的e-Print arXiv網站……