劉賀敏發過來的消息里，哀怨氣息十足，讓人聽了都能感覺到酸楚，彷彿他本來能評上院士，結果因為趙奕要參加評選，不得不遺憾的選擇退出。
趙奕看笑了。
如果不了解劉賀敏的話，完全看不出話里的打趣意味，但是他非常了解劉賀敏，知道劉賀敏不可能評的上數學物理學部的院士。
劉賀敏確實參加了數學物理學部的院士增選，但他就是參加評選人中『重在參與』的那一個，而且最初被推薦成為候選人，熟悉的人就都知道，他就是參加一下湊個數。
當然了。
劉賀敏也許是真心想評上院士，但『想』和『是否能評上』，是完完全全的兩件事，連他自己也知道評不上。
因為，研究方向和成果。
劉賀敏是科學院軟體所的研究員，主要研究方向是計算機類的進化演算法，他對數學的研究也和進化演算法直接掛鉤，但基本上都是信息學中，一些軟體、演算法設計的數學理論研究，就和趙奕為國內導航項目衛星，設計的『數字壓縮技術的數學理論』類似。
他的數學研究就是為計算機算術法、軟體服務的。
所以劉賀敏應該去評選信息學部的院士。
科學院有信息學部，名字叫做信息技術科學部；工程院也有信息學部，名字叫做信息與電子工程學部。
劉賀敏的數學成果偏理論，但他在國際有影響力的成果，都是和人工智慧有關，偏重於『技術』，而不是理論性質的科學，他應該去評選信息與電子工程學部的院士，簡單來說就是『工程院院士』。
所以劉賀敏被推薦成為院士候選人，大概率就是數學物理學部的參選人數不夠，就被划過去湊數了。
今年很特殊。
有些消息靈通的知道趙奕會被推薦，提前就決定等兩年以後了。
現在劉賀敏酸溜溜的說自己中途放棄，還真就是和趙奕開個玩笑，但他主要還是給趙奕曝了『內幕』，意思就是『你已經被預訂成為學部院士』了。
看著劉賀敏發來的消息，趙奕倒是沒什麼特別的感覺。
評上數學院士？
趙奕根本就沒關心過，甚至就連哪個幾個院士推薦自己成為候選人，他也就知道兩、三個名字，還是從其他人嘴裡聽說的。
在完成了費馬猜想以後，他會被認為是世界第一的數學家，都已經是『世界第一』了，有沒有『數學院士』的名號，又有什麼區別呢？
所以趙奕只是回覆了一個大笑的表情，順便補上幾個字，「恭喜你，謝啦！」
「恭喜……？」
劉賀敏快速回覆。
趙奕淡然的打了十幾個字，「自己退出總比被刷下來好。」
「……當我沒問。」
網線對面的劉賀敏連著咳嗦了好幾聲，彷彿是感覺一支穿雲箭，順著網線以光速扎進了他的心房。
與此同時。
世界學術界的輿論依然聚焦在趙奕的費馬猜想證明上。
趙奕的證明比懷爾斯的簡單許多，但實際上，一系列的證明過程，再包括之前發表的『簡化費馬猜想』成果，加在一起正常發表論文，也輕鬆超過六十頁。
普通數學學者想理解是很困難的，但一些的頂級的數學家，尤其是對拓撲學有研究的，理解起來就容易許多。
水木大學的報告會結束僅僅兩天，就其他頂級的數學家站出來，表態讚歎趙奕的證明過程『很精緻』。
那是佛羅里達大學的湯姆森。
湯姆森和趙奕見過兩次，偶爾也會交流數學研究，也能算的上是熟悉了，他對拓撲學有一定了解，仔細聽了趙奕的報告講解，又拿到一份證明論文後，他花費了幾個小時，差不多就理解了內容。
之後他對細節的論證結果進行了演算。
這是報告會中沒有的。
在費馬猜想的報告會中，趙奕談到一些簡單的邏輯推理，或者是一些運算、變換步驟，都是直接一帶而過的，簡單的邏輯推理不用多解釋，能明白的人瞬間就能理解，不能明白的人講解也沒意義，運算上來說則是太複雜，只是說明步驟都需要很多時間，就乾脆直接給出了結論。
如果給出的結論是錯誤的，自然就說明趙奕的證明是有問題的，對細節進行驗算還是很有必要的。
這個過程很耗費時間。
湯姆森用了一天半的時間，才完成了一半兒的運算，有些公式變換、函數代換的部分，因為沒有詳細的解答步驟，還需要自己去推斷、思考，就乾脆暫時選擇放棄。
不過驗算進行到這裡，發現能簡單算出來的，都是完全正確的，他也可以暫時得出結論。
「證明是嚴謹而精緻的。」
湯姆森接受採訪時說道，「我之所以用『精緻』來形容，是因為證明過程邏輯清晰，沒有任何多餘的步驟，縱觀整個過程，每一個部分的目的都很明確的。」
「雖然還沒有完成所有的演算，但我相信是正確的。」
「恭喜趙奕！」
「他也是我的朋友，我很高興看到他又完成了一項最頂級的數學成果！」
湯姆森發表看法就是個開端。
之後好多的數學家都紛紛發表看法，表現說沒有在證明過程中看到問題，並認為證明是完全正確的。
但他們不敢百分百確定。
因為未講解的計算內容里，有些還是很複雜的，他們並沒有全部驗算出來，只能確定過程的縝密。
數學證明來說，到這裡就可以確定是正確的了，計算的內容確實可能出錯，但大致上沒有問題，最少說明所採用的方法是正確的，是能夠解決問題的。
就算中途有個計算出錯，也只是個小錯誤，只要方法是正確的，以同樣的方法去重新做計算，就能夠得到最終的答案。
當好幾個頂級數學家、學者紛紛發表看法後，媒體以及學術圈的人，都開始關注幾個機構的態度了。
毫無疑問。
不管是牛頓研究院、克萊研究所，亦或是普林斯頓高等研究院，或者是其他的大學、機構之類，都肯定會對趙奕的證明進行嚴謹的驗證。
他們必須這樣做。
牛頓研究院肯定不希望看到趙奕證明費馬猜想，因為十幾年前他們肯定了懷爾斯的證明，結果趙奕證明了懷爾斯的邏輯錯誤，他們和趙奕不能說有深仇大恨，但懷爾斯的錯誤說明了他們的失敗，後來學術能力都被一定程度上質疑。
當得知趙奕做出了費馬猜想的證明，牛頓研究院肯定更加不爽了，很多頂級數學家的看法，說明趙奕的證明基本正確，他們完全不情願去做出肯定。
可是，沒辦法。
全世界的學術機構太多了，而學術機構保持中立性是最根本的，否則影響力就會下降。
這就和媒體機構一樣。
當一家媒體總是報道落後的，或者錯誤的新聞，肯定會影響到外界的評價。
對牛頓研究院來說，沉默沒有任何好處，因為數學是嚴謹的學科。
對，就是對。
錯，就是錯。
保持沉默只能被外界認為是，他們無法驗證趙奕的成果，而其他學術機構驗證了，他們的水平就會受到質疑。
牛頓研究院如此，其他影響力大的機構也是如此。
所以公開看到趙奕的報告會，並拿到了完成的證明論文後，有影響力的學術機構，都在抓緊時間做驗證。
機構和單獨的數學家不同。
他們組織內部的數學家，分組的對證明過程進行研究，不放過任何一個小細節，需要的時間也要長一些。
等到了第三天的時候，就有大型的機構發聲了。
普林斯頓高等研究院。
愛德華·威騰帶來了『確定』的消息，普林斯頓高等研究院立刻組織數學家們進行驗證，愛德華也參與到工作中，他聽報告講解非常細緻，加入後讓驗證效率大大提高。
三天。
普林斯頓高等研究院的科學家們，對證明整體思路以及小細節的邏輯推導、計算，都做了詳細的驗證，結束後馬上對外發表了結果。
「經過五個數學家兩天的努力，我們確定了趙奕對費馬猜想的證明，不存在任何不嚴謹以及錯誤。」
「我們可以肯定的宣布，費馬猜想已經確定被證明！」
這就是結果了。
普林斯頓高等研究院發表了認可後，不到幾個小時時間，克萊研究所、牛頓研究院以及NW科學院，都發表了肯定的結論。
這就等於是被全世界認可了。
世界媒體對各個機構宣布的消息，進行了大量的報道，國內也馬上轉發了消息，大家的反應可以說是歡呼一片，都為趙奕能證明費馬猜想感到驕傲。
同時。
趙奕馬上被定義成「超越時代的超級天才」、「超級數學家」、「數學界的