“趙瑞.黃海冰.楊鈺王通.”
很快。
王通分到了一份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塊錢——科大那邊出的。”
王通頓時眉頭一喜。
三百塊錢，這可不算低了呢。
接著他又看了眼郭教授，試探著問道：
“郭教授，不知道複驗結果”
郭教授摸了摸已經交還回來的文稿，表情有些複雜：
“咱們小組的進度稍微慢點，還沒出具體結果。”
“不過根據其他小組還有南大、燕大、魯東大學的反饋來看”
“梅森素數的無窮性.應該是被驗證成功了。”
真的成功了？
縱然王通心中早有準備，此時聞言依舊瞳孔一縮。