“田院長，驗證過程呢？”
田良偉指了指桌上一份厚厚的文稿：
“這兒呢。”
話音剛落。
張睿便一個箭步竄到了辦公桌邊，看也不看徐雲，拿著筆和紙開始對起了檔案。
“先證明不存在奇完全數.”
“σ(n≠2{p^（a1+1/1）1}/{p11}·”
“唔，這一步怎麼跳過來的？哦，考慮乘法群了”
“P={p1，p2，.}，排為升序，假設∑p∈P1收斂，則an為一些互異的小素數的乘積妙啊”
張睿就這樣旁若無人的在辦公室內驗算了起來，徐雲和田良偉倒也很識趣的沒有打斷他。
對於一個數學佬來說，打斷推演基本上等同於幫釣魚佬下撈網的時候失了手，很容易得罪人。
就這樣。
四十多分鐘一晃而過。
終於。
張睿在一張全新的A4紙上停下了筆尖。
只見他沉默了足足有小半分鐘，才寫下了一句話：
“所以，梅森素數的無窮性可證。”
隨後他放下手中的筆，看了眼面露期待的田良偉，緩緩點了點頭：
“田院長，從我這次的演算來看，小徐推匯出的結果應該是沒多大問題的。”
“不過這只是一次簡單草算，類似摸個梗概，只能確定關鍵原理不存在漏洞，不能代表最終結論。”
“像梅森素數這種級別的難題真正的核驗計算量很大，同時一旦宣佈被破譯，必然會有無數業內業外的從業者和愛好者進行演算。”
“一般來說，想要真正終定小徐的驗證無誤，最少都需要半年以上。”
田良偉輕輕點了點頭，表示自己明白。
正如張睿所言。
梅森素數作為數學界極為重要的猜想之一，每年幾乎都有許多人宣稱對它完成了證明。
因此這類問題想要透過最終裁定，無論是流程還是時間都相當複雜。
比如說證明了費馬定理的安德魯·懷爾斯。
安德魯·懷爾斯在1993年6月宣佈證明了費馬定理，不過在同年12月他就承認了自己步驟上存在問題，直到1994年10月25日才公佈了正確的第二版論證。
當時他透過他以前的學生、美國俄亥俄州立大學教授卡爾·魯賓，向全球各大數學學會傳送了費馬大定理的完整證明郵件。
但直到一年六個月後，數學界才正式承認了他的推導正確。
還有證明了龐加萊猜想的格里戈裡·佩雷爾曼。
這位數學界隱士在2002年11月起就公佈了相關證明步驟，但直到2006年才真正被認定破解了龐加萊猜想。
因為這種問題涉及到的計算量實在是太大太大了。
大到了即便徐雲事先獲得了高斯對於奇完全數不存在的證明、也依舊需要用一個小時的‘小麥附體’來計算出相關結果。
所以即便是是張睿，此時也只敢說是‘草算’。
一般來說。