窗外的天蒙蒙亮。
趴在書桌上的陸舟,緩緩睜開了雙眼。
了有些酸的眉心,他看向了放在桌角的日歷。
都五月份了啊……
陸舟有些頭疼地晃了晃腦袋。
從他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問第八問中的哥德赫猜想,僅次于千禧難題的解析數論界的皇冠之一!
過兩天,他會再將論文重新整理一下,解決下格式上的問題,讓它看起來舒服一點,UU看書 www.uukanshu.com然后投稿數學年刊。
當初證明懷爾斯的那篇關于費馬大定理證明的論文,由六位審稿人同時審理,陸舟不知道自己的論文將由幾位大佬評審,但想來應該也不會于四個吧?
看著網頁上彈出的上傳完畢的提示彈窗,陸舟長出了一口氣。
這樣一來,就算是完公開了吧?
論文發表之后,關注這一領域的人或者研究單位,都會收到一個alert類似于提醒。不出意外的話,在地球上的某個角落,應該已經有人在看他的文章了。
就是不知道系統對于論文的閱讀量是否存在一個判定值,如果存在的話,就得等幾天才能驗證他的猜測了。
坐在電腦前,等了一杯咖啡的功夫,陸舟閉上雙眼,深呼吸了一口氣,輕聲默念。
“系統。”
當他再次睜開眼,目已是一片純白。
距離上次回到這里,已經很有一段時間了,以至于這次進來這地方,陸舟甚至有些不適應的覺。
走到了半明的全息屏幕旁邊,他懷著一忐忑的心,手按在了任務欄的位置。
很快他便能驗證自己的猜測……
同時,也能知道,自己的思路究竟是否正確。
等等……
就在這時,陸舟忽然意識到一個問題。
如果系統沒有給自己回應的話,那究竟是說明自己對任務完判定的條件分析錯誤,還是說明自己的論文本存在問題?
然而,系統并沒有給他思考這個問題的時間。
宛如天籟一般的提示音響起。
接著,一行文字映他的眼簾。
恭喜宿主,完任務!
喪屍爆發,人類絕境來臨,地球磁場瞬變,一切迴歸最初,回到原始。 末世,我來了。
廢土世界,在人家因為一包餅干而大打出手時,林峰美滋滋的吃著菲力牛排。在人家因為一把斧頭當武器而爭得頭破血流時,林峰已經98K外加八倍境,肩上還扛著等粒子火神炮。沒辦法,誰叫天上隔三差五的總是掉空投補給,還只有林峰一個人看得見,你說氣不氣。除了食物水各類武器彈藥,還有…… “靠,這,這不是超神學院的天使彥嘛?咦,這尼瑪不是斗破的蕭薰兒嘛,我去,還有進擊的巨人里面的三立?這,這莫非是王者榮耀的妲己?咦這妲己居然還可以換裝?我去,全撿走全撿走。”
洛傾塵作為混沌時空一隻死了三萬年的孤魂, 為求不被灰飛煙滅,她與高冷係統繫結,穿梭於各個時空之間完成任務! 遇到小白花?直接打臉不解釋; 遇到傻炮灰?幫忙攢寶兩不誤; 遇見真男神?通通隻剩寵寵寵! 係統:啟稟主人,#宿主成天都欺負我怎麼辦?線上等,挺急的。# 某男神:換個係統。係統:ヽ〔?Д?〕丿