窗外的天蒙蒙亮。
趴在書桌上的陸舟,緩緩睜開了雙眼。
揉了揉有些酸澀的眉心,他看向了放在桌角的日歷。
都五月份了啊……
陸舟有些頭疼地晃了晃腦袋。
從他2月份來普林斯頓到現在,幾乎一大半的時間都呆在這間十平米的房子里,除了開車去超市買菜之外,他基本上都沒有出過門。
最讓他心疼的是那張5000美元的俱樂部卡,他甚至都沒用過幾次。
從領取那個任務之后,這將近半年的時間里,他一直在挑戰哥德巴赫猜想。
如今,這一切總算是有個結果了。
深呼吸了一口氣,陸舟從椅子上站了起來。
走到了最后一步的他,反而不那么著急了。
哼著小曲走進廚房,給自己弄了點吃的,陸舟甚至從冰箱里拿出了一支香檳,打開瓶蓋給自己倒上。
香檳是兩個月前就買好的,為的就是這一刻。
安靜地享用完這頓晚餐,陸舟從容不迫地去廚房洗了個手,然后回到了書桌前,開始為自己這一段時間的工作做個收尾。
越過了將近五十頁的論文紙,他在昨天未寫完便沉沉睡去的地方,提筆繼續寫道。
……顯見,我們有px1,1px,x11612pxx,p,xq2xlog4……30
……由式30、引理8、引理9、引理10,可證明定理1成立。
所謂的定理1,便是他在論文中,定義的哥德巴赫猜想的數學表述。
即,給定一個充分大的偶數n,存在素數p1和p2,滿足np1p2。
與之類似的便是陳氏定理np1p2p3,以及一系列關于pa,b的定理。
當然了,雖然現在在他的論文中,這條公式被稱為定理1,但也許要不了多久,等數學界普遍接受了他的證明過程,這條定理興許便會升級為“陸式定理”之類的東西。
不過,這種重大的數學猜想審稿周期一般會比較長。
佩雷爾曼證明龐加萊猜想的論文用了三年才被數學界認可,望月新一關于abc猜想的證明因為摻雜了大量的“神秘術語”,審稿門檻至少也得先讀懂他的“宇宙紀理論”才算是入門,所以直到現在也沒有人看完,預計未來也很困難。
一個重大猜想的審稿速度,很大程度上取決于這一命題的熱度,以及這項工作究竟“新”到了什么程度。
在證明孿生素數定理時,陸舟并沒有運用到特別新穎的理論,只是在澤爾貝格教授95年發表的那篇論文中提到的拓撲學方法進行了創新,已經研究過這篇論文的人,便可以很快了解到他做了哪些工作。
而證明波利尼亞克陸定理的論文,審稿周期明顯就拉長了一大截。
即便他的群構法在孿生素數定理的證明中已經有所體現,但其中魔改的成分也使得它遠遠偏離了篩法的范疇,即使審稿人是德利涅這種大牛,也用了不少時間才下最后的定論。
而這篇關于哥德巴赫猜想證明的論文,陸舟一共寫了五十頁,而其中更是至少花了一半的篇幅,去論述他為整個證明搭建的理論框架。
這一部分的工作,甚至可以單獨作為一篇論文發表了。
很大程度上他的審稿周期,取決于別人對他提出的理論框架的興趣,以及對他所提出的理論框架的接受程度。
至于具體需要多久,就不是他能控制的了。
其實陸舟以前就在思考,系統對于任務完成的判定標準,究竟是什么。
如果他對一個定理完成了證明,但十年甚至是幾十年,也無人認可他的工作,是否意味著他的任務就得卡上這么久?
而且最讓他不理解的是,既然系統的數據庫中儲存著龐大的數據,那么它必定來自一個高等文明至少這個文明比地球上的文明要發達。
且不去討論它存在的動機,陸舟覺得,確定一個問題是否被解決,來自高等文明的系統應該也不會參考“土著”的意見。
如此分析的話,陸舟得出的結論便是,系統任務的完成應該是由兩個因素判定。
一個是正確性。
另一個,便是公開!
其實,有一個很簡單的辦法可以驗證,他的證明是否正確。
如果只是為了公開的話,不一定得發到期刊上……
完成證明哥德巴赫猜想的論文之后,陸舟花了整整三天的時間,將紙上的東西整理到電腦中,并轉成了pdf格式的文件,然后登陸了arxiv的官網,將論文上傳。
正確性,他有九成以上的把握,因為他的習慣是對每一個結論都進行嚴謹的驗算,對所有可能出現錯誤的地方進行反復推敲。
至于公開。
沒有同行評審環節的arxiv,無疑是最快的選擇!
唯一的弊端可能就是和有些期刊、會議的投稿原則沖突,比如在截稿之前上傳論文可能會違反雙盲規則等等,不過陸舟現在也不是很在意這些東西了,而且他相信那些接收稿件的期刊,也不會在意那些細枝末節。
畢竟投稿人不再是什么無名小卒,而是柯爾數論獎的得主。報告的學術成果也不是什么默默無聞的工作,而是希爾伯特23問第八問中的哥德巴赫猜想,僅次于千禧難題的解析數論界的皇冠之一!
過兩天,他會再將論文重新整理一下,解決下格式上的問題,讓它看起來舒服一點,然后投稿數學年刊。
當初證明懷爾斯的那篇關于費馬大定理證明的論文,由六位審稿人同時審理,陸舟不知道自己的論文將由幾位大佬評審,但想來應該也不會少于四個吧?
看著網頁上彈出的上傳完畢的提示彈窗,陸舟長出了一口氣。
這樣一來,就算是完成公開了吧?
論文發表之后,關注這一領域的人或者研究單位,都會收到一個alert類似于提醒。不出意外的話,在地球上的某個角落,應該已經有人在看他的文章了。
就是不知道系統對于論文的閱讀量是否存在一個判定值,如果存在的話,就得等幾天才能驗證他的猜測了。
坐在電腦前,等了一杯咖啡的功夫,陸舟閉上雙眼,深呼吸了一口氣,輕聲默念。
“系統。”
當他再次睜開眼,入目已是一片純白。
距離上次回到這里,已經很有一段時間了,以至于這次進來這地方,陸舟甚至有些不適應的感覺。
走到了半透明的全息屏幕旁邊,他懷著一絲忐忑的心情,伸手按在了任務欄的位置。
很快他便能驗證自己的猜測……
同時,也能知道,自己的思路究竟是否正確。
等等……
就在這時,陸舟忽然意識到一個問題。
如果系統沒有給自己回應的話,那究竟是說明自己對任務完成判定的條件分析錯誤,還是說明自己的論文本身存在問題?
然而,系統并沒有給他思考這個問題的時間。
宛如天籟一般的提示音響起。
緊接著,一行文字映入他的眼簾。
恭喜宿主,完成任務!