第235章 證明哥猜!

窗外的天矇矇亮。

趴在書桌上的陸舟,緩緩睜開了雙眼。

揉了揉有些酸澀的眉心,他看向了放在桌角的日曆。

都五月份了啊……

陸舟有些頭疼地晃了晃腦袋。

從他2月份來普林斯頓到現在,幾乎一大半的時間都呆在這間十平米的房子裡,除了開車去超市買菜之外,他基本上都沒有出過門。

最讓他心疼的是那張5000美元的俱樂部卡,他甚至都沒用過幾次。

從領取那個任務之後,這將近半年的時間裡,他一直在挑戰哥德巴赫猜想。

如今,這一切總算是有個結果了。

深呼吸了一口氣,陸舟從椅子上站了起來。

走到了最後一步的他,反而不那麼着急了。

哼着小曲走進廚房,給自己弄了點吃的,陸舟甚至從冰箱裡拿出了一支香檳,打開瓶蓋給自己倒上。

香檳是兩個月前就買好的,爲的就是這一刻。

安靜地享用完這頓晚餐,陸舟從容不迫地去廚房洗了個手,然後回到了書桌前,開始爲自己這一段時間的工作做個收尾。

越過了將近五十頁的論文紙,他在昨天未寫完便沉沉睡去的地方,提筆繼續寫道。

【……顯見,我們有Px(1,1)≥P(x,x^{1/16})-(1/2)∑Px(x,p,x)-Q/2-x^(log4)……(30)】

【……由式(30)、引理8、引理9、引理10,可證明定理1成立。】

所謂的定理1,便是他在論文中,定義的哥德巴赫猜想的數學表述。

即,給定一個充分大的偶數N,存在素數P1和P2,滿足N=P1+P2。

與之類似的便是陳氏定理N=P1+P2·P3,以及一系列關於P(a,b)的定理。

當然了,雖然現在在他的論文中,這條公式被稱爲定理1,但也許要不了多久,等數學界普遍接受了他的證明過程,這條定理興許便會升級爲“陸式定理”之類的東西。

不過,這種重大的數學猜想審稿週期一般會比較長。

佩雷爾曼證明龐加萊猜想的論文用了三年才被數學界認可,望月新一關於ABC猜想的證明因爲摻雜了大量的“神秘術語”,審稿門檻至少也得先讀懂他的“宇宙紀理論”纔算是入門,所以直到現在也沒有人看完,預計未來也很困難。

一個重大猜想的審稿速度,很大程度上取決於這一命題的熱度,以及這項工作究竟“新”到了什麼程度。

在證明孿生素數定理時,陸舟並沒有運用到特別新穎的理論,只是在澤爾貝格教授95年發表的那篇論文中提到的拓撲學方法進行了創新,已經研究過這篇論文的人,便可以很快了解到他做了哪些工作。

而證明波利尼亞克-陸定理的論文,審稿週期明顯就拉長了一大截。

即便他的羣構法在孿生素數定理的證明中已經有所體現,但其中魔改的成分也使得它遠遠偏離了篩法的範疇,即使審稿人是德利涅這種大牛,也用了不少時間才下最後的定論。

而這篇關於哥德巴赫猜想證明的論文,陸舟一共寫了五十頁,而其中更是至少花了一半的篇幅,去論述他爲整個證明搭建的理論框架。

這一部分的工作,甚至可以單獨作爲一篇論文發表了。

很大程度上他的審稿週期,取決於別人對他提出的理論框架的興趣,以及對他所提出的理論框架的接受程度。

至於具體需要多久,就不是他能控制的了。

其實陸舟以前就在思考,系統對於任務完成的判定標準,究竟是什麼。

如果他對一個定理完成了證明,但十年甚至是幾十年,也無人認可他的工作,是否意味着他的任務就得卡上這麼久?

而且最讓他不理解的是,既然系統的數據庫中儲存着龐大的數據,那麼它必定來自一個高等文明——至少這個文明比地球上的文明要發達。

且不去討論它存在的動機,陸舟覺得,確定一個問題是否被解決,來自高等文明的系統應該也不會參考“土著”的意見。

如此分析的話,陸舟得出的結論便是,系統任務的完成應該是由兩個因素判定。

一個是正確性。

另一個,便是公開!

其實,有一個很簡單的辦法可以驗證,他的證明是否正確。

如果只是爲了公開的話,不一定得發到期刊上……

……

完成證明哥德巴赫猜想的論文之後,陸舟花了整整三天的時間,將紙上的東西整理到電腦中,並轉成了PDF格式的文件,然後登陸了Arxiv的官網,將論文上傳。

正確性,他有九成以上的把握,因爲他的習慣是對每一個結論都進行嚴謹的驗算,對所有可能出現錯誤的地方進行反覆推敲。

至於公開。

沒有同行評審環節的Arxiv,無疑是最快的選擇!

唯一的弊端可能就是和有些期刊、會議的投稿原則衝突,比如在截稿之前上傳論文可能會違反雙盲規則等等,不過陸舟現在也不是很在意這些東西了,而且他相信那些接收稿件的期刊,也不會在意那些細枝末節。

畢竟投稿人不再是什麼無名小卒,而是柯爾數論獎的得主。報告的學術成果也不是什麼默默無聞的工作,而是希爾伯特23問第八問中的哥德巴赫猜想,僅次於千禧難題的解析數論界的皇冠之一!

過兩天,他會再將論文重新整理一下,解決下格式上的問題,讓它看起來舒服一點,然後投稿《數學年刊》。

當初證明懷爾斯的那篇關於費馬大定理證明的論文,由六位審稿人同時審理,陸舟不知道自己的論文將由幾位大佬評審,但想來應該也不會少於四個吧?

看着網頁上彈出的上傳完畢的提示彈窗,陸舟長出了一口氣。

這樣一來,就算是完成公開了吧?

論文發表之後,關注這一領域的人或者研究單位,都會收到一個alert(類似於提醒)。不出意外的話,在地球上的某個角落,應該已經有人在看他的文章了。

就是不知道系統對於論文的閱讀量是否存在一個判定值,如果存在的話,就得等幾天才能驗證他的猜測了。

坐在電腦前,等了一杯咖啡的功夫,陸舟閉上雙眼,深呼吸了一口氣,輕聲默唸。

“系統。”

當他再次睜開眼,入目已是一片純白。

距離上次回到這裡,已經很有一段時間了,以至於這次進來這地方,陸舟甚至有些不適應的感覺。

走到了半透明的全息屏幕旁邊,他懷着一絲忐忑的心情,伸手按在了任務欄的位置。

很快他便能驗證自己的猜測……

同時,也能知道,自己的思路究竟是否正確。

等等……

就在這時,陸舟忽然意識到一個問題。

如果系統沒有給自己迴應的話,那究竟是說明自己對任務完成判定的條件分析錯誤,還是說明自己的論文本身存在問題?

然而,系統並沒有給他思考這個問題的時間。

宛如天籟一般的提示音響起。

緊接着,一行文字映入他的眼簾。

【恭喜宿主,完成任務!】

第599章 有人在調查你第1590章 有一種熱衷八卦的生物叫數學家第247章 普林斯頓的第一堂課(4/4)第1227章 大氣改造物質?第876章 一小時內搞定第340章 投稿JACS(2/3)第339章 勝利的曙光第1245章 幾個菜喝成這樣?第243章 普林斯頓最年輕的教授第1270章 外科手術(1/4)第1308章 百年路線圖第925章 權衡(4/4)第425章 衆望所歸第1602章 超空間實驗第251章 棋逢對手第1446章 陸院士曾經說過第1181章 驚弓之鳥第1477章 籠罩的陰雲第1165章 帝國末日第1543章 你師父拯救世界去了第1185章 2000也不在話下……第633章 想造火箭嗎?第790章 不,你們需要第1380章 感情牌第699章 倒數就交給你了第1496章 爆磁壓縮第475章 身爲一隻有夢想的科研狗第608章 併網發電第六十四章 賽區答辯第157章 抵達瑞士!第1365章 短暫的閒暇第1367章 地獄尋寶第1265章 湖之女神會祝福你第1669章 他的大腦纔是真正的奇蹟第853章 那就“說服”他們!第834章 商業化與規模化第543章 人品爆發?第1341章 超級纖維第339章 勝利的曙光第130章 先皇的信第五十章 不會學以致用的學霸不是真學霸第501章 搭建超算第724章 踏上那片星空第1377章 有所隱瞞的報道第1474章 迫在眉睫的麻煩第474章 至少也得是博士後吧第二章 學霸的人生不需要解釋第1184章 暴風雨來的總是突然第1181章 驚弓之鳥第181章 帶你去見個人第266章 材料學,LV3!第609章 解的存在性證明第579章 可能這就是長得帥的好處?第508章 碳基芯片的展望第1064章 Z博士又出手了!第846章 量子計算機?!第423章 系統的彩蛋?第128章 系統,來瓶芬達第1281章 瞧瞧我這稀疏的腦門第746章 亞利桑那州的“巨蛋”第537章 赫爾姆斯的對策第787章 SOS?第1642章 你被捕了第820章 月面質量投射器第494章 整裝待發第一百一十七章 抵達普林斯頓!第877章 成長第1061章 真正的粉絲第834章 商業化與規模化第282章 自贊先鋒第379章 更大的發射功率!(4/4)第1185章 2000也不在話下……第1331章 我將辭去理事會職務!第1069章 聽說你在找我第909章 物理與航天的盛會!(四更求票!)第1038章 絕症冷凍治療權益保障基金第342章 不是所有人都能笑到最後第三十二章 黑科技的正確操作方式其實是爆肝?第236章 一杯咖啡的時間第1046章 每平方毫米一千萬!第319章 這次還是《科學》吧第859章 決戰金陵之巔?第282章 自贊先鋒第412章 陸氏流形?第166章 戒嚴第204章 一個令人羨慕的煩惱第1622章 諾亞方舟第629章 看起來比較學術第1298章 百年物理大會的邀請第1588章 那通天的高塔正在拔地而起第1328章 突破天際的獎金!第1556章 另外一種可能第十三章 你們不嫌丟人,我都嫌丟人!第572章 科學家有國籍第495章 訪問團抵達(1/3)第209章 抵達加州第一百零六章 因吹斯汀第989章 打退堂鼓(1/4)第294章 最佳青年報告人第740章 路線抉擇
第599章 有人在調查你第1590章 有一種熱衷八卦的生物叫數學家第247章 普林斯頓的第一堂課(4/4)第1227章 大氣改造物質?第876章 一小時內搞定第340章 投稿JACS(2/3)第339章 勝利的曙光第1245章 幾個菜喝成這樣?第243章 普林斯頓最年輕的教授第1270章 外科手術(1/4)第1308章 百年路線圖第925章 權衡(4/4)第425章 衆望所歸第1602章 超空間實驗第251章 棋逢對手第1446章 陸院士曾經說過第1181章 驚弓之鳥第1477章 籠罩的陰雲第1165章 帝國末日第1543章 你師父拯救世界去了第1185章 2000也不在話下……第633章 想造火箭嗎?第790章 不,你們需要第1380章 感情牌第699章 倒數就交給你了第1496章 爆磁壓縮第475章 身爲一隻有夢想的科研狗第608章 併網發電第六十四章 賽區答辯第157章 抵達瑞士!第1365章 短暫的閒暇第1367章 地獄尋寶第1265章 湖之女神會祝福你第1669章 他的大腦纔是真正的奇蹟第853章 那就“說服”他們!第834章 商業化與規模化第543章 人品爆發?第1341章 超級纖維第339章 勝利的曙光第130章 先皇的信第五十章 不會學以致用的學霸不是真學霸第501章 搭建超算第724章 踏上那片星空第1377章 有所隱瞞的報道第1474章 迫在眉睫的麻煩第474章 至少也得是博士後吧第二章 學霸的人生不需要解釋第1184章 暴風雨來的總是突然第1181章 驚弓之鳥第181章 帶你去見個人第266章 材料學,LV3!第609章 解的存在性證明第579章 可能這就是長得帥的好處?第508章 碳基芯片的展望第1064章 Z博士又出手了!第846章 量子計算機?!第423章 系統的彩蛋?第128章 系統,來瓶芬達第1281章 瞧瞧我這稀疏的腦門第746章 亞利桑那州的“巨蛋”第537章 赫爾姆斯的對策第787章 SOS?第1642章 你被捕了第820章 月面質量投射器第494章 整裝待發第一百一十七章 抵達普林斯頓!第877章 成長第1061章 真正的粉絲第834章 商業化與規模化第282章 自贊先鋒第379章 更大的發射功率!(4/4)第1185章 2000也不在話下……第1331章 我將辭去理事會職務!第1069章 聽說你在找我第909章 物理與航天的盛會!(四更求票!)第1038章 絕症冷凍治療權益保障基金第342章 不是所有人都能笑到最後第三十二章 黑科技的正確操作方式其實是爆肝?第236章 一杯咖啡的時間第1046章 每平方毫米一千萬!第319章 這次還是《科學》吧第859章 決戰金陵之巔?第282章 自贊先鋒第412章 陸氏流形?第166章 戒嚴第204章 一個令人羨慕的煩惱第1622章 諾亞方舟第629章 看起來比較學術第1298章 百年物理大會的邀請第1588章 那通天的高塔正在拔地而起第1328章 突破天際的獎金!第1556章 另外一種可能第十三章 你們不嫌丟人,我都嫌丟人!第572章 科學家有國籍第495章 訪問團抵達(1/3)第209章 抵達加州第一百零六章 因吹斯汀第989章 打退堂鼓(1/4)第294章 最佳青年報告人第740章 路線抉擇