畢竟,這個課題不同以往,是有著直接競爭者的。
這會的陳舟,是并不知道哈洛德·賀歐夫各特已經上傳了第三篇論文的。
所以在登陸網站時,他還很納悶。
怎么平常還算流暢的網站,今天會這么卡?
等到登上去之后,他立馬就明白了。
同時,陳舟的心里也咯噔了一下。
難道自己沒日沒夜拼出來的研究成果,還是晚了嗎?
于是,陳舟暫時放下了自己打算上傳的論文,轉而開始搜索哈洛德·賀歐夫各特所上傳的第三篇論文。
花了好一陣功夫,陳舟才將這第三篇論文下載下來。
隨即,陳舟便打開論文,看了起來。
這篇論文確實是哈洛德·賀歐夫各特的最終論文。
這篇論文的結果,也確實寫著證明了哥德巴赫猜想成立。
所以,陳舟在掃完關鍵詞和摘要時,只感覺心里哇涼哇涼的。
心想這次是真的做無用功了,徹底完了……
看著電腦上的論文,陳舟頂著嚴重黑眼圈的眼睛,愈發顯得沒有了神采。
輕嘆了口氣,陳舟準備驗證這篇論文中的內容。
這也是他現在唯一翻盤的機會了。
如果最后驗證的結果,沒有問題的話。
那陳舟確確實實,就是輸了。
哥德巴赫猜想研究的歷史上,不會有他陳舟名字。
可是,一旦最后驗證的結果,論文里的證明有缺陷的話。
那陳舟的機會,也就來了。
當然,這個缺陷,還不能小才行。
隨著陳舟對論文驗證的推進,他原本跌到谷底的心,又逐漸站了起來。
他竟然真的發現了論文中的缺陷!
而且在陳舟的角度來看,這個缺陷,不可修復!
因為這個缺陷,來自于分布解構法!
是陳舟最為熟悉的內容!
通常,一個證明被提出之后,是必須要經過仔細的檢查和驗證,才可能被承認。
就拿懷爾斯當初證明費馬猜想來說。
懷爾斯是向數學四大期刊之一的《數學新進展》,提交了長達200頁的證明的。
該期刊的編輯,隨后便將這份手稿分發給了6位審稿人。
其中一位,是普林斯頓大學的數學家尼克。
他和同事一起,花了兩個月時間,仔細檢查了所負責部分的每個邏輯環節。
每當他們遇到一些無法理解的論證時,便會給懷爾斯發郵件。
而懷爾斯會及時回復郵件,澄清問題。
但到了8月底,懷爾斯對一個問題的解釋,卻無法說服兩位審稿人。
在進一步研究后,懷爾斯發現,這個問題是數學邏輯框架中的一個缺陷!
起初,懷爾斯認為簡單的修復,應該是可行的。
但當他著手修復缺陷時,邏輯框架的碎片,瞬間開始脫落。