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

    次日。

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

    院長(zhǎng)辦公室。

    “小徐，你說啥？”

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

    “你說你把梅森素?cái)?shù)的無窮性證明出來了？”

    雖然田良偉是個(gè)實(shí)打?qū)嵉纳飶臉I(yè)者，但這不代表他對(duì)于數(shù)學(xué)領(lǐng)域一無所知。

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

    比如哥德巴赫猜想。

    比如黎曼猜想。

    比如孿生素?cái)?shù)和費(fèi)馬素?cái)?shù)。

    又比如……

    梅森素?cái)?shù)的無窮性。

    誠(chéng)然。

    和千禧年的七大難題相比，梅森素?cái)?shù)遠(yuǎn)遠(yuǎn)算不上t1級(jí)別。

    但這并不代表梅森素?cái)?shù)就是個(gè)爛大街的課題。

    如果田良偉沒記錯(cuò)的話。

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

    另外國(guó)內(nèi)每年也會(huì)批下百萬級(jí)的經(jīng)費(fèi)……或者說超算核時(shí)，用來尋找最新的梅森素?cái)?shù)。

    想到這里。

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

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

    隨后他拿起桌上的水杯抿了口水，沉吟片刻，拿起電話撥通了一個(gè)號(hào)碼。

    很快。

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

    “喂，田院長(zhǎng)？”

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

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

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

    “……？？？”

    幾秒鐘后。

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

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

    “你說啥？？”

    一個(gè)小時(shí)后。

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

    “田院長(zhǎng)，驗(yàn)證過程呢？”

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

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

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

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

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

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

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

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

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

    就這樣。

    四十多分鐘一晃而過。

    終于。

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

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

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

    “田院長(zhǎng)，從我這次的演算來看，小徐推導(dǎo)出的結(jié)果應(yīng)該是沒多大問題的?！?/br>
    “不過這只是一次簡(jiǎn)單草算，類似摸個(gè)梗概，只能確定關(guān)鍵原理不存在漏洞，不能代表最終結(jié)論?！?/br>
    “像梅森素?cái)?shù)這種級(jí)別的難題真正的核驗(yàn)計(jì)算量很大，同時(shí)一旦宣布被破譯，必然會(huì)有無數(shù)業(yè)內(nèi)業(yè)外的從業(yè)者和愛好者進(jìn)行演算?！?/br>
    “一般來說，想要真正終定小徐的驗(yàn)證無誤，最少都需要半年以上?！?/br>
    田良偉輕輕點(diǎn)了點(diǎn)頭，表示自己明白。

    正如張睿所言。

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

    因此這類問題想要通過最終裁定，無論是流程還是時(shí)間都相當(dāng)復(fù)雜。

    比如說證明了費(fèi)馬定理的安德魯·懷爾斯。

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

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

    但直到一年六個(gè)月后，數(shù)學(xué)界才正式承認(rèn)了他的推導(dǎo)正確。

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

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

    因?yàn)檫@種問題涉及到的計(jì)算量實(shí)在是太大太大了。

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

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

    一般來說。

    這種證明出爐后。

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

    同時(shí)把相關(guān)證明附錄在學(xué)校網(wǎng)站或者發(fā)給諸如歐洲數(shù)學(xué)學(xué)會(huì)、牛津數(shù)學(xué)學(xué)會(huì)之類的老牌機(jī)構(gòu)，然后進(jìn)行漫長(zhǎng)的復(fù)驗(yàn)。

    正常情況下。

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

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

    當(dāng)然了。

    還是那句話。

    榮譽(yù)歸榮譽(yù)，熱度歸熱度。

    即便獲獎(jiǎng)、終定需要的時(shí)間長(zhǎng)達(dá)十年，也絲毫不影響徐云可以靠此獲得大量關(guān)注的事實(shí)。

    畢竟國(guó)內(nèi)也有不少機(jī)構(gòu)是研究這方向的呢。

    也許國(guó)內(nèi)的數(shù)學(xué)教學(xué)水平和國(guó)際依舊有所差距，但在復(fù)驗(yàn)這塊的能力還是毋庸置疑的。

    有了國(guó)內(nèi)高校的驗(yàn)證，熱度分分鐘就能炒起來。

    頂多就是有些酸貨會(huì)說這是國(guó)內(nèi)“自嗨”、“等著國(guó)際機(jī)構(gòu)打臉”之類的話了。

    保不齊還能扯到一些國(guó)內(nèi)科研甚至運(yùn)動(dòng)員造假的黑歷史。

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

    想到這里。

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

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

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

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

    比如相對(duì)論。