本著「來都來了,不如看看錯在哪」的學術精神,徐辰挑了竇華書和A.G. Ramm的兩篇論文,仔細研讀了一番。
在數學界,絕大多數學者是絕不會故意造假來糊弄人的。
原因很簡單:在純數學領域,想要造一個「天衣無縫、連頂尖同行都看不出來」的假證明,其難度甚至比真正證明這個定理還要高!
因為數學是建立在嚴密邏輯推導之上的,每一步都必須有堅實的公理或定理支撐。你如果想在中間某個環節造假,就必須編造一套極其複雜的偽邏輯來掩蓋它。真有這種能憑空捏造出一套完美偽邏輯的逆天腦力,就算證明不了N-S方程,去解決個次一級的世界級猜想也絕對是降維打擊,何必冒著身敗名裂的風險來造假?
所以,這些論文之所以出錯,往往是因為作者在麵對極其複雜的非線性係統時,陷入了某種「思維盲區」。他們在自己構建的邏輯迷宮裡迷路了,誤把海市蜃樓當成了出口。
……
花了大約兩個小時,徐辰在草稿紙上推演了幾遍,很快就找出了這兩篇論文中隱藏極深的致命漏洞。
竇華書的論文中,在處理Sobolev空間的嵌入定理時,對流體邊界層的奇異性估計過於樂觀。他假設了一個在弱解下成立的能量耗散率,並將其強行推廣到了強解的爆破臨界點上。這個邏輯跳躍,直接導致了他後續的爆破時間下界估計失效。
而A.G. Ramm的那篇論文,問題出在對「矛盾」的構造上。他在進行時間反向積分時,忽略了N-S方程耗散項的不可逆性,導致他在推導「初始速度必然為零」時,實際上是解了一個物理上完全不成立的倒流方程。 超順暢,.隨時讀
……
找出問題後,徐辰像處理沙赫穆羅夫那篇論文時一樣,在arXiv對應的評論區裡,分別留下了措辭簡短卻切中要害的技術性評論。
評論的風格與上次如出一轍:先禮貌地肯定論文中值得借鑑的分析技巧,隨後以「探討「的口吻精準指出那個隱蔽的致命漏洞,末尾附上自己的推導過程。署名依然是那個樸素的「—— Xu Chen「。
……
點擊發送後,徐辰伸了個大大的懶腰。
「行了,排雷工作基本結束。」
經過這幾天的文獻梳理和「找茬」,徐辰對N-S方程的現狀有了一個較為清晰的認知。
前人有一些創新點,但似乎還不夠,在麵對N-S方程那恐怖的「超臨界非線性」和「渦旋拉伸」時,現有的思路都已經達到了極限。
「看來,孔老頭和陶哲軒說得對。」
「想要解決這個問題,靠修修補補是不行的。」
……
由於徐辰的帳號被太多人設置為關注,因此他在arXiv上的這幾條評論也很快被人發現。
三天。
指出了八篇論文的漏洞。
這是一個什麼概念呢?
在正常的學術世界裡,一位資深的PDE(偏微分方程)教授接到一篇千禧難題級別的審稿邀請,光是通讀一遍論文、理解作者的整體思路框架,最快也需要兩到三天。而要逐行驗證每一個關鍵引理的推導、檢查每一個不等式的放縮是否最優、構造反例去試探邏輯鏈的薄弱環節,這個過程通常需要數周乃至數月。
這是學術界最沉默也最辛苦的勞動。審稿人的工作是完全匿名的、沒有署名權的、也幾乎沒有任何報酬的——純粹靠著對真理的敬畏和對學術共同體的責任感在支撐。
而現在,有一個人,把這件全世界最頂尖的PDE專家做起來都要按周計算的工作量,壓縮到了小時級別。
而且不是一篇,是八篇。
……
最先發現的,是那些正在苦逼審稿的PDE領域同行們。
美國,普林斯頓大學數學係。
助理教授大衛·史密斯正對著電腦屏幕上沙赫穆羅夫的那篇《首次閾值論證》抓著那為數不多的頭髮。
作為這篇論文的匿名審稿人之一,他已經被這篇長達45頁、充滿微局部分析的論文折磨了整整兩個星期。
「這該死的插值不等式放縮,總感覺哪裡不對勁,但就是找不到反例……」大衛煩躁地灌了一大口黑咖啡。
更多小說內容請訪問o o p . t w
就在這時,他的郵箱彈出一封來自arXiv的更新提醒。因為他審稿了這篇論文,為了追蹤後續討論,他訂閱了這篇論文的動態,所以任何評論都會第一時間推送到他的郵箱。
。區論評眼一了掃地心經不漫,結連開點衛大
」?nehC uX「
。》路思明證與索探性解可的下架框學數同不在想猜赫巴德哥於關《的位首在掛然赫篇那到看,頁主進點——下一了實核地定確不是先他。下一了頓作動的衛大
。辰徐個那是就。了錯認會不
?區論評的EDP在現出會麼什為,主得獎菲的向方何幾數代和論數個一但
。論評的字百兩到不段那了完讀真認衛大,奇好的烈強著帶
。了住僵人個整他後然
「……長增級數指的下emiger界臨超在C數常「
。算驗速飛路思的裡論評著順,筆起抓地般射反件條是乎幾衛大
。後鐘分五
。住停尖筆
。潰崩底徹件條合閉的2.4理引——誤無晰清論結的上麵紙
。筆了下放緩緩衛大
。上心靶了在釘地輕若重舉,論評的字百兩到不段一被,洞漏個那的定鎖能未都紙稿草數無了耗消、期星個兩了花他
。撼震……的行同為作、的粹純種一是的多更,怒憤上不談也,妒嫉是不。雜複很覺感種那
「。平水的有能文論EDP篇幾了看時臨是像不「,語自地喃喃衛大「……覺直的域領跨種這「
」?嗎領綱茲蘭朗和何幾數代搞在直一都不前之他是可「
……