水木大學的報告會結束僅僅兩天,就其他頂級的數學家站出來,表態贊嘆趙奕的證明過程‘很精致’。
那是佛羅里達大學的湯姆森。
湯姆森和趙奕見過兩次,偶爾也會交流數學研究,也能算的上是熟悉了,他對拓撲學有一定了解,仔細聽了趙奕的報告講解,又拿到一份證明論文后,他花費了幾個小時,差不多就理解了內容。
之后他對細節的論證結果進行了演算。
這是報告會中沒有的。
在費馬猜想的報告會中,趙奕談到一些簡單的邏輯推理,或者是一些運算、變換步驟,都是直接一帶而過的,簡單的邏輯推理不用多解釋,能明白的人瞬間就能理解,不能明白的人講解也沒意義,運算上來說則是太復雜,只是說明步驟都需要很多時間,就干脆直接給出了結論。
如果給出的結論是錯誤的,自然就說明趙奕的證明是有問題的,對細節進行驗算還是很有必要的。
這個過程很耗費時間。
湯姆森用了一天半的時間,才完成了一半兒的運算,有些公式變換、函數代換的部分,因為沒有詳細的解答步驟,還需要自己去推斷、思考,就干脆暫時選擇放棄。
不過驗算進行到這里,發現能簡單算出來的,都是完全正確的,他也可以暫時得出結論。
“證明是嚴謹而精致的。”
湯姆森接受采訪時說道,“我之所以用‘精致’來形容,是因為證明過程邏輯清晰,沒有任何多余的步驟,縱觀整個過程,每一個部分的目的都很明確的。”
“雖然還沒有完成所有的演算,但我相信是正確的。”
“恭喜趙奕!”
“他也是我的朋友,我很高興看到他又完成了一項最頂級的數學成果!”
湯姆森發表看法就是個開端。
之后好多的數學家都紛紛發表看法,表現說沒有在證明過程中看到問題,并認為證明是完全正確的。
但他們不敢百分百確定。
因為未講解的計算內容里,有些還是很復雜的,他們并沒有全部驗算出來,只能確定過程的縝密。
數學證明來說,到這里就可以確定是正確的了,計算的內容確實可能出錯,但大致上沒有問題,最少說明所采用的方法是正確的,是能夠解決問題的。
就算中途有個計算出錯,也只是個小錯誤,只要方法是正確的,以同樣的方法去重新做計算,就能夠得到最終的答案。
當好幾個頂級數學家、學者紛紛發表看法后,媒體以及學術圈的人,都開始關注幾個機構的態度了。
毫無疑問。
不管是牛頓研究院、克萊研究所,亦或是普林斯頓高等研究院,或者是其他的大學、機構之類,都肯定會對趙奕的證明進行嚴謹的驗證。
他們必須這樣做。
牛頓研究院肯定不希望看到趙奕證明費馬猜想,因為十幾年前他們肯定了懷爾斯的證明,結果趙奕證明了懷爾斯的邏輯錯誤,他們和趙奕不能說有深仇大恨,但懷爾斯的錯誤說明了他們的失敗,后來學術能力都被一定程度上質疑。
當得知趙奕做出了費馬猜想的證明,牛頓研究院肯定更加不爽了,很多頂級數學家的看法,說明趙奕的證明基本正確,他們完全不情愿去做出肯定。
可是,沒辦法。
全世界的學術機構太多了,而學術機構保持中立性是最根本的,否則影響力就會下降。
這就和媒體機構一樣。