約翰留著長長的鬍子 作品

第二十五章,有人在證明哥德巴赫猜想

    中國工程院BBS有最初始的功能——公佈工程院近期公開動態的版面,有各高校的分版,有學術/學科分類版,當然人氣最高的永遠是閒聊大雜燴的“工程特快”。

    主席的新書上傳帖子、書評是發在“讀書”版。

    今天“工程特快”有不少討論在中南海門口遞登月飛船圖紙的老伯,北航的學生老師在裡面不斷地科普地月飛行、運載火箭,如何軟著陸等等基礎知識。

    基本上今天的“工程特快”就是圍繞各種業餘設計做的評析/批駁。

    在一堆一堆不斷出現的帖子中,唐華看見了一個新的主題:

    《哥德巴赫猜想,我有了新的突破性進展》

    額……今天是民科集體詐屍出動的日子?

    這是哪位民科……不對。發這個帖子的id用的是一串字母,仔細一看是漢語拼音:

    cheingrun

    帖子信息是1966.6.6,gcyBBS

    唐華嘴裡的瓜子都掉了。

    看看時間七點半,蘇步青應該還沒睡,唐華趕緊給蘇步青家裡打個電話。

    “蘇老,您還沒休息吧?……是這樣的,你們中科院數學所有一位叫陳景潤的研究員,您有印象吧?”

    蘇步青:“當然有印象了,就是我把他從廈門大學調到中科院數學所的。”

    唐華:“陳景潤在網上發佈了他對哥德巴赫猜想(1,2)的證明過程的簡略提要,我看了幾眼,他的證明思路挺清晰的,不知道您覺得怎麼樣?還有,他有沒有把完全版的論文發表出去?”

    蘇步青:“他的論文全稿當然投出去了。我看了看,和你一樣,也只是粗略的看,證明思路清晰,幾個證明階段步驟都很可信,但沒有完全讀懂。數學研究嗎,以前未涉足過的分支要看進去是很費時間的,是王元和潘承洞給他的論文審的稿。”

    唐華:“那就是要發在《數學通報》上了。”

    蘇步青:“對。”

    ……

    陳景潤做出了歌猜1+2的初版證明。

    還是在1966年。

    不過,這次他在網上先發布了這個消息。

    “因為BBS只能一行一行地顯示數字,公式很難表達出來,所以我把論文的書頁文件上傳到FTP了,大家有興趣可以去那裡看。看論文需要安裝計算機所朱院士的字處理/公式編輯軟件。還有,我的論文有120多頁,文件比較大,內存小的計算機可能會報錯。”

    在主席的FTP裡,唐華找到了陳景潤的論文。看了開頭幾頁,放棄,還是看他在論壇發的簡略提要吧……

    哥德巴赫猜想於1742年提出。從1742年到1900年,全世界的數學家不但沒解開這道看似很簡單的猜想,甚至不知道該如何下手。唯一的進步是不斷用蠻力把一個又一個越來越大的偶數拆成兩個素數之和。

    進入20世紀,數學界總算找到了兩種可以逼近歌猜真相的路線:圓法和篩法,然後開始吭哧吭哧地往前爬。

    在篩法路線,1920年挪威數學家布朗證明了9+9,也就是任何一個大於4的偶數可以表示為兩個素因子不大於9的殆素數之和(它要麼是個素數,要麼是一個由最多9位素數相乘而得來的合數)。

    1924年拉馬赫證明了7+7,然後這兩個數字不斷縮小,1948年證明了1+c,1962年王元證明了1+4,1965年也就是去年,1+3也證明出來了。

    陳景潤證明的是1+2,任何一個大於4的偶數可以表示為一個素數和一個素因子不大於2的數之和。

    哥德巴赫猜想的終點是1+1,任何一個大於4的偶數可以表示為兩個素數之和。

    1+2和1+1之間就差億點點(指間銀河)。

    1+2的“陳氏定理”在推出後頭20年大家還覺得是一個階段性的突破,表明大家攻克歌猜的進程已經“站在了點球線上”,五年之內肯定證明歌猜。

    後來……現在都2021年了。現在公認最後證明1+1歌猜,用篩法簡直是不可能的,而新的數學方法還沒能拿出來,大家只能說越發的膜拜陳景潤。

    唐華又打電話給華羅庚——他算是陳景潤的老師,讓數學通報再找幾個人一起看陳景潤的論文,看完之後讓數學通報出一個專刊,別的不發,就只發陳景潤的完全版論文。