第502章 哥猜的正確打開方式
輕輕滑動鼠標(biāo)，陳舟點(diǎn)擊左鍵。
但很可惜，頁面卡住了，好一會都沒跳轉(zhuǎn)過來。
想了想，陳舟重新又打開了一個頁面。
將自己已完成的論文，進(jìn)行了上傳。
然后，投稿。
“這個預(yù)印本網(wǎng)站e-Print arXiv實(shí)在太卡了，我還是先把哥猜的證明投稿到《數(shù)學(xué)年刊》吧，回過頭來再看看能不能上次到這個網(wǎng)站……”
這樣想著的陳舟，按照《數(shù)學(xué)年刊》的網(wǎng)站要求，完成了哥猜證明論文的投稿。
只不過，當(dāng)他回過頭來看時，e-Print arXiv網(wǎng)站還在那卡著。
哈洛德·賀歐夫各特第三篇論文的威力，經(jīng)過了這么幾天的消化，仍是絲毫未減。
又等了一會，陳舟實(shí)在沒耐心了，他便把網(wǎng)頁在那掛著，自個拿著手機(jī)，回到了床上。
他竟然真的發(fā)現(xiàn)了論文中的缺陷！
那個消息的提示音，就沒停過……
當(dāng)然，這個缺陷，還不能小才行。
這也就有了后來，陳舟先進(jìn)行投稿，再刷新e-Print arXiv網(wǎng)站的操作。
怎么平常還算流暢的網(wǎng)站，今天會這么卡？
整個春季到夏季，懷爾斯和泰勒一直在工作，甚至常常在深夜里，通過電話進(jìn)行長時間討論。
等到登上去之后，他立馬就明白了。
就拿懷爾斯當(dāng)初證明費(fèi)馬猜想來說。
也不可能有什么“巖澤理論”，能夠拯救這篇論文。
每當(dāng)他們遇到一些無法理解的論證時，便會給懷爾斯發(fā)郵件。
于是，陳舟暫時放下了自己打算上傳的論文，轉(zhuǎn)而開始搜索哈洛德·賀歐夫各特所上傳的第三篇論文。
陳舟也體驗(yàn)了一把那種消息刷屏的感覺。
陳舟倒沒有一一回復(fù)網(wǎng)友們的關(guān)心，或者質(zhì)問，或者謾罵。
回不去的話，就直接趴在書桌上睡一會。
但當(dāng)他著手修復(fù)缺陷時，邏輯框架的碎片，瞬間開始脫落。
只是很可惜，也很無奈。
“巖澤理論”原本是用來證明另一個猜想的工具，而此刻，懷爾斯用它徹底彌補(bǔ)了數(shù)學(xué)邏輯框架里的那個致命缺陷。
把那個已經(jīng)再次厚起來的錯題集，變得薄一些。
也因此，陳舟才會想著繼續(xù)把自己證明哥猜的論文，發(fā)到預(yù)印本網(wǎng)站e-Print arXiv上。
即使那會的陳舟，已經(jīng)熬過一個通宵了。
但是，直到1994年9月，邁過了春夏兩季的他們，仍然沒有任何進(jìn)展。
錯題集上，不僅記錄了陳舟所驗(yàn)證的錯誤，更是增厚了許多。
整個數(shù)學(xué)界，乃至數(shù)學(xué)界之外的人，都沉浸在哈洛德·賀歐夫各特的第三篇論文之中。
如果他沒有像陳舟這樣選擇性的“失聯(lián)閉關(guān)”，那么他是很有可能受到外界干擾的。
在進(jìn)一步研究后，懷爾斯發(fā)現(xiàn)，這個問題是數(shù)學(xué)邏輯框架中的一個缺陷！
起初，懷爾斯認(rèn)為簡單的修復(fù)，應(yīng)該是可行的。
這個預(yù)印本網(wǎng)站e-Print arXiv，始終在卡著。
這也是那晚開著視頻，楊依依卻沒有打斷陳舟，反而陪著他研究到半夜的原因。
說白了，就是這個數(shù)學(xué)邏輯結(jié)構(gòu)，一旦忽視了，那分布解構(gòu)法也就不存在了。
陳舟微微搖了搖頭，但卻沒有去關(guān)閉電腦，而是決定再等一會。
此后，陳舟經(jīng)過短暫的休息過，就采取了完全的閉關(guān)模式。
將全部的精力，都放在了哥德巴赫猜想最后的攻堅(jiān)戰(zhàn)上面。
躺在床上的陳舟，又瞥了一眼電腦屏幕。
通過對諾特發(fā)來的手稿資料的研究，陳舟意外找到了那臨門一腳的靈感。
只不過，上帝在懷爾斯向世界承認(rèn)失敗的前一刻，將幸運(yùn)降臨給了他。
懷爾斯仍然完成了費(fèi)馬大定理的證明，也經(jīng)受住了數(shù)學(xué)界的檢查和驗(yàn)證。
但那又怎么樣？
在陳舟尋找到那轉(zhuǎn)瞬即逝的靈感時，他早就不在乎這些了。
另一個就是，避免受到外界的打擾。
代數(shù)女王的手稿，為他帶來了好運(yùn)。
陳舟不禁扶額，他的手機(jī)關(guān)機(jī)，聊天軟件全部斷開，再加上外界瘋傳的消息，估計得急瘋不少人。
其中一位，是普林斯頓大學(xué)的數(shù)學(xué)家尼克。
也只有完成之后，剛才伸懶腰的那會，陳舟才猛然感覺到好累。
最終，懷爾斯在好友的勸說下，邀請了他以前的學(xué)生，已經(jīng)成為劍橋大學(xué)著名數(shù)論學(xué)家的泰勒，一起修復(fù)論文中的缺陷。
數(shù)學(xué)家們也開始要求他公開論文原稿，如果存在錯誤，同行們寄希望于某個人能魔術(shù)般地，看清并修復(fù)這些缺陷。
而且不知道什么時候，對方就能夠把哥德巴赫猜想完全解決。
而哈洛德·賀歐夫各特在自己的論文中，卻忽視了分布解構(gòu)法中的一個最基本的數(shù)學(xué)邏輯問題。
電腦屏幕一片空白，還是沒有刷新出來。
只不過，懷爾斯不準(zhǔn)備讓他人，輕易攫取這份榮譽(yù)。
心想這次是真的做無用功了，徹底完了……
在時隔兩年之久的1995年5月，他們在《數(shù)學(xué)年刊》上發(fā)布了集合所有工作的兩篇論文，包括最終的證明，以及附帶的討論，一共長達(dá)130頁。
而且在陳舟的角度來看，這個缺陷，不可修復(fù)！
這樣做的目的，一個是讓自己回到那種最初的狀態(tài)，好全力去修復(fù)這個缺陷。
但現(xiàn)在，驗(yàn)證完這一致命缺陷的陳舟，已經(jīng)掌握了絕對的主動權(quán)。
直到今天，陳舟終于完成了哥德巴赫猜想的證明！
也完成了整個長達(dá)101頁的證明論文！
他們也從最初的“局部化處理”，嘗試對懷爾斯不完備證明中使用的方法，進(jìn)行小的改良，從而修正錯誤。
然而，直到1993年12月，距劍橋演講已經(jīng)過去了6個月的時間，懷爾斯也沒能修復(fù)這個缺陷。
難道自己沒日沒夜拼出來的研究成果，還是晚了嗎？
既然分布解構(gòu)法都不存在了，那這證明從何而來？
陳舟想了想，分別回復(fù)了這些人。
也正是憑借著這一理論，懷爾斯和泰勒很快就在幾個星期內(nèi)，修復(fù)了論文中的漏洞。
這篇論文的結(jié)果，也確實(shí)寫著證明了哥德巴赫猜想成立。
一開機(jī)，他就聽到了一連串的音效聲響起。
可是，一旦最后驗(yàn)證的結(jié)果，論文里的證明有缺陷的話。
懷爾斯是向數(shù)學(xué)四大期刊之一的《數(shù)學(xué)新進(jìn)展》，提交了長達(dá)200頁的證明的。
在確定手機(jī)消息都跳完了之后，陳舟才撿起手機(jī)，一一查看起來。
而此刻陳舟所發(fā)現(xiàn)的，哈洛德·賀歐夫各特在論文中的缺陷，卻是無法修復(fù)和彌補(bǔ)的。
可不止聊天軟件的消息刷屏，手機(jī)短信那個圖標(biāo)上的數(shù)字，也在不斷的跳躍著。
同時，陳舟的心里也咯噔了一下。
在完成了哥猜的證明之后，陳舟第一時間想的，也是趕緊上傳到預(yù)印本網(wǎng)站e-Print arXiv上。
就這樣，閉關(guān)的陳舟，尋著那一絲從手稿中得到的靈感，開始了沒日沒夜的爆肝研究。
哥德巴赫猜想研究的歷史上，不會有他陳舟名字。
所謂的時間觀念，也早不知道被拋到了哪里。
因?yàn)檫@個數(shù)學(xué)邏輯結(jié)構(gòu)，直接關(guān)系到的是分布解構(gòu)法的核心邏輯。
如果最后驗(yàn)證的結(jié)果，沒有問題的話。
通常，一個證明被提出之后，是必須要經(jīng)過仔細(xì)的檢查和驗(yàn)證，才可能被承認(rèn)。
這時的懷爾斯，也已經(jīng)準(zhǔn)備向世界承認(rèn)自己的失敗了。
花了好一陣功夫，陳舟才將這第三篇論文下載下來。
懷爾斯立馬意識到，這不只是一個淺顯簡單的失誤，它甚至可能超出一個可修復(fù)缺陷的范疇！
如果這真的是一道裂縫，一個無法修補(bǔ)的缺陷，那將使得整個大定理的證明，崩塌殆盡！
只不過，即使是重新回到了最初的那種狀態(tài)，懷爾斯一時也無法完成論文中缺陷的修復(fù)。
隨即，陳舟便打開論文，看了起來。
所以在登陸網(wǎng)站時，他還很納悶。
由此可見，越是重大的證明，所需要經(jīng)受的檢查和驗(yàn)證，也越是嚴(yán)謹(jǐn)。
因?yàn)殡S著時間的推移，人們的想法已經(jīng)變成了，懷爾斯必須要證明費(fèi)馬大定理，如果不證明出來，那他必然將會有大麻煩。
與外界處在暫時的失聯(lián)狀態(tài)。
這會的陳舟，是并不知道哈洛德·賀歐夫各特已經(jīng)上傳了第三篇論文的。
畢竟，這個課題不同以往，是有著直接競爭者的。
畢竟，數(shù)學(xué)是一門發(fā)展數(shù)千年的學(xué)科，如果讓錯誤的證明，成為磚瓦，那這門學(xué)科的千年大廈，說不定哪天就倒了。
這篇論文確實(shí)是哈洛德·賀歐夫各特的最終論文。
他還特意又重新檢查，并且驗(yàn)證了數(shù)遍。
那陳舟確確實(shí)實(shí)，就是輸了。
大概率還比自己要快上一些。
躺在床上的陳舟，心情還算不錯。
所以，陳舟在掃完關(guān)鍵詞和摘要時，只感覺心里哇涼哇涼的。
這也從側(cè)面說明了，就算是陳舟自己，對于哈洛德·賀歐夫各特論文中，運(yùn)用分布解構(gòu)法時所具有的缺陷，也是沒能修復(fù)的。
他和同事一起，花了兩個月時間，仔細(xì)檢查了所負(fù)責(zé)部分的每個邏輯環(huán)節(jié)。
他只想通過自己的方式，去解決哥猜這個橫亙了近三百年的難題。
當(dāng)然，陳舟為了確定不是自己一時激動，把驗(yàn)證方法搞錯了。
在陳舟的眼里，腦海里，除了哥德巴赫猜想的內(nèi)容，再無其他。
輕嘆了口氣，陳舟準(zhǔn)備驗(yàn)證這篇論文中的內(nèi)容。
當(dāng)然，那寫著“99+”的微博，在塵封了這么久之后，也被陳舟打開了。
那陳舟的機(jī)會，也就來了。
幾乎所有有他聯(lián)系方式的人，都給他發(fā)了消息。
不管怎么說，這都是困擾數(shù)學(xué)界數(shù)百年的難題?。?
但是話又說回來，如果不是哈洛德·賀歐夫各特的心急，現(xiàn)在的情況，到底如何，誰也不知道。
總得讓大家看看哥猜的正確打開方式吧？
而且自己這么長時間沒有發(fā)過聲，這會怎么著也得站出來一下吧？
但到了8月底，懷爾斯對一個問題的解釋，卻無法說服兩位審稿人。
而自己的研究，很可能變得毫無價值。
當(dāng)時從概率論、正態(tài)分布等等方面入手，結(jié)合篩法和圓法等解析數(shù)論的數(shù)學(xué)工具，最終才創(chuàng)造出分布解構(gòu)法。
不過，對于懷爾斯來說，雖然花費(fèi)了很長的時間，這個過程也是驚心動魄的，但這終歸是一個可修復(fù)的缺陷。
他只想將最終的答案，書寫在自己的草稿紙上。
因?yàn)檫@個缺陷，來自于分布解構(gòu)法！
是陳舟最為熟悉的內(nèi)容！
詢問他的情況，以及哥猜證明的情況。
懷爾斯決定最后再檢查一次，他最初證明費(fèi)馬猜想所使用的方法和結(jié)構(gòu)。
他的證明，是被數(shù)學(xué)界所承認(rèn)的。
畢竟，先前那連續(xù)的兩篇論文，已經(jīng)將這件事抬到了一個非比尋常的高度。
懷爾斯就像陳舟那樣，開啟了證明前的“閉關(guān)”模式。
看著電腦上的論文，陳舟頂著嚴(yán)重黑眼圈的眼睛，愈發(fā)顯得沒有了神采。
他試圖確切地找出那個數(shù)學(xué)邏輯框架不能奏效的原因，至少失敗也得讓他失敗的明明白白才行。
發(fā)展到了“擴(kuò)大范圍，撒張更大的網(wǎng)，來找尋其他的方法”的情況。
也有可能不是哈洛德·賀歐夫各特忽視了這一數(shù)學(xué)邏輯結(jié)構(gòu)。
也就是在這種情況下，突然之間，完全出乎意料的，懷爾斯有了一個難以置信的發(fā)現(xiàn)。
這會，陳舟的手機(jī)也已經(jīng)開機(jī)。
同時，錯題集這一神器，也被陳舟巧妙的運(yùn)用了一下。
而懷爾斯會及時回復(fù)郵件，澄清問題。
等了好一會，刷屏的消息才漸漸歇了下來。
雖然前面有一個領(lǐng)先自己半步的數(shù)學(xué)家。
只是如陳舟所說的，他太心急了。
他在曾經(jīng)失敗的數(shù)學(xué)方法中，找到了三年前自己放棄的方法，也就是“巖澤理論”。
這個數(shù)學(xué)界等待了幾個世紀(jì)的證明，在他的身后，搖搖欲墜。
實(shí)在困了，能回床上，就回床上。
這也是他現(xiàn)在唯一翻盤的機(jī)會了。
這個數(shù)學(xué)邏輯結(jié)構(gòu)，遠(yuǎn)遠(yuǎn)比懷爾斯碰到的還要命。
也因?yàn)闀r間拖得太長，最終審稿無法完成，外界關(guān)于懷爾斯根本沒有證明費(fèi)馬大定理的流言，開始流傳開來。
先把這個坑給占好了再說。
隨著陳舟對論文驗(yàn)證的推進(jìn)，他原本跌到谷底的心，又逐漸站了起來。
也就是手機(jī)關(guān)機(jī)，聊天軟件全部斷開。
醒了之后，再繼續(xù)。
分布解構(gòu)法的誕生，源于陳舟證明克拉梅爾定理。
該期刊的編輯，隨后便將這份手稿分發(fā)給了6位審稿人。
他只是簡單更新了一條微博。
“時隔近一年，研究生的兩篇論文，終于也全部完成了。哦對，有一篇是哥猜的正確打開方式?！?
在陳舟發(fā)了這篇微博之后，他一轉(zhuǎn)頭。
正好看見刷新出來的e-Print arXiv網(wǎng)站……
感謝書友神農(nóng)存世打賞的100起點(diǎn)幣！
感謝書友焰紅雪打賞的100起點(diǎn)幣！
(本章完)