????????注：章說已經恢複，各位可以正常留言了
????????次日。
????????科大生命醫學大樓。
????????院長辦公室。
????????“小徐，你說啥？”
????????看著麵前被口罩包得嚴嚴實實的徐雲，田良偉罕見的有些失態：
????????“你說你把梅森素數的無窮性證明出來了？”
????????雖然田良偉是個實打實的生物從業者，但這不代表他對於數學領域一無所知。
????????至少對於現存的幾大數學難題，他還是叫得上名字的。
????????比如哥德巴赫猜想。
????????比如黎曼猜想。
????????比如孿生素數和費馬素數。
????????又比如.
????????梅森素數的無窮性。
????????誠然。
????????和千禧年的七大難題相比，梅森素數遠遠算不上t1級彆。
????????但這並不代表梅森素數就是個爛大街的課題。
????????如果田良偉沒記錯的話。
????????他有幾位數學學部的院士好友.比如陳恕行院士、張平文院士等人就在做這方麵的研究。
????????另外國內每年也會批下百萬級的經費或者說超算核時，用來尋找最新的梅森素數。
????????想到這裡。
????????田良偉不由拿起徐雲遞來的手稿，不過看了幾秒上頭的數學符號後便猛地拍回到了桌上：p，眼瞎了，老子沒事找事看數學論文乾啥？”
????????隨後他拿起桌上的水杯抿了口水，沉吟片刻，拿起電話撥通了一個號碼。
????????很快。
????????電話對頭傳來了數學學院院長、科大現任常務副校長張睿的聲音：
????????“喂，田院長？”
????????“是我，老張，有空過來一趟不？”
????????“額，田院長，我在外頭釣魚呢，要不咱們明天再說？”
????????“明天啊也行吧，我聽小徐說他證明了梅森素數的無窮性，就尋思著要不讓你回來一趟看看.”
????????“.？？？”
????????幾秒鐘後。
????????電話對頭傳來了一些“你這魚還要不要啊”、“我便宜點賣給你”之類的雜音。
????????不過很快，這些雜音便被張睿的高分貝給蓋了過去：
????????“你說啥？？”
????????一個小時後。
????????張睿風風火火的闖入了田良偉的辦公室，絲毫看不出此前斯文的模樣：
????????“田院長，驗證過程呢？”
????????田良偉指了指桌上一份厚厚的文稿：
????????“這兒呢。”
????????話音剛落。
????????張睿便一個箭步竄到了辦公桌邊，看也不看徐雲，拿著筆和紙開始對起了文件。
????????“先證明不存在奇完全數.”
????????“σ(n)≠2pa1+11）1p11·”
????????“唔，這一步怎麼跳過來的？哦，考慮乘法群了”
????????“p=p1，p2，.，排為升序，假設∑p∈p1收斂，則an為一些互異的小素數的乘積妙啊”
????????張睿就這樣旁若無人的在辦公室內驗算了起來，徐雲和田良偉倒也很識趣的沒有打斷他。
????????對於一個數學佬來說，打斷推演基本上等同於幫釣魚佬下撈網的時候失了手，很容易得罪人。
????????就這樣。
????????四十多分鐘一晃而過。
????????終於。
????????張睿在一張全新的a4紙上停下了筆尖。
????????隻見他沉默了足足有小半分鐘，才寫下了一句話：
????????“所以，梅森素數的無窮性可證。”
????????隨後他放下手中的筆，看了眼麵露期待的田良偉，緩緩點了點頭：
????????“田院長，從我這次的演算來看，小徐推導出的結果應該是沒多大問題的。”
????????“不過這隻是一次簡單草算，類似摸個梗概，隻能確定關鍵原理不存在漏洞，不能代表最終結論。”
????????“像梅森素數這種級彆的難題真正的核驗計算量很大，同時一旦宣布被破譯，必然會有無數業內業外的從業者和愛好者進行演算。”
????????“一般來說，想要真正終定小徐的驗證無誤，最少都需要半年以上。”
????????田良偉輕輕點了點頭，表示自己明白。
????????正如張睿所言。
????????梅森素數作為數學界極為重要的猜想之一，每年幾乎都有許多人宣稱對它完成了證明。
????????因此這類問題想要通過最終裁定，無論是流程還是時間都相當複雜。
????????比如說證明了費馬定理的安德魯·懷爾斯。
????????安德魯·懷爾斯在1993年6月宣布證明了費馬定理，不過在同年12月他就承認了自己步驟上存在問題，直到1994年10月25日才公布了正確的第二版論證。
????????當時他通過他以前的學生、美國俄亥俄州立大學教授卡爾·魯賓，向全球各大數學學會發送了費馬大定理的完整證明郵件。
????????但直到一年六個月後，數學界才正式承認了他的推導正確。
????????還有證明了龐加萊猜想的格裡戈裡·佩雷爾曼。
????????這位數學界隱士在2002年11月起就公布了相關證明步驟，但直到2006年才真正被認定破解了龐加萊猜想。
????????因為這種問題涉及到的計算量實在是太大太大了。
????????大到了即便徐雲事先獲得了高斯對於奇完全數不存在的證明、也依舊需要用一個小時的‘小麥附體’來計算出相關結果。
????????所以即便是是張睿，此時也隻敢說是‘草算’。
????????一般來說。
????????這種證明出爐後。
????????首先會由推導者所在的學校發表聲明，接著再選擇一篇期刊發表正文或者預印版。
????????同時把相關證明附錄在學校網站或者發給諸如歐洲數學學會、牛津數學學會之類的老牌機構，然後進行漫長的複驗。
????????正常情況下。
????????梅森素數這種基數的猜想，最少都需要經過eta這些學校的驗證，方才能算是最終核驗完成。
????????如果不是這幾年情況特殊不方便出國，照理還要參加一些線下的論壇來接受‘拷問’。
????????當然了。
????????還是那句話。
????????榮譽歸榮譽，熱度歸熱度。
????????即便獲獎、終定需要的時間長達十年，也絲毫不影響徐雲可以靠此獲得大量關注的事實。
????????畢竟國內也有不少機構是研究這方向的呢。
????????也許國內的數學教學水平和國際依舊有所差距，但在複驗這塊的能力還是毋庸置疑的。
????????有了國內高校的驗證，熱度分分鐘就能炒起來。
????????頂多就是有些酸貨會說這是國內“自嗨”、“等著國際機構打臉”之類的話了。
????????保不齊還能扯到一些國內科研甚至運動員造假的黑曆史。
????????不過總體上來說，那些言論不足為慮。
????????想到這裡。
????????張睿不由看了眼徐雲，讚歎道：