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