劉賀敏發過來的消息裡,哀怨氣息十足,讓人聽了都能感覺到酸楚,彷彿他本來能評上院士,結果因爲趙奕要參加評選,不得不遺憾的選擇退出。
趙奕看笑了。
如果不瞭解劉賀敏的話,完全看不出話裡的打趣意味,但是他非常瞭解劉賀敏,知道劉賀敏不可能評的上數學物理學部的院士。
劉賀敏確實參加了數學物理學部的院士增選,但他就是參加評選人中‘重在參與’的那一個,而且最初被推薦成爲候選人,熟悉的人就都知道,他就是參加一下湊個數。
當然了。
劉賀敏也許是真心想評上院士,但‘想’和‘是否能評上’,是完完全全的兩件事,連他自己也知道評不上。
因爲,研究方向和成果。
劉賀敏是科學院軟件所的研究員,主要研究方向是計算機類的進化算法,他對數學的研究也和進化算法直接掛鉤,但基本上都是信息學中,一些軟件、算法設計的數學理論研究,就和趙奕爲國內導航項目衛星,設計的‘數字壓縮技術的數學理論’類似。
他的數學研究就是爲計算機算術法、軟件服務的。
所以劉賀敏應該去評選信息學部的院士。
科學院有信息學部,名字叫做信息技術科學部;工程院也有信息學部,名字叫做信息與電子工程學部。
劉賀敏的數學成果偏理論,但他在國際有影響力的成果,都是和人工智能有關,偏重於‘技術’,而不是理論性質的科學,他應該去評選信息與電子工程學部的院士,簡單來說就是‘工程院院士’。
所以劉賀敏被推薦成爲院士候選人,大概率就是數學物理學部的參選人數不夠,就被划過去湊數了。
今年很特殊。
有些消息靈通的知道趙奕會被推薦,提前就決定等兩年以後了。
現在劉賀敏酸溜溜的說自己中途放棄,還真就是和趙奕開個玩笑,但他主要還是給趙奕曝了‘內幕’,意思就是‘你已經被預訂成爲學部院士’了。
看着劉賀敏發來的消息,趙奕倒是沒什麼特別的感覺。
評上數學院士?
趙奕根本就沒關心過,甚至就連哪個幾個院士推薦自己成爲候選人,他也就知道兩、三個名字,還是從其他人嘴裡聽說的。
在完成了費馬猜想以後,他會被認爲是世界第一的數學家,都已經是‘世界第一’了,有沒有‘數學院士’的名號,又有什麼區別呢?
所以趙奕只是回覆了一個大笑的表情,順便補上幾個字,“恭喜你,謝啦!”
“恭喜……?”
劉賀敏快速回復。
趙奕淡然的打了十幾個字,“自己退出總比被刷下來好。”
“……當我沒問。”
網線對面的劉賀敏連着咳嗦了好幾聲,彷彿是感覺一支穿雲箭,順着網線以光速扎進了他的心房。
於此同時。
世界學術界的輿論依然聚焦在趙奕的費馬猜想證明上。
趙奕的證明比懷爾斯的簡單許多,但實際上,一系列的證明過程,再包括之前發表的‘簡化費馬猜想’成果,加在一起正常發表論文,也輕鬆超過六十頁。
普通數學學者想理解是很困難的,但一些的頂級的數學家,尤其是對拓撲學有研究的,理解起來就容易許多。
水木大學的報告會結束僅僅兩天,就其他頂級的數學家站出來,表態讚歎趙奕的證明過程‘很精緻’。
那是佛羅里達大學的湯姆森。
湯姆森和趙奕見過兩次,偶爾也會交流數學研究,也能算的上是熟悉了,他對拓撲學有一定了解,仔細聽了趙奕的報告講解,又拿到一份證明論文後,他花費了幾個小時,差不多就理解了內容。
之後他對細節的論證結果進行了演算。
這是報告會中沒有的。
在費馬猜想的報告會中,趙奕談到一些簡單的邏輯推理,或者是一些運算、變換步驟,都是直接一帶而過的,簡單的邏輯推理不用多解釋,能明白的人瞬間就能理解,不能明白的人講解也沒意義,運算上來說則是太複雜,只是說明步驟都需要很多時間,就乾脆直接給出了結論。
如果給出的結論是錯誤的,自然就說明趙奕的證明是有問題的,對細節進行驗算還是很有必要的。
這個過程很耗費時間。
湯姆森用了一天半的時間,才完成了一半兒的運算,有些公式變換、函數代換的部分,因爲沒有詳細的解答步驟,還需要自己去推斷、思考,就乾脆暫時選擇放棄。
不過驗算進行到這裡,發現能簡單算出來的,都是完全正確的,他也可以暫時得出結論。
“證明是嚴謹而精緻的。”
湯姆森接受採訪時說道,“我之所以用‘精緻’來形容,是因爲證明過程邏輯清晰,沒有任何多餘的步驟,縱觀整個過程,每一個部分的目的都很明確的。”
“雖然還沒有完成所有的演算,但我相信是正確的。”
“恭喜趙奕!”
“他也是我的朋友,我很高興看到他又完成了一項最頂級的數學成果!”
湯姆森發表看法就是個開端。
之後好多的數學家都紛紛發表看法,表現說沒有在證明過程中看到問題,並認爲證明是完全正確的。
但他們不敢百分百確定。
因爲未講解的計算內容裡,有些還是很複雜的,他們並沒有全部驗算出來,只能確定過程的縝密。
數學證明來說,到這裡就可以確定是正確的了,計算的內容確實可能出錯,但大致上沒有問題,最少說明所採用的方法是正確的,是能夠解決問題的。
就算中途有個計算出錯,也只是個小錯誤,只要方法是正確的,以同樣的方法去重新做計算,就能夠得到最終的答案。
當好幾個頂級數學家、學者紛紛發表看法後,媒體以及學術圈的人,都開始關注幾個機構的態度了。
毫無疑問。
不管是牛頓研究院、克萊研究所,亦或是普林斯頓高等研究院,或者是其他的大學、機構之類,都肯定會對趙奕的證明進行嚴謹的驗證。
他們必須這樣做。
牛頓研究院肯定不希望看到趙奕證明費馬猜想,因爲十幾年前他們肯定了懷爾斯的證明,結果趙奕證明了懷爾斯的邏輯錯誤,他們和趙奕不能說有深仇大恨,但懷爾斯的錯誤說明了他們的失敗,後來學術能力都被一定程度上質疑。
當得知趙奕做出了費馬猜想的證明,牛頓研究院肯定更加不爽了,很多頂級數學家的看法,說明趙奕的證明基本正確,他們完全不情願去做出肯定。
可是,沒辦法。
全世界的學術機構太多了,而學術機構保持中立性是最根本的,否則影響力就會下降。
這就和媒體機構一樣。
當一家媒體總是報道落後的,或者錯誤的新聞,肯定會影響到外界的評價。
對牛頓研究院來說,沉默沒有任何好處,因爲數學是嚴謹的學科。
沒錢看小說?送你現金or點幣,限時1天領取!關注公·衆·號【書友大本營】,免費領!
對,就是對。
錯,就是錯。
保持沉默只能被外界認爲是,他們無法驗證趙奕的成果,而其他學術機構驗證了,他們的水平就會受到質疑。
牛頓研究院如此,其他影響力大的機構也是如此。
所以公開看到趙奕的報告會,並拿到了完成的證明論文後,有影響力的學術機構,都在抓緊時間做驗證。
機構和單獨的數學家不同。
他們組織內部的數學家,分組的對證明過程進行研究,不放過任何一個小細節,需要的時間也要長一些。
等到了第三天的時候,就有大型的機構發生了。
普林斯頓高等研究院。
愛德華-威騰帶來了‘確定’的消息,普林斯頓高等研究院立刻組織數學家們進行驗證,愛德華也參與到工作中,他聽報告講解非常細緻,加入後讓驗證效率大大提高。
三天。
普林斯頓高等研究院的科學家們,對證明整體思路以及小細節的邏輯推導、計算,都做了詳細的驗證,結束後馬上對外發表了結果。
“經過五個數學家兩天的努力,我們確定了趙奕對費馬猜想的證明,不存在任何不嚴謹以及錯誤。”
“我們可以肯定的宣佈,費馬猜想已經確定被證明!”
這就是結果了。
普林斯頓高等研究院發表了認可後,不到幾個小時時間,克萊研究所、牛頓研究院以及NW科學院,都發表了肯定的結論。
這就等於是被全世界認可了。
世界媒體對各個機構宣佈的消息,進行了大量的報道,國內也馬上轉發了消息,大家的反應可以說是歡呼一片,都爲趙奕能證明費馬猜想感到驕傲。
同時。
趙奕馬上被定義成“超越時代的超級天才”、“超級數學家”、“數學界的愛因斯坦加牛頓”,等等。
他突然有了很多綽號。
大量的報道!
大量的讚歎!
哪怕趙奕習慣了被報道、被讚歎,看到一大堆的新聞,還是感覺心裡美滋滋。
於此同時。
好多人都開始關心D國科學院的評審結果。
在世界的權威學術機構中,D國科學院很難排進前五,但前十肯定有一席之地,其他機構都認可了趙奕的證明,就只有D國科學院沒有發聲,但所有人都知道,他們爲什麼不發聲。
因爲,尷尬。
如果說牛頓科學院是在鬱悶中確認趙奕成功證明費馬猜想,D國科學院就純粹是尷尬了。
D國科學院把保存百年、非常有歷史意義的“沃爾夫斯克爾的費馬大定理證明獎”,已經頒發給了安德魯-懷爾斯,讓他們怎麼再確定另一個證明呢?
D國科學院都可以想象,發表了確認成果的消息後,肯定會被世界學術圈嘲笑,說他們拿不出第二個“沃爾夫斯克爾獎”了。
當然了。
哪怕不去發表消息確認成果,世界學術圈該嘲笑還是嘲笑。
D國科學院特別爲此召開了個會議,因爲他們知道必須說點什麼,而且是要儘快的說,否則輿論就會席捲而來,也許會說他們‘不敢面對’、‘沒有擔當’。
好在他們還沒有宣佈取消安德魯-懷爾斯的“沃爾夫斯克爾獎”。
第二天。
D國科學院終於在官網上發表了一則消息,宣佈說,“我們確定了中國數學家趙奕對費馬猜想的證明。”
“經過委員會的討論,我們決定取消安德魯-懷爾斯的證明,並把“沃爾夫斯克爾獎”的頭銜,賦予中國數學家趙奕。”
這則消息當然會讓人不滿。
所有人關注的都是“沃爾夫斯克爾獎”的獎金,看看D國科學院是否會再拿出一筆獎金,結果D國科學院只宣佈給了個頭銜。
頭銜,有什麼用?
D國科學院也有說法,他們說準備公開邀請趙奕前往D國做合作研究,並把“沃爾夫斯克爾獎”以薪資的形式支付給他。
這是D國科學院唯一能想到的辦法。
聽起來似乎有些不可思議,好多人卻能理解D國科學院的做法。
這件事放在國內根本不是問題,多拿出幾百萬獎金而已,隨便卡一點經費差不多就夠了,爲了不在世界學術圈丟臉,幾百萬根本不算什麼,但放在D國或者說西方國家,就是個大問題了。
D國科學院的經費不是隨便用的,每年拿到的研究撥款,每一歐元的用途都會有詳細的記錄,還受到其他部門的監督,並且還是對外公開的。
想要劃撥出上百萬英鎊,就必須要有‘正規’的來源和用途。
正規,很重要。
如果在某個大型的科研經費中,劃撥出上百萬英鎊,肯定會讓參與科研的人員不滿,國家多從稅收上劃撥一筆過去,會讓所有的納稅人不滿。
等等。
這筆錢無論是從哪裡劃撥,都會有牽扯到其他人的利益。
所以就必須要正規。
如果是聘請趙奕過去工作,以‘薪資’形勢發放,自然就變得正規了。
趙奕是世界最頂級的數學家,個人證明了哥德巴赫猜想、費馬猜想,還研究出了震撼人心的三維震顫波形圖。
這樣的數學家以頂薪的形式聘請,一點都不爲過,年薪一百萬歐、兩百萬歐,甚至更多,都是可以接受的。