測試廣告1    劉賀敏發過來的消息里，哀怨氣息十足，讓人聽了都能感覺到酸楚，仿佛他本來能評上院士，結果因為趙奕要參加評選，不得不遺憾的選擇退出。筆硯閣 m.biyange.net

    趙奕看笑了。

    如果不了解劉賀敏的話，完全看不出話里的打趣意味，但是他非常了解劉賀敏，知道劉賀敏不可能評的上數學物理學部的院士。

    劉賀敏確實參加了數學物理學部的院士增選，但他就是參加評選人中『重在參與』的那一個，而且最初被推薦成為候選人，熟悉的人就都知道，他就是參加一下湊個數。

    當然了。

    劉賀敏也許是真心想評上院士，但『想』和『是否能評上』，是完完全全的兩件事，連他自己也知道評不上。

    因為，研究方向和成果。

    劉賀敏是科學院軟件所的研究員，主要研究方向是計算機類的進化算法，他對數學的研究也和進化算法直接掛鈎，但基本上都是信息學中，一些軟件、算法設計的數學理論研究，就和趙奕為國內導航項目衛星，設計的『數字壓縮技術的數學理論』類似。

    他的數學研究就是為計算機算術法、軟件服務的。

    所以劉賀敏應該去評選信息學部的院士。

    科學院有信息學部，名字叫做信息技術科學部；工程院也有信息學部，名字叫做信息與電子工程學部。

    劉賀敏的數學成果偏理論，但他在國際有影響力的成果，都是和人工智能有關，偏重於『技術』，而不是理論性質的科學，他應該去評選信息與電子工程學部的院士，簡單來說就是『工程院院士』。

    所以劉賀敏被推薦成為院士候選人，大概率就是數學物理學部的參選人數不夠，就被划過去湊數了。

    今年很特殊。

    有些消息靈通的知道趙奕會被推薦，提前就決定等兩年以後了。

    現在劉賀敏酸溜溜的說自己中途放棄，還真就是和趙奕開個玩笑，但他主要還是給趙奕曝了『內幕』，意思就是『你已經被預訂成為學部院士』了。

    看着劉賀敏發來的消息，趙奕倒是沒什麼特別的感覺。

    評上數學院士？

    趙奕根本就沒關心過，甚至就連哪個幾個院士推薦自己成為候選人，他也就知道兩、三個名字，還是從其他人嘴裏聽說的。

    在完成了費馬猜想以後，他會被認為是世界第一的數學家，都已經是『世界第一』了，有沒有『數學院士』的名號，又有什麼區別呢？

    所以趙奕只是回復了一個大笑的表情，順便補上幾個字，「恭喜你，謝啦！」

    「恭喜……？」

    劉賀敏快速回復。

    趙奕淡然的打了十幾個字，「自己退出總比被刷下來好。」

    「……當我沒問。」

    網線對面的劉賀敏連着咳嗦了好幾聲，仿佛是感覺一支穿雲箭，順着網線以光速扎進了他的心房。

    於此同時。

    世界學術界的輿論依然聚焦在趙奕的費馬猜想證明上。

    趙奕的證明比懷爾斯的簡單許多，但實際上，一系列的證明過程，再包括之前發表的『簡化費馬猜想』成果，加在一起正常發表論文，也輕鬆超過六十頁。

    普通數學學者想理解是很困難的，但一些的頂級的數學家，尤其是對拓撲學有研究的，理解起來就容易許多。

    水木大學的報告會結束僅僅兩天，就其他頂級的數學家站出來，表態讚嘆趙奕的證明過程『很精緻』。

    那是佛羅里達大學的湯姆森。

    湯姆森和趙奕見過兩次，偶爾也會交流數學研究，也能算的上是熟悉了，他對拓撲學有一定了解，仔細聽了趙奕的報告講解，又拿到一份證明論文後，他花費了幾個小時，差不多就理解了內容。

    之後他對細節的論證結果進行了演算。

    這是報告會中沒有的。

    在費馬猜想的報告會中，趙奕談到一些簡單的邏輯推理，或者是一些運算、變換步驟，都是直接一帶而過的，簡單的邏輯推理不用多解釋，能明白的人瞬間就能理解，不能明白的人講解也沒意義，運算上來說則是太複雜，只是說明步驟都需要很多時間，就乾脆直接給出了結論。

    如果給出的結論是錯誤的，自然就說明趙奕的證明是有問題的，對細節進行驗算還是很有必要的。

    這個過程很耗費時間。

    湯姆森用了一天半的時間，才完成了一半兒的運算，有些公式變換、函數代換的部分，因為沒有詳細的解答步驟，還需要自己去推斷、思考，就乾脆暫時選擇放棄。

    不過驗算進行到這裏，發現能簡單算出來的，都是完全正確的，他也可以暫時得出結論。

    「證明是嚴謹而精緻的。」

    湯姆森接受採訪時說道，「我之所以用『精緻』來形容，是因為證明過程邏輯清晰，沒有任何多餘的步驟，縱觀整個過程，每一個部分的目的都很明確的。」

    「雖然還沒有完成所有的演算，但我相信是正確的。」

    「恭喜趙奕！」

    「他也是我的朋友，我很高興看到他又完成了一項最頂級的數學成果！」

    湯姆森發表看法就是個開端。

    之後好多的數學家都紛紛發表看法，表現說沒有在證明過程中看到問題，並認為證明是完全正確的。

    但他們不敢百分百確定。

    因為未講解的計算內容里，有些還是很複雜的，他們並沒有全部驗算出來，只能確定過程的縝密。

    數學證明來說，到這裏就可以確定是正確的了，計算的內容確實可能出錯，但大致上沒有問題，最少說明所採用的方法是正確的，是能夠解決問題的。

    就算中途有個計算出錯，也只是個小錯誤，只要方法是正確的，以同樣的方法去重新做計算，就能夠得到最終的答案。

 

https://twm.zgwzdq.com/%E8%A6%8F%E5%89%87%E7%B3%BB%E5%AD%B8%E9%9C%B8-831321/158.html