“這個問題不在我們的核驗範圍內，真想知道的話可以私下裡查一查。”
“好了，大家先準備一下，儘快開始複驗吧。”
“下麵我叫到名字的同學，請上來領取你的複驗資料。”
“趙瑞.....黃海冰.....楊鈺.....王通......”
很快。
王通分到了一份16頁的手稿複印件。
這份手稿的字體事先已經被掃描成了標準字號，查閱起來倒是並不困難。
王通負責的這部分歸屬於t變量環節，一直以來這都是一個近似項。
不過徐雲的這份手稿裡，卻推導出了另一種正值方式。
於是很快。
王通便拿起筆算了起來。
“考察費馬數2^(2^n)+1的素因子p，設2模p的階為d......則由於2^(2^n)≡-1(mod p).......”
“知d不整除2^n，對式兩邊平方2^(2^(n+1))≡1(mod p），於是d|2^(n+1)，於是d=2^(n+1)......”
“根據已有定理，調和級數是發散的，故會導致矛盾，所以......”
“F0F1?Fk?1=Fk?2 對 k≤t 均成立，那麼當 k=t+1 時.......”
讀過五道口數學係的同學應該都知道。
國內的數學機構雖然天天被人詬病，但他們並不都是吃乾飯的。
比如丘成桐數學科學中心，經常會負擔起驗證國內外各種推導結果的任務。
例如世人皆知懷爾斯當年的第一版費馬證明過程存在問題，卻不知道第一個發現這個問題並且發出指正函的其實是南大數學係。
隻是一般情況下，這些結果大都會被找出bug就是了係。
因此對於王通等人而言。
複驗雖然比較累人，但卻並非難如登天。
沙沙沙——
指尖與演算紙摩擦的聲音不斷在屋內響起，一項項推導過程逐漸被驗證完畢。
三個小時後。
王通抹了把額頭上的汗水，長呼出一口氣：
“好家夥，總算搞定了。”
他並沒有壓低自己的聲音，因為核驗小組的每個人都戴著隔音耳罩，雙十一特惠價隻需...咳咳......
隨後他站起身，將演算結果交到了等候在此的郭教授手裡：
“郭教授，我這部分驗證完畢了，邏輯合理，沒有任何問題。”
郭教授接過原先的文件和驗證稿，朝王通點點頭：
“辛苦了小王，大廳那邊有盒飯，肚子餓了可以去墊墊肚子。”
“哦對了，還有一件事剛才忘了說，今天算是協助項目，有額外補助300塊錢——科大那邊出的。”
王通頓時眉頭一喜。
三百塊錢，這可不算低了呢。
接著他又看了眼郭教授，試探著問道：
“郭教授，不知道複驗結果......”
郭教授摸了摸已經交還回來的文稿，表情有些複雜：
“咱們小組的進度稍微慢點，還沒出具體結果。”
“不過根據其他小組還有南大、燕大、魯東大學的反饋來看.......”
“梅森素數的無窮性...應該是被驗證成功了。”
真的成功了？
縱然王通心中早有準備，此時聞言依舊瞳孔一縮。
從此前郭教授的表述來看。
那位叫徐雲的博士既然能被掛上‘在讀’的名頭，年齡無論如何都不太可能超過35歲吧？
更彆說科大還有少年班中法班這種掛壁班級，說不定對方畢業的時候隻有27、8歲？
真是個怪物......
以現在國內的數學環境來說，光這一份成就就足夠他吃一輩子了。
隨後王通帶著感歎離開202房，走到大廳隨意領了一口盒飯，選了個座位填起了肚子。
不過吃著吃著。
他忽然想到自己女朋友以及剛才那位短發女生說的話：
她倆都提到了科大和墮胎PUA，不出意外的話，說的應該是一件事？
想到這裡。
王通乾脆掏出手機，打開了下載過但不怎麼用的微博。
結果剛一點進熱搜榜，他便看到了三個碩大的話題：
#徐雲#
#中科大宣布證明梅森素數的無窮性#
#中科大#。
三個話題依次占據了熱搜的前三位，同時#徐雲#這個話題的後方還有一個紅色的大字：
爆。
這代表這個話題的熱度已經突破了常規極限，關注度遠遠出圈。
隨後王通想了想。
點開了#中科大宣布證明梅森素數的無窮性#這個話題。
話題內顯示在最上方的是科大官微，內容很簡單：
【梅森素數的無窮性進入最後環節！我校校友徐雲推導出的計算結果已通過知名國際數學期刊《Annals of Mathematics》初驗，你我或將見證曆史？】
實話實說。
從王通的視角看來，科大的這段內容沒什麼問題，甚至可以有些保守。
畢竟國內的數學理論水平或許和國際上仍有差距，但複驗這塊還是挺有權威性的。
燕大、五道口、南大、魯東大學加上科大自己的複驗都沒問題，基本上已經可以說是錘死了。
不過當他點開相關評論的時候，整個人卻傻了眼。
隻見這條微博的評論數已經達到了3.3萬，其中第一條評論點讚數超過了7.2萬。
內容則是簡簡單單兩個字：
【臉呢？】
第二條評論的內容要更長一些：
【吐了，死保渣男不說，現在還反過來跳臉，這種垃圾還能有學術成果？當彆人是傻子嗎？】
第三條則腦補了很多‘內幕’：
【嘔，這人是科大校長的私生子吧，這時候還出來這樣護著他，真的是丟臉丟到姥姥家了，以為發個公告彆人就會信？】
王通劃拉了好一會兒，入眼的評論無一例外，全是在攻擊科大和徐雲。
毫無疑問。
即便不清楚具體內情，王通也大致猜到了一個答案：
郭教授口中證明了梅森素數無窮性的那個‘徐雲’，正是自己女朋友在家抨擊的那位渣男。
想到這裡。
王通乾脆放下了筷子，開始認真了解起了事情的經過。
先是路人寵物貓中毒.....
然後網紅寵物貓‘跳跳’暴斃.....
接著博主曝光，引發出徐雲腳踏多隻船、墮胎、PUA的黑曆史......
由於事先已經有‘好心人’出麵，將整件事情整理成了備忘錄的模式方便路人。
所以王通沒怎麼費力，就知曉了整件事的來龍去脈。
另外在大量的抨擊言論中，王通還注意到了少數幾個讓大家冷靜或許表示徐雲無辜的賬號。
這些賬號有男有女，IP地址大多都在皖南。
看起來像是科大的校友。
當然了。
王通能注意到這些賬號並非偶然，而是這些給徐雲‘洗白’的評論已經被頂到了廣場的首頁。
一如當初凢凢、峰峰進局子的時候，也有一些腦殘粉在超話高呼不離不棄，引來了一堆人觀猴。
雖然彼時和此時的情況截然不同，但平台算法卻是一致的。
所以王通能看到這些內容倒也正常。
這些賬號有的是直接認為徐雲無辜，有的則擺出了一些證據。
例如吡蟲啉是對哺乳動物無效的論文等等......
隻是無論是以上哪種內容，下方都充斥著大量的冷嘲熱諷。
或許是在驗算過程中對徐雲有了一些基於能力而出現的好感，王通並沒有跟著站隊，而是隱隱感覺這些評論似乎有些道理。
至少......
徐雲推導出梅森素數無窮性這件事應該是真的。
於是他思索片刻。
在#中科大宣布證明梅森素數的無窮性#這個話題下發了一段內容：
【很少關注微博，剛剛才知道這件事，彆的不太確定，但徐雲確實寫出了梅森素數無窮性的驗證流程，並且根據現在的情況來看，驗證成功的可能性很大，所以各位還是少說點AOE的話吧，什麼學術造假都跑出來了——誰會拿這種級彆的猜想造假？】
寫完。
發送。
隨後王通想了想，又給女朋友發去了一條微信：
【老婆，先彆急著對線了，那個徐雲有可能是被汙蔑的，先讓子彈飛一會兒，真是渣男到時候我和你一起錘他！】
與此同時。
在華夏各地。
也有一些人和王通一樣，寫下了各種帶有相關詞條的微博。
他們並沒有選擇明確支持徐雲或者認為徐雲無辜，而是從自身的專業出發，認為科大的公告並非造假。
但縱使如此，這些言論依舊是與目前網爆的‘主流’節奏有些相悖。
就這樣。
一道肉眼無法看到的風，緩緩從數學圈內吹散開來.......
.........