第235章 證明哥猜!

bookmark

窗外的天矇矇亮。

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

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

都五月份了啊……

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

從他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(類似於提醒)。不出意外的話,在地球上的某個角落,應該已經有人在看他的文章了。

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

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

“系統。”

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

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

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

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

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

等等……

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

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

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

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

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

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

第八十章 陸舟,你火了!第1427章 遠方的故人第1651章 星門閃耀第十八章 逼死強迫症的100經驗第827章 長得帥需要爲這種事情煩惱嗎?第509章 未來的路是你們自己的第466章 順路去趟法國第780章 手術第1579章 不到3%的成功率第1323章 那我就演示給你看好了第1516章 寂靜無聲第786章 太空4.0時代第八十五章 原來是有高人相助第1487章 威脅?你也配?第823章 IMU的來信第162章 愛德華·威滕第891章 我原來這麼流弊?(求月票)第1111章 宇宙是完美的第1500章 植入義體第284章 球形問題第681章 爲情所困的羅師兄?第438章 來自馬普學會的感謝信?第1624章 畫展第576章 意料之外的蛋糕?第600章 股市有風險第548章 如火如荼第1645章 論⑨菜的收割技巧第1213章 宇宙之外的絃音第186章 意料之外的重逢第五十六章 再窮也不能讓孩子輸在起跑線上第677章 舉手表決第1393章 人聯的雛形第942章 一個能打的都沒有?(3/4)第175章 自然週刊的採訪第235章 證明哥猜!第一百零九章 對於學霸而言,證書這東西總不嫌多第735章 可以吹一輩子的大事兒第285章 有錢的感覺確實不一樣第1158章 心結第760章 收網第828章 想換輛車嗎?第225章 鬧鬼了?第247章 普林斯頓的第一堂課(4/4)第835章 外交場合的晚宴第1112章 放出的風聲第208章 專利的國際化第1008章 預測未來?第183章 一座金礦第501章 搭建超算第883章 有一個牛逼的老哥是一種怎樣的體驗第416章 不平靜的六月(2/3)第783章 遇到了一點小小的麻煩第796章 還是你腹黑第1398章 明日星球第1405章 文明的墳墓第1104章 不會冤枉一個好人,也不會放過一個壞人第184章 開始實驗!第1590章 有一種熱衷八卦的生物叫數學家第341章 立大功了(3/3)第374章 又到了愉快的爆肝時刻了(2/3)第136章 帥不過三秒第1353章 在太空上組裝!第1400章 未來的糧倉第985章 他們死定了!第1422章 神秘來信第六十六章 全國冠軍!第894章 Lu-Bewley模型第五十八章 建模隊長第1346章 你們應該更多的考慮年輕人第1489章 投資我自己第973章 “時來運轉”的斯坦利教授(2/5)第932章 我們已經決定了,就由你來當這個理事長(3/4)第1109章 最後的舞臺第1068章 又被人盯上了?第1322章 未能通過初選?第419章 屠版的NS方程第1311章 我想送你一顆星星第923章 Z博士的身份!(2/4)第1618章 這世界也太瘋狂了第919章 小艾,交給你了(2/4)第一百一十二章 年度人物頒獎!第629章 看起來比較學術第187章 趁現在多叫兩聲,要不以後就沒機會了第420章 舉世矚目的盛會第1390章 被擠癱瘓的預印本文獻庫第760章 收網409章 一種粘滯係數很高的流體(2/3)第257章 準備面試第1150章 我們的物理,遠遠不止於標準模型第755章 陸教授牛逼!第776章 未來的事情交給未來第1607章 前往天倉五的計劃第683章 紫金山上的一夜(2/3)第444章 我就是想請你吃個飯第770張 深空中的對望第674章 100MW!第635章 解決質量間隙的關鍵第五十三章 送上門來的貸款第824章 遠方的朋友們第691章 競爭對手
第八十章 陸舟,你火了!第1427章 遠方的故人第1651章 星門閃耀第十八章 逼死強迫症的100經驗第827章 長得帥需要爲這種事情煩惱嗎?第509章 未來的路是你們自己的第466章 順路去趟法國第780章 手術第1579章 不到3%的成功率第1323章 那我就演示給你看好了第1516章 寂靜無聲第786章 太空4.0時代第八十五章 原來是有高人相助第1487章 威脅?你也配?第823章 IMU的來信第162章 愛德華·威滕第891章 我原來這麼流弊?(求月票)第1111章 宇宙是完美的第1500章 植入義體第284章 球形問題第681章 爲情所困的羅師兄?第438章 來自馬普學會的感謝信?第1624章 畫展第576章 意料之外的蛋糕?第600章 股市有風險第548章 如火如荼第1645章 論⑨菜的收割技巧第1213章 宇宙之外的絃音第186章 意料之外的重逢第五十六章 再窮也不能讓孩子輸在起跑線上第677章 舉手表決第1393章 人聯的雛形第942章 一個能打的都沒有?(3/4)第175章 自然週刊的採訪第235章 證明哥猜!第一百零九章 對於學霸而言,證書這東西總不嫌多第735章 可以吹一輩子的大事兒第285章 有錢的感覺確實不一樣第1158章 心結第760章 收網第828章 想換輛車嗎?第225章 鬧鬼了?第247章 普林斯頓的第一堂課(4/4)第835章 外交場合的晚宴第1112章 放出的風聲第208章 專利的國際化第1008章 預測未來?第183章 一座金礦第501章 搭建超算第883章 有一個牛逼的老哥是一種怎樣的體驗第416章 不平靜的六月(2/3)第783章 遇到了一點小小的麻煩第796章 還是你腹黑第1398章 明日星球第1405章 文明的墳墓第1104章 不會冤枉一個好人,也不會放過一個壞人第184章 開始實驗!第1590章 有一種熱衷八卦的生物叫數學家第341章 立大功了(3/3)第374章 又到了愉快的爆肝時刻了(2/3)第136章 帥不過三秒第1353章 在太空上組裝!第1400章 未來的糧倉第985章 他們死定了!第1422章 神秘來信第六十六章 全國冠軍!第894章 Lu-Bewley模型第五十八章 建模隊長第1346章 你們應該更多的考慮年輕人第1489章 投資我自己第973章 “時來運轉”的斯坦利教授(2/5)第932章 我們已經決定了,就由你來當這個理事長(3/4)第1109章 最後的舞臺第1068章 又被人盯上了?第1322章 未能通過初選?第419章 屠版的NS方程第1311章 我想送你一顆星星第923章 Z博士的身份!(2/4)第1618章 這世界也太瘋狂了第919章 小艾,交給你了(2/4)第一百一十二章 年度人物頒獎!第629章 看起來比較學術第187章 趁現在多叫兩聲,要不以後就沒機會了第420章 舉世矚目的盛會第1390章 被擠癱瘓的預印本文獻庫第760章 收網409章 一種粘滯係數很高的流體(2/3)第257章 準備面試第1150章 我們的物理,遠遠不止於標準模型第755章 陸教授牛逼!第776章 未來的事情交給未來第1607章 前往天倉五的計劃第683章 紫金山上的一夜(2/3)第444章 我就是想請你吃個飯第770張 深空中的對望第674章 100MW!第635章 解決質量間隙的關鍵第五十三章 送上門來的貸款第824章 遠方的朋友們第691章 競爭對手