第380頁

    其他管理笑成了一團，笑完青出於藍問道：「那你們這次有空跑團嗎?」

    這些年陳頌和童一淮偶爾休息的時候，如果時間充裕也會跑跑團，當然開團是沒這個時間了，畢竟想要開好一個團，需要的備團時間也不短。

    當歌：「小青有團啊。不過應該沒空，我就這兩天盯一盯，沒什麼問題的話就要繼續研究了，在我解決哥德巴赫猜想或者放棄解決哥德巴赫猜想之前，應該都沒空跑團。」

    真的是人類：「我也沒空，雖然我現在主要在研究所那邊，但其實很多工作在學校也可以完成。」

    雖然童一淮的工作需要對撞機的幫助，但對撞機也並不是隨時都可以啟動的，每進行一次質子對撞，需要的準備時間很長，在此期間童一淮對研究所那邊也做不到更多的事情。

    栗子：「解決或者放棄……這麼幹脆的嗎?」

    當歌：「是啊，因為我的主要目的不是為了證明哥德巴赫猜想，當然如果能證明最好了。」

    海納百川：「我聽說過哥德巴赫猜想，聽說是已經證明到了1+2，然後現在要證明1+1。所以，是要證明1+1=2嗎?」

    當歌：「不是，1+1=2早就被用皮亞諾公理證明了。哥德巴赫猜想的1+1，指的是一個素數加上一個素數，也就是說任何一個大於2的偶數都可以表示成兩個素數的和。」

    栗子：「所以，1+1=2，原來真的需要證明啊。我從來沒有想過，這需要證明!」

    海納百川：「我知道，素數就是質數，質數一定是奇數，兩個奇數相加不是一定是偶數嗎?」

    當歌：「1+1=2的證明很簡單，你們也能看懂，感興趣的話可以去搜索一下看看。」

    當歌：「噗!百川這個就是典型的民科證明方法了。但是你們中學階段應該都學過數學邏輯，知道什麼叫做充分條件和必要條件，以及充分必要條件，充分非必要條件，還有必要非充分條件吧?先不說素數一定是奇數這句話就是錯的，就算它是對的，奇數一定是素數嗎?這個結論可以很容推翻，比如9，這是個奇數，但不是個素數。」

    當歌：「至於前者，最小的素數2是個偶數，雖然它是唯一的例外。因為你的前提錯誤，所以你的結論也是錯的，兩個素數相加不一定是偶數，2和任何一個除2以外的素數相加都是奇數。另外，就算不考慮2這個特殊情況，假設兩個素數相加一定是偶數，但這能證明一個偶數一定可以寫成兩個素數相加嗎?」

    青鸞：「一定要證明它嗎?我不是很理解，我不是說它有什麼實際作用，而是我們不證明它不可以嗎?」

    當歌：「當然，一定要證明。因為雖然這個結論看起來是對的，但在我們能夠用科學的方法證明它之前，它只是看起來是對的，我們不能說它一定是對的。猜想只是個猜想，雖然我們現在先把它當對的用，但還是有一定的機率，它其實是錯的。就在以前，人們覺得地球是宇宙的中心，並且這看起來好像是對的，但我們現在知道，它是錯的。」

    青鸞：「那我有點明白了。就是說有一個結論，它起來是真理，但實際上它也有可能是錯誤的，只有通過邏輯嚴密的證明才能確定它是不是真理。」

    當歌：「差不多是這麼個意思，只不過在我們數學領域，更願意把這種陳述稱為定理。」

    玉兔啼血：「這個我知道，以前的數學書上見過很多定理。還有當歌之前證明的那些猜想，現在也都是定理了，聽說還是用當歌的名字命名的。」

    當歌：「嗯，按照數學界的慣例，會用證明定理的人名字為這個定理命名，但有些時候大家還是會習慣性地叫某某猜想。」

    長城不倒：「說了半天，其實我比較關心，當歌直接把接下來要做的工作說出來可以嗎?我聽說你們學術界也有學術競爭的說法。」

    當歌：「有啊，但是沒關係。哥德巴赫猜想本來就有一些數學家在研究的，無論我是否在研究這個猜想都一樣。而且這個猜想想要證明非常困難，如果這麼容易就能被證明出來的話，根本輪不到我，所以無所謂。」

    青鸞：「我看出來了，當歌很自信。」

    栗子：「你在說什麼傻話?菲獎得主，科學院院士，自信不是應該的嗎?」

    青鸞：「有道理，是我狹隘了。」

    陳頌哭笑不得，把話題又扯到了跑團上，在群里和他們瞎聊了一個晚上，續上友情。

    之後正如陳頌和童一淮計劃的那樣，沒等期末考試結束，他們就又投入到了忙碌的工作之中，工作之餘唯一的閒暇則按照唐院士的安排去準備評選工程院院士的事情了。

    次年2月，有瀏覽預印本網站習慣的數學家們發現這個網站上出現了一篇名為《哥德巴赫猜想的證明過程》的論文，他們的第一反應是誰把該放在民科分類的文章放到了這裡。

    但很快他們就改變了自己的想法，因為他們在論文作者那一欄看到了陳頌的名字，他的名字本身就是論文質量的保證。

    預印本網站，顧名思義就是將自己尚未通過期刊審核的論文發布其上的平台，當然發展到現在也並不是只有投稿給期刊的論文才會發布在這裡。