“阿通，今晚咱們去吃壽喜燒唄，我在點評網抽到了一張五折卷誒。”

聽到自家女朋友這番話。

原本雙腳靠在長條沙發另一側、正在看視頻的王通不由按下了暫停鍵，伸了個骨頭咔咔響的懶腰：

“壽喜燒？行，啥時候出發？”

作爲五道口職業技術學校丘成桐數學中心的一名副研究員，王通有着大多數數學汪難以想象的美好人生：

他大學期間就脫離了單身，並且一直持續到了現在。

如今他和女朋友張瑩二人都有着不錯的工作，暫住於燕京人才公寓中，正在籌備着結婚事宜。

當然了。

再怎麼精打細算，偶爾吃上一頓壽喜鍋還是沒啥問題的。

“那家店在奧運村那邊，離咱們這兒有點遠呢。”

張瑩看了眼點評軟件的地圖，心中計算着距離：

“要不就一個小時後吧，剛好等我把這波線對完。”

“對線？”

王通起身走到了女朋友身邊，輕輕的環住她的腰：

“對什麼線？”

張瑩大大方方的朝他晃了晃手機，上頭赫然顯示着一篇微博：

“中科大的渣男唄，又是腳踏幾條船又是pua，還叫女朋友打了兩次胎——阿通，我跟你說啊，要是今後我懷孕了我可不打胎，我可想要個小寶寶了。”

王通聞言，大手在女朋友的腰上摩挲了幾下：

“安啦安啦，我哪兒捨得讓你受罪嘛，況且咱們還有安全措施.”

吧唧了幾下後，王通便和張瑩各自分開，開始準備起了出門的行頭。

畢竟年輕人都追求儀式感嘛。

半個多小時後。

捯飭完畢的二人來到了公寓玄關，準備穿鞋出門。

驀然。

王通兜裡的手機響了起來。

“When your dreams come alive you are unstoppable，Take a shot ，chase the sun， find the beautiful”

王通取出手機，發現來人的備註上赫然寫着‘趙主任’。

見此情形。

他的心中陡然冒出了一股不太妙的預感，不過還是很快接通了電話：

“喂，趙主任？”

片刻過後。

電話對頭傳來了一道有些急促的聲音：

“小王，你在哪兒呢？”

“額，今天週末，剛準備和女朋友出門吃晚飯”

“別去了，快點回學校！”

雖然心中已經猜到這種可能性，王通依舊微微一愣，拉住張瑩的手問道：

“主任，出啥事了？”

“中科大那邊發來了一份郵件，說是推導出了梅森素數的無窮性希望我們幫忙複驗，趕緊回來！”

嘟嘟嘟——

聽着手機裡傳來的盲音。

王通不由看向張瑩，臉上露出了一絲苦笑：

“老婆，你看這”

張瑩聞言沉默片刻，幽幽嘆了口氣：

“哎，去吧去吧，事業要緊，我自個兒對付一頓就成了。”

王通臉上頓時露出了一股笑意，自家的女朋友不算什麼大美女，但性格卻一直都很賢惠。

不過目光在瞥到張瑩手機的時候，他的笑容忽然僵在了臉上：

“等等.中科大？！”

一個小時後。

王通搭乘的計程車停到了五道口的丘成桐數學科學中心外。

丘成桐數學科學中心。

這是五道口職業學院早先獨立於數學系成立的一個機構，由菲爾茲獎的首位華人得主丘成桐創立。

與偏向教書育人的五道口數學系不同。

丘成桐數學科學中心更多以年輕人爲主，機構職能也大多放在了學術研究方面。

雖然與燕京大學的數學水平猶有差距，但這些年的進步倒也不可小覷，算是第一梯隊的機構。

當王通抵達大廳時。

一位留着地中海的圓臉中年人正在皺眉看着手錶，臉色有些着急。

王通快步走了上去：

“張主任，我來了。”

地中海中年人全名叫做張飛，一個看起來應該鬚髮濃密身形五大三粗的名字。

目前他司職丘成桐數學科學中心的常務副主任，同時也是數學系的一位教授。

見到王通到來。

張飛拍了拍他的肩膀，算是打過招呼，指着一間標號202的房間道：

“小王，咱們這次分成了四個小組同時覈驗步驟，你去202幫忙郭教授小組計算，具體情況郭教授會和你說的。”

王通點點頭：

“明白。”

說完他便轉過身，快步走向了202房。

202房是計算中心的一間計算室，驟眼一看有些類似常見的自習室——也就是簡約格調，每個位置上分出好幾個擋板的佈局。

除了大量的算紙之外，並沒有很多人想象的超算或者主控配置。

這其實才是運用數學的常態。

在不需要數值分析、線代最優化算法、最優化、編程的時候，數學從業者基本上都是靠手寫。

202號房內此時正坐着七八個人，有男有女。

除了一位小老頭外，所有人的年紀至少在樣貌上不會差別太大。

“郭教授好。”

王通禮貌的與小老頭打了聲招呼，隨後便選了個位置坐了下去。

又過了幾分鐘。

待一位短髮女生到場後，郭教授輕咳一聲，環視了周圍一圈，說道：

“各位同學，今天是星期日，原本是不應該喊大家過來加班的——畢竟咱們這行沒那麼多活給大家996嘛。”

下方頓時響起了一聲輕笑。

不過很快。

郭教授便臉色一正，道：

“只是在今天上午，我們收到了一封來自中科大的協助函，函文中宣稱他們已經證明了梅森素數的無窮性。”

“在收到函文後，我和基礎數學研究所的步尚全教授以及應用數學的陳金文、何凌冰教授他們簡單的草算了一遍。”

“根據我們的演算結果顯示，那份推導過程不存在明顯的錯漏環節，隨機抽檢重點核驗也同樣如此。”

“所以我們便請張主任把各位同學臨時聚集到了這裡，準備進行詳細的核算。”

“大家都是數學行業的頂尖人才，應該知道梅森素數在數學界的地位——如果驗證流程沒有問題，這可是個大新聞吶。”

郭教授話音剛落。

下方便響起了些許討論聲。

正如郭教授所說，梅森素數的地位他們可再清楚不過了。

很快。

一位高高瘦瘦的男生舉起了手，此人是郭教授親自帶的一位博士生：

“老師，這是科大哪位大佬推導出來的成果？”

“張睿老先生？還是陳發來教授？”

現場的其餘衆人聞言，眼中也不由冒出了一股好奇。

中科大作爲一所理工院校，數學水平自然不可能是短板。

但如果和其他頂尖理工大學相比，科大數學系卻也不至於有多大的優勢。

科大數院的優點是出國率高，進了科大數學系，基本就是進了常青藤的快車道，算是一個優質通道。

當然了。

這也和國內整體數學水平較低有關。

如果不算海外華人，國內數學水平在國際上給面子說是二流末，實際上也就三流左右。

而與咱們相反的是，咱們的老鄰居霓虹在這塊倒做的不錯，出了不少成果。

“驗證人啊.”

看着一臉好奇的衆人，郭教授輕輕搖了搖頭，眼中浮現出一絲感慨：

“不是老張，也不是老陳——實際上寫下驗證過程的壓根不是科大的任何一位教授，而是一位在讀博士。”

聽到郭教授這番話，臺下某位男生下意識便爆了一聲粗口：

“臥槽？博士？”

郭教授點點頭，並未對男生的粗口有所苛責：

“嗯，那位博士叫做徐雲，主修的專業還是物理和生物，前途無量啊”

“咦？徐雲？”

郭教授話音剛落。

王通的耳邊便驟然傳來了一聲輕咦，只見最後進來的那位短髮女生舉起了手：

“郭教授，那個叫徐雲的科大博士，是不是還開着一家蟑螂藥公司？”

郭教授微微一愣：

“這我就不知道了，怎麼，小王你認識他？”

短髮女生沉默片刻，掏出手機晃了晃：

“郭教授，您看可能不清楚，最近幾天科大也有一個叫徐雲的博士上了熱搜。”

“不過原因是因爲墮胎、PUA女朋友和腳踏多條船，同時產品也對寵物有毒”

wωw▪ тTk ān▪ ￠ O

郭教授皺了皺眉頭，由於年紀較大的緣故，他對於這些話題並不太感興趣：

“這個問題不在我們的核驗範圍內，真想知道的話可以私下裡查一查。”

“好了，大家先準備一下，儘快開始複驗吧。”

“下面我叫到名字的同學，請上來領取你的複驗資料。”

“趙瑞.黃海冰.楊鈺王通.”

很快。

王通分到了一份16頁的手稿複印件。

這份手稿的字體事先已經被掃描成了標準字號，查閱起來倒是並不困難。

王通負責的這部分歸屬於count變量環節，一直以來這都是一個近似項。

不過徐雲的這份手稿裡，卻推導出了另一種正值方式。

於是很快。

王通便拿起筆算了起來。

“考察費馬數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)”

“根據已有定理，調和級數是發散的，故會導致矛盾，所以.”

“F0F1Fk1=Fk2 對 k≤t 均成立，那麼當 k=t+1 時.”

讀過五道口數學系的同學應該都知道。

國內的數學機構雖然天天被人詬病，但他們並不都是吃乾飯的。

比如丘成桐數學科學中心，經常會負擔起驗證國內外各種推導結果的任務。

例如世人皆知懷爾斯當年的第一版費馬證明過程存在問題，卻不知道第一個發現這個問題並且發出指正函的其實是南大數學系。

只是一般情況下，這些結果大都會被找出bug就是了系。

因此對於王通等人而言。

複驗雖然比較累人，但卻並非難如登天。

沙沙沙——

指尖與演算紙摩擦的聲音不斷在屋內響起，一項項推導過程逐漸被驗證完畢。

三個小時後。

王通抹了把額頭上的汗水，長呼出一口氣：

“好傢伙，總算搞定了。”

他並沒有壓低自己的聲音，因爲覈驗小組的每個人都戴着隔音耳罩，雙十一特惠價只需咳咳

隨後他站起身，將演算結果交到了等候在此的郭教授手裡：

“郭教授，我這部分驗證完畢了，邏輯合理，沒有任何問題。”

郭教授接過原先的文件和驗證稿，朝王通點點頭：

“辛苦了小王，大廳那邊有盒飯，肚子餓了可以去墊墊肚子。”

“哦對了，還有一件事剛纔忘了說，今天算是協助項目，有額外補助300塊錢——科大那邊出的。”

王通頓時眉頭一喜。

三百塊錢，這可不算低了呢。

接着他又看了眼郭教授，試探着問道：

“郭教授，不知道複驗結果”

郭教授摸了摸已經交還回來的文稿，表情有些複雜：

“咱們小組的進度稍微慢點，還沒出具體結果。”

“不過根據其他小組還有南大、燕大、魯東大學的反饋來看”

“梅森素數的無窮性.應該是被驗證成功了。”

真的成功了？

縱然王通心中早有準備，此時聞言依舊瞳孔一縮。

從此前郭教授的表述來看。

那位叫徐雲的博士既然能被掛上‘在讀’的名頭，年齡無論如何都不太可能超過35歲吧？

更別說科大還有少年班中法班這種掛壁班級，說不定對方畢業的時候只有27、8歲？

真是個怪物

以現在國內的數學環境來說，光這一份成就就足夠他吃一輩子了。

隨後王通帶着感嘆離開202房，走到大廳隨意領了一口盒飯，選了個座位填起了肚子。

不過吃着吃着。

他忽然想到自己女朋友以及剛纔那位短髮女生說的話：

她倆都提到了科大和墮胎PUA，不出意外的話，說的應該是一件事？

想到這裡。

王通乾脆掏出手機，打開了下載過但不怎麼用的微博。

結果剛一點進熱搜榜，他便看到了三個碩大的話題：

#徐雲#

#中科大宣佈證明梅森素數的無窮性#

#中科大#。

三個話題依次佔據了熱搜的前三位，同時#徐雲#這個話題的後方還有一個紅色的大字：

爆。

這代表這個話題的熱度已經突破了常規極限，關注度遠遠出圈。

隨後王通想了想。

點開了#中科大宣佈證明梅森素數的無窮性#這個話題。

話題內顯示在最上方的是科大官微，內容很簡單：

【梅森素數的無窮性進入最後環節！我校校友徐雲推導出的計算結果已通過知名國際數學期刊《Annals of Mathematics》初驗，你我或將見證歷史？】

實話實說。

從王通的視角看來，科大的這段內容沒什麼問題，甚至可以有些保守。

畢竟國內的數學理論水平或許和國際上仍有差距，但複驗這塊還是挺有權威性的。

燕大、五道口、南大、魯東大學加上科大自己的複驗都沒問題，基本上已經可以說是錘死了。

不過當他點開相關評論的時候，整個人卻傻了眼。

只見這條微博的評論數已經達到了3.3萬，其中第一條評論點贊數超過了7.2萬。

內容則是簡簡單單兩個字：

【臉呢？】

第二條評論的內容要更長一些：

【吐了，死保渣男不說，現在還反過來跳臉，這種垃圾還能有學術成果？當別人是傻子嗎？】

第三條則腦補了很多‘內幕’：

【嘔，這人是科大校長的私生子吧，這時候還出來這樣護着他，真的是丟臉丟到姥姥家了，以爲發個公告別人就會信？】

王通劃拉了好一會兒，入眼的評論無一例外，全是在攻擊科大和徐雲。

毫無疑問。

即便不清楚具體內情，王通也大致猜到了一個答案：

郭教授口中證明了梅森素數無窮性的那個‘徐雲’，正是自己女朋友在家抨擊的那位渣男。

想到這裡。

王通乾脆放下了筷子，開始認真瞭解起了事情的經過。

先是路人寵物貓中毒.

然後網紅寵物貓‘跳跳’暴斃.

接着博主曝光，引發出徐雲腳踏多隻船、墮胎、PUA的黑歷史

由於事先已經有‘好心人’出面，將整件事情整理成了備忘錄的模式方便路人閱讀。

所以王通沒怎麼費力，就知曉了整件事的來龍去脈。

另外在大量的抨擊言論中，王通還注意到了少數幾個讓大家冷靜或許表示徐雲無辜的賬號。

這些賬號有男有女，IP地址大多都在皖南。

看起來像是科大的校友。

當然了。

王通能注意到這些賬號並非偶然，而是這些給徐雲‘洗白’的評論已經被頂到了廣場的首頁。

一如當初凢凢、峰峰進局子的時候，也有一些腦殘粉在超話高呼不離不棄，引來了一堆人觀猴。

雖然彼時和此時的情況截然不同，但平臺算法卻是一致的。

所以王通能看到這些內容倒也正常。

這些賬號有的是直接認爲徐雲無辜，有的則擺出了一些證據。

例如吡蟲啉是對哺乳動物無效的論文等等

只是無論是以上哪種內容，下方都充斥着大量的冷嘲熱諷。

或許是在驗算過程中對徐雲有了一些基於能力而出現的好感，王通並沒有跟着站隊，而是隱隱感覺這些評論似乎有些道理。

至少

徐雲推導出梅森素數無窮性這件事應該是真的。

於是他思索片刻。

在#中科大宣佈證明梅森素數的無窮性#這個話題下發了一段內容：

【很少關注微博，剛剛纔知道這件事，別的不太確定，但徐雲確實寫出了梅森素數無窮性的驗證流程，並且根據現在的情況來看，驗證成功的可能性很大，所以各位還是少說點AOE的話吧，什麼學術造假都跑出來了——誰會拿這種級別的猜想造假？】

寫完。

發送。

隨後王通想了想，又給女朋友發去了一條微信：

【老婆，先別急着對線了，那個徐雲有可能是被污衊的，先讓子彈飛一會兒，真是渣男到時候我和你一起錘他！】

與此同時。

在華夏各地。

也有一些人和王通一樣，寫下了各種帶有相關詞條的微博。

他們並沒有選擇明確支持徐雲或者認爲徐雲無辜，而是從自身的專業出發，認爲科大的公告並非造假。

但縱使如此，這些言論依舊是與目前網爆的‘主流’節奏有些相悖。

就這樣。

一道肉眼無法看到的風，緩緩從數學圈內吹散開來.