第377章 反擊從現(xiàn)在開始！

    次日。

    科大生命醫(yī)學大樓。

    院長辦公室。

    “小徐，你說啥？”

    看著面前被口罩包得嚴嚴實實的徐云，田良偉罕見的有些失態(tài)：

    “你說你把梅森素數(shù)的無窮性證明出來了？”

    雖然田良偉是個實打實的生物從業(yè)者，但這不代表他對于數(shù)學領域一無所知。

    至少對于現(xiàn)存的幾大數(shù)學難題，他還是叫得上名字的。

    比如哥德巴赫猜想。

    比如黎曼猜想。

    比如孿生素數(shù)和費馬素數(shù)。

    又比如……

    梅森素數(shù)的無窮性。

    誠然。

    和千禧年的七大難題相比，梅森素數(shù)遠遠算不上t1級別。

    但這并不代表梅森素數(shù)就是個爛大街的課題。

    如果田良偉沒記錯的話。

    他有幾位數(shù)學學部的院士好友……比如陳恕行院士、張平文院士等人就在做這方面的研究。

    另外國內每年也會批下百萬級的經費……或者說超算核時，用來尋找最新的梅森素數(shù)。

    想到這里。

    田良偉不由拿起徐云遞來的手稿，不過看了幾秒上頭的數(shù)學符號后便猛地拍回到了桌上：

    “mmp，眼瞎了，老子沒事找事看數(shù)學論文干啥？”

    隨后他拿起桌上的水杯抿了口水，沉吟片刻，拿起電話撥通了一個號碼。

    很快。

    電話對頭傳來了數(shù)學學院院長、科大現(xiàn)任常務副校長張睿的聲音：

    “喂，田院長？”

    “是我，老張，有空過來一趟不？”

    “額，田院長，我在外頭釣魚呢，要不咱們明天再說？”

    “明天啊……也行吧，我聽小徐說他證明了梅森素數(shù)的無窮性，就尋思著要不讓你回來一趟看看……”

    “……？？？”

    幾秒鐘后。

    電話對頭傳來了一些“你這魚還要不要啊”、“我便宜點賣給你”之類的雜音。

    不過很快，這些雜音便被張睿的高分貝給蓋了過去：

    “你說啥？？”

    一個小時后。

    張睿風風火火的闖入了田良偉的辦公室，絲毫看不出此前斯文的模樣：

    “田院長，驗證過程呢？”

    田良偉指了指桌上一份厚厚的文稿：

    “這兒呢?！?/br>
    話音剛落。

    張睿便一個箭步竄到了辦公桌邊，看也不看徐云，拿著筆和紙開始對起了文件。

    “先證明不存在奇完全數(shù)……”

    “σ（n）≠2{p^（a1＋1/1）－1}/{p1－1}·……”

    “唔，這一步怎么跳過來的？哦，考慮乘法群了……”

    “p={p1，p2，……}，排為升序，假設∑p∈p1收斂，則an為一些互異的小素數(shù)的乘積……妙啊……”

    張睿就這樣旁若無人的在辦公室內驗算了起來，徐云和田良偉倒也很識趣的沒有打斷他。

    對于一個數(shù)學佬來說，打斷推演基本上等同于幫釣魚佬下?lián)凭W的時候失了手，很容易得罪人。

    就這樣。

    四十多分鐘一晃而過。

    終于。

    張睿在一張全新的a4紙上停下了筆尖。

    只見他沉默了足足有小半分鐘，才寫下了一句話：

    “所以，梅森素數(shù)的無窮性可證?！?/br>
    隨后他放下手中的筆，看了眼面露期待的田良偉，緩緩點了點頭：

    “田院長，從我這次的演算來看，小徐推導出的結果應該是沒多大問題的。”

    “不過這只是一次簡單草算，類似摸個梗概，只能確定關鍵原理不存在漏洞，不能代表最終結論?！?/br>
    “像梅森素數(shù)這種級別的難題真正的核驗計算量很大，同時一旦宣布被破譯，必然會有無數(shù)業(yè)內業(yè)外的從業(yè)者和愛好者進行演算?！?/br>
    “一般來說，想要真正終定小徐的驗證無誤，最少都需要半年以上?！?/br>
    田良偉輕輕點了點頭，表示自己明白。

    正如張睿所言。

    梅森素數(shù)作為數(shù)學界極為重要的猜想之一，每年幾乎都有許多人宣稱對它完成了證明。

    因此這類問題想要通過最終裁定，無論是流程還是時間都相當復雜。

    比如說證明了費馬定理的安德魯·懷爾斯。

    安德魯·懷爾斯在1993年6月宣布證明了費馬定理，不過在同年12月他就承認了自己步驟上存在問題，直到1994年10月25日才公布了正確的第二版論證。

    當時他通過他以前的學生、美國俄亥俄州立大學教授卡爾·魯賓，向全球各大數(shù)學學會發(fā)送了費馬大定理的完整證明郵件。

    但直到一年六個月后，數(shù)學界才正式承認了他的推導正確。

    還有證明了龐加萊猜想的格里戈里·佩雷爾曼。

    這位數(shù)學界隱士在2002年11月起就公布了相關證明步驟，但直到2006年才真正被認定破解了龐加萊猜想。

    因為這種問題涉及到的計算量實在是太大太大了。

    大到了即便徐云事先獲得了高斯對于奇完全數(shù)不存在的證明、也依舊需要用一個小時的‘小麥附體’來計算出相關結果。

    所以即便是是張睿，此時也只敢說是‘草算’。

    一般來說。

    這種證明出爐后。

    首先會由推導者所在的學校發(fā)表聲明，接著再選擇一篇期刊發(fā)表正文或者預印版。

    同時把相關證明附錄在學校網站或者發(fā)給諸如歐洲數(shù)學學會、牛津數(shù)學學會之類的老牌機構，然后進行漫長的復驗。

    正常情況下。

    梅森素數(shù)這種基數(shù)的猜想，最少都需要經過eth、weizmann、牛津、劍橋、波恩、馬普所、巴黎六big、nyu、ucla這些學校的驗證，方才能算是最終核驗完成。

    如果不是這幾年情況特殊不方便出國，照理還要參加一些線下的論壇來接受‘拷問’。

    當然了。

    還是那句話。

    榮譽歸榮譽，熱度歸熱度。

    即便獲獎、終定需要的時間長達十年，也絲毫不影響徐云可以靠此獲得大量關注的事實。

    畢竟國內也有不少機構是研究這方向的呢。

    也許國內的數(shù)學教學水平和國際依舊有所差距，但在復驗這塊的能力還是毋庸置疑的。

    有了國內高校的驗證，熱度分分鐘就能炒起來。

    頂多就是有些酸貨會說這是國內“自嗨”、“等著國際機構打臉”之類的話了。

    保不齊還能扯到一些國內科研甚至運動員造假的黑歷史。

    不過總體上來說，那些言論不足為慮。

    想到這里。

    張睿不由看了眼徐云，贊嘆道：

    “田院長，你這位學生是真不可限量啊?！?/br>
    “這種節(jié)骨眼上整出這樣的成果……咱們科大這次恐怕真要搞出個大新聞了?！?/br>
    張睿對于徐云能夠驗證梅森素數(shù)的無窮性雖然驚異，但卻沒有夸張到質疑的地步。

    畢竟徐云雖然只攻讀了生物和物理，但這不代表他的數(shù)學水平很低。

    這年頭物理涉及到的數(shù)學知識可不只是簡簡單單的牛一牛二計算，而是需要大量的深入概念。

    比如相對論。