第一招:極限狀態下的邏輯自洽性。
徐教授這一問其實是在耍流氓」,他拿納維—斯托克斯方程的千禧年難題來壓林葉的演算法。意思是:如果流體爆破了,你的演算法還有效嗎?
這是一個絕殺,通常搞工程演算法的人遇到這個問題,只能承認確實存在理論缺陷。
(當然我得在這說明下,在工程實踐中一般是無所謂NS方程的千禧年難題是否被證明,因此就算理論有缺陷,也不妨礙他們直接運用NS方程來做直接數值模擬,NS方程只要能夠模擬流體運動就行了!)
但林葉的回答,我只能說是神來之筆!
我完全沒有想到他的分析技術也達到了如此高的程度,完全沒有迴避對方的問題,而是提到了幾何耗竭和交換子估計。這說明他對調和分析的理解已經到了極深的層次,他用純數學的工具,給工程演算法穿上了一層防彈衣!
第二招:剛性退化與降階問題。
這是數值分析裡的經典大坑,徐教授質疑林葉的演算法在極端條件下精度會從二階退化成一階。
結果林葉秒回變分公式展開和換位子區域性光滑。這說明他不僅懂演算法怎麼寫,更懂演算法背後的李代數結構!他非常清楚自己模型的數學本質,所以根本不怕這種通用性質疑。
總而言之,林葉的無論是數學能力,還是反應速度,都堪稱恐怖,這些問題涵蓋了泛函分析。數值代數。流體力學守恆律等多個領域,每一個都是深坑,但林葉幾乎都是零延遲作答。這意味著什麼?這意味著這套理論不是別人塞給他的,而是完全長在他腦子裡的!他不僅是天才,更是那種能打通數學理論與工程應用任督二脈的超級天才!
當然,在最後我也必須得說句公道話,徐神也不愧是徐神,能夠思考出那麼多問題出來,他的能力完全匹配的上他的名氣,只能說————
可惜遇見了林葉這個不講理的啊!】
這條回答下面,評論區也是一片沸騰:
【感謝大佬科普!雖然還是看不懂具體的數學名詞,但零延遲作答和耍流氓被反殺我聽懂了!】
【總結:林神牛逼。】
【那個徐教授確實很強,換我上去,我估計一回合都堅持不下來,只能說既生軒何生葉了。】
【林神這下是真的要徹底封神了】
【————】
除了專業人士的硬核分析,還有不少現場怪也出來爆料。
【我就在現場,後排瑟瑟發抖的研一渣渣。你們從影片裡面估計都看不到,徐教授問到最後都快自閉了,林葉依然氣定神閒,最後還是徐教授的老師張正得院士親自叫停才結束的。那一刻,我真的相信世界上有文曲星下凡。】
【你們光看影片估計也不知道,報告中途的時候這位徐教授還打斷了林葉的報告,直接問了個問題出來,結果萬萬沒想到林葉直接就隨口回答出來,還讓他檢視自己發表在JCA面的一篇論文,簡直牛逼壞了!】
隨著這些專業解讀和現場爆料的不斷發酵,林葉的名字,再一次從競賽圈出圈,狠狠地撞進了大眾的視野。
直到當天晚上,一條金陵日報加班加點趕出來的影片,就更是給這場報告來了場蓋棺定論。
影片中釋出了金陵日報採訪程慶崇教授,以及田建平院士的內容,中間也剪進了他們的攝影師現場拍攝的一些精彩畫面。
像是影片的封面就是一張抓拍:背景是座無虛席的報告廳,林葉站在主席臺中央,身後是寫滿密密麻麻數學公式的黑板,而第一排的田建平院士正站起身,雙手鼓掌,眼神中滿是讚賞。
影片標題言簡意賅且分量極重:【金陵日報獨家專訪:當我們在談論天才時,我們在談論什麼?——直擊全國非線性偏微分方程與流體力學前沿研討會現場】
影片點開,首先出鏡的正是金陵大學副校長。本次大會主席的程慶崇教授。
面對鏡頭,這位一向以治學嚴謹著稱的老教授,臉上掛著甚至還沒完全褪去的興奮紅暈。
。去過了遞筒話將吳小者記」?價評麼怎您,告報場開的作所士院陳替代葉林生新一大由場那午上天今於關,長校程「
」————是但。遭一頭是也裡涯生學的我在這,家專位多百六下臺對面子孩的歲八十個一讓竟畢,的汗把一了是裡心我,前始開議會在,話實說「:道說地真認其極頭鏡著對,氣口一吸深,鏡眼推了推崇慶程
」!平水的高此如了到達也力能的上學數礎基在學同葉林到想有沒是在實我,察邃深的礎基學數學力流個整對是更,握掌的法算演定特個那對是僅僅不的出現展他,完是說以可至甚,格合是僅不,現表的學同葉林是但「:來起昂激得變氣語,頓了頓崇慶程
」。刻一這證見能幸榮很我,人持主的告報場那是也,席主會委組的會大屆本為作。鋒學的別級書科教是說以可至甚。的粹純。的平水高場一是那,節環問提的後最是別特「
。上士院平建田的髮銀頭滿了到換切,轉一即隨面畫
。量重更卻話的出說但,和隨加更得顯時頭鏡對面,斗泰的重高德界學在位這
。道問者記」?看麼怎您,」傅師老死打拳是這說人有,趣興很論辯的授教軒子徐與學同葉林對人多很上路網,士院田「
」。不水滴,輯邏理層底到析分函泛從,好更得對應葉林但。度深有極題問的問,高很平水,歲82才也年今,的道知是我徐小的學大旦震個那。輕年很也?啊老不也傅師老且而!上子點在都招招,拳長林的宗正是那?拳麼什「:手擺了擺笑大哈哈,言聞平建田
」。師為者達有只,卑尊長有沒,上路道的理真求追在:事件一了明證告報場這的天今,他視輕就輕年葉林為因要不「:道正頭鏡著對,容笑了斂收平建田,裡這到說
」。啊鋒學的彩場一樣這到不看也們我,他有沒,了輸他得覺就葉林住問有沒軒子徐為因要不也過不「
」!的希有大是,來未的學科礎基家國們咱,得覺就我,人輕年的樣這到看,之言而總「








