注：章說已經恢複，各位可以正常留言了
次日。
科大生命醫學大樓。
院長辦公室。
“小徐，你說啥？”
看着面前被口罩包得嚴嚴實實的徐雲，田良偉罕見的有些失态：
“你說你把梅森素數的無窮性證明出來了？”
雖然田良偉是個實打實的生物從業者，但這不代表他對于數學領域一無所知。
至少對于現存的幾大數學難題，他還是叫得上名字的。
比如哥德巴赫猜想。
比如黎曼猜想。
比如孿生素數和費馬素數。
又比如.
梅森素數的無窮性。
誠然。
和千禧年的七大難題相比，梅森素數遠遠算不上T1級别。
但這并不代表梅森素數就是個爛大街的課題。
如果田良偉沒記錯的話。
他有幾位數學學部的院士好友.比如陳恕行院士、張平文院士等人就在做這方面的研究。
另外國内每年也會批下百萬級的經費或者說超算核時，用來尋找最新的梅森素數。
想到這裏。
田良偉不由拿起徐雲遞來的手稿，不過看了幾秒上頭的數學符号後便猛地拍回到了桌上：
“mmp，眼瞎了，老子沒事找事看數學論文幹啥？”
随後他拿起桌上的水杯抿了口水，沉吟片刻，拿起電話撥通了一個号碼。
很快。
電話對頭傳來了數學學院院長、科大現任常務副校長張睿的聲音：
“喂，田院長？”
“是我，老張，有空過來一趟不？”
“額，田院長，我在外頭釣魚呢，要不咱們明天再說？”
“明天啊也行吧，我聽小徐說他證明了梅森素數的無窮性，就尋思着要不讓伱回來一趟看看.”
“.？？？”
幾秒鍾後。
電話對頭傳來了一些“你這魚還要不要啊”、“我便宜點賣給你”之類的雜音。
不過很快，這些雜音便被張睿的高分貝給蓋了過去：
“你說啥？？”
一個小時後。
張睿風風火火的闖入了田良偉的辦公室，絲毫看不出此前斯文的模樣：
“田院長，驗證過程呢？”
田良偉指了指桌上一份厚厚的文稿：
“這兒呢。”
話音剛落。
張睿便一個箭步竄到了辦公桌邊，看也不看徐雲，拿着筆和紙開始對起了文件。
“先證明不存在奇完全數.”
“σ(n)≠2{p^（a1+1/1）-1}/{p1-1}·”
“唔，這一步怎麽跳過來的？哦，考慮乘法群了”
“P={p1，p2，.}，排爲升序，假設∑p∈P1收斂，則an爲一些互異的小素數的乘積妙啊”
張睿就這樣旁若無人的在辦公室内驗算了起來，徐雲和田良偉倒也很識趣的沒有打斷他。
對于一個數學佬來說，打斷推演基本上等同于幫釣魚佬下撈網的時候失了手，很容易得罪人。
就這樣。
四十多分鍾一晃而過。
終于。
張睿在一張全新的A4紙上停下了筆尖。
隻見他沉默了足足有小半分鍾，才寫下了一句話：
“所以，梅森素數的無窮性可證。”
随後他放下手中的筆，看了眼面露期待的田良偉，緩緩點了點頭：
“田院長，從我這次的演算來看，小徐推導出的結果應該是沒多大問題的。”
“不過這隻是一次簡單草算，類似摸個梗概，隻能确定關鍵原理不存在漏洞，不能代表最終結論。”
“像梅森素數這種級别的難題真正的核驗計算量很大，同時一旦宣布被破譯，必然會有無數業内業外的從業者和愛好者進行演算。”
“一般來說，想要真正終定小徐的驗證無誤，最少都需要半年以上。”
田良偉輕輕點了點頭，表示自己明白。
正如張睿所言。
梅森素數作爲數學界極爲重要的猜想之一，每年幾乎都有許多人宣稱對它完成了證明。
因此這類問題想要通過最終裁定，無論是流程還是時間都相當複雜。
比如說證明了費馬定理的安德魯·懷爾斯。
安德魯·懷爾斯在1993年6月宣布證明了費馬定理，不過在同年12月他就承認了自己步驟上存在問題，直到1994年10月25日才公布了正确的第二版論證。
當時他通過他以前的學生、美國俄亥俄州立大學教授卡爾·魯賓，向全球各大數學學會發送了費馬大定理的完整證明郵件。
但直到一年六個月後，數學界才正式承認了他的推導正确。
還有證明了龐加萊猜想的格裏戈裏·佩雷爾曼。
這位數學界隐士在2002年11月起就公布了相關證明步驟，但直到2006年才真正被認定破解了龐加萊猜想。
因爲這種問題涉及到的計算量實在是太大太大了。
大到了即便徐雲事先獲得了高斯對于奇完全數不存在的證明、也依舊需要用一個小時的‘小麥附體’來計算出相關結果。
所以即便是是張睿，此時也隻敢說是‘草算’。
一般來說。
這種證明出爐後。
首先會由推導者所在的學校發表聲明，接着再選擇一篇期刊發表正文或者預印版。
同時把相關證明附錄在學校網站或者發給諸如歐洲數學學會、牛津數學學會之類的老牌機構，然後進行漫長的複驗。
正常情況下。
梅森素數這種基數的猜想，最少都需要經過ETH、Weizmann、牛津、劍橋、波恩、馬普所、巴黎六big、NYU、UCLA這些學校的驗證，方才能算是最終核驗完成。
如果不是這幾年情況特殊不方便出國，照理還要參加一些線下的論壇來接受‘拷問’。
當然了。
還是那句話。
榮譽歸榮譽，熱度歸熱度。
即便獲獎、終定需要的時間長達十年，也絲毫不影響徐雲可以靠此獲得大量關注的事實。
畢竟國内也有不少機構是研究這方向的呢。
也許國内的數學教學水平和國際依舊有所差距，但在複驗這塊的能力還是毋庸置疑的。
有了國内高校的驗證，熱度分分鍾就能炒起來。
頂多就是有些酸貨會說這是國内“自嗨”、“等着國際機構打臉”之類的話了。
保不齊還能扯到一些國内科研甚至運動員造假的黑曆史。
不過總體上來說，那些言論不足爲慮。
想到這裏。
張睿不由看了眼徐雲，贊歎道：
“田院長，你這位學生是真不可限量啊。”
“這種節骨眼上整出這樣的成果咱們科大這次恐怕真要搞出個大新聞了，”
張睿對于徐雲能夠驗證梅森素數的無窮性雖然驚異，但卻沒有誇張到質疑的地步。
畢竟徐雲雖然隻攻讀了生物和物理，但這不代表他的數學水平很低。
這年頭物理涉及到的數學知識可不隻是簡簡單單的牛一牛二計算，而是需要大量的深入概念。
比如相對論。
它的基礎就是黎曼幾何，全文都是用張量進行描述的。
沒數學基礎根本就學不了多深。
隔壁有個叫天瑞說符的倒黴蛋，就被這玩意兒折騰的要死要活的。
所以張睿此時心中的驚訝肯定是有，但遠遠不止于腦補其他一些畫面。
超前一步是天才，徐雲從始至終都在把握着這個度。
随後田良偉又朝張睿手中的文件努了努下巴，問道：
“老張，我對數學論文這方面不太了解，所以今天找你過來還有一件事。”
“就是想問問你，小徐的這篇文章到底該要怎麽發布才合适。”
“怎麽發布麽.”
張睿拿起桌上的水杯抿了口水，沉吟片刻，說道：
“田院長，這事兒說起來其實還挺複雜的，大概要分成幾個階段進行。”
“首先要做的，就是把這些文稿拿到我們數院，進行一次完整的複驗。”
“等到内部驗證沒有問題了，才能進行下一步。”
田良偉點點頭，這個道理倒是不難理解：
“沒問題，不過老張，這個流程大概要多久？”
張睿聞言捏了捏徐雲的文稿，思索道：
“小徐的稿件大概有七十多張，我估計一次詳細的核驗——不是像我剛才那種的草算哈，大概需要六到七個小時左右。”
“這樣吧，我回去安排一些人手，争取在明天這時候完成複驗任務。”
田良偉原以爲張睿會報出個兩到三天的答案，稍顯意外的同時自然也不會選擇推辭：
“那就多謝了。”
張睿笑着擺了擺手。
這是一種雙向的行爲，畢竟徐雲的這份成果分量實在是太重了。
如果徐雲的推導過程沒有問題，那麽科大數院也會由此沾光，他自然也要盡力而爲了。
接着他頓了頓，又說道：
“等複驗完畢後，我們就可以通過科大官方渠道正式發布公告，把驗證郵件發送給各大數學機構。”
“同時還可以聯系一家頂級數學期刊，請他們加急評審——我個人推薦《Annals of Mathematics》。”
田良偉微微一愣：
“數學年刊？”
衆所周知。
期刊領域除了CNS之外，每個學科也通常會有自身方向的所謂頂級期刊。
比如數學界的‘四大神刊’。
這四大神刊分别是：
數學年刊：
《Annals of Mathematics》
數學新進展：
《Inventiones mathematicae》
數學學報：
《Acta Mathematica》
美國數學會雜志：
《Journal of the American Mathematical Society》
在數學領域中，四大的地位基本等同于CNS之于化學物理。
由于大陸數學界與前沿差距較大的緣故，國内——這裏不包括華人哈，單純國内學者發布四大的總篇數，從建國後截止到2022年都沒破百。
國内的教授如果能有一篇論文發在上述雜志上，基本上評博導是沒有問題的。
即便是張睿這種号稱最有機會獲得沃爾夫獎的本土數學家，此前也隻發過一篇《Acta Mathematica》罷了。
當然了。
如果徐雲的推導過程确定沒問題，這些所謂的期刊壁壘将會瞬間消失不見，甚至可能一轉攻勢。
雖然不至于幾大期刊抱着大腿喊着‘爸爸選我吧’那麽誇張，但優先級上必然會降低無數倍。
随後田良偉想了想，又問道：
“那麽老張，如果投《Annals of Mathematics》的話，arXiv那邊需要考慮一下嗎？”
arXiv。
不同于常規期刊，這是目前影響力最大的預印本網站之一，建立于1991年。
當時一群物理學家想要彼此交流自己将要發表的文章，奈何以哪個時代的網絡條件和數據儲存能力來說，靠郵件交流實在是太困難了。
于是這群物理學家就成了一個共享平台LANL，這個就是arXiv的雛形。
當時由洛斯阿拉莫斯國家實驗室運營，現在已經被康奈爾大學接管、
arXiv是目前最老牌也是包括學科最爲全面的預印本網站，涵蓋了數學、材料、物理、計算機、統計、天文、生物、金融等領域。
這個網站有些類似現在的貼吧，早期階段門檻很低。
無論你是民科還是正軌軍，隻要能上網，就都可以在上頭發表内容。
不過由于投稿人數過多，2004年網站開始引入審核制度，隻有材料學的文章依然可以不用審核。
目前爲止。
arXiv已經收錄了多達170萬篇學術文章，數量之多冠絕業内。
在這個網站上發表的論文就相當于占了個坑，不會被人搶走成果——畢竟傳統的發表方式需要很多時間，從成文到同行評議到網上發表排版付印，極有可能花費幾個月甚至一兩年。
比如此前傳聞已經攻破了攻克朗道-西格爾零點猜想的張益唐，他的論文預計就将在11月内發表在arXiv上。（所以最近我在複習數論，希望能趕得上，如果真發表了到時候可以和大家說下我的淺見，還是挺期待的，雖然大概率是證明零點不存在，如果存在樂子可就大了）
“arXiv嗎.”
張睿摸了摸下巴，斟酌着道：
“這倒也行，畢竟arXiv是個公開站點，雖然勢必會引來一些民科，但專業人士無疑會更多。”
“這樣吧，我回去先組織個小會，看看能不能以科大乃至科院的名義發個函，争取讓那邊快速組織一批評審。”
田良偉點點頭：
“好，那就麻煩你了。”
考慮到事态緊急，張睿便也沒和田良偉閑聊。
在簡單提了一句相關事務後，他便帶着徐雲的文稿匆匆離開了辦公室。
徐雲則被田良偉多留了十來分鍾，确定自己的學生狀态還行方才放人。
就這樣。
時間一天天的流逝。
網絡上對徐雲和科大的聲讨愈發勢大，甚至波及到了其他一些無關新聞的下方占樓。
一般話術就是【抱歉占樓，請關注#徐雲##中科大#事件，校方死保pua渣男，試問公道何在？】
這類樓中樓裏頭則充斥着diss國内學術的言論，看起來烏煙瘴氣。
而就在這樣的氛圍中。
兩日後。
一條微博悄然出現在了熱搜末端：
#中科大宣布證明梅森素數的無窮性#！
(本章完)