“嗯。”
林曉點點頭，隨後便離開了實驗室。
……
接下來的時間中，林曉便進入到了納維斯托克斯方程的研究當中。
反正自從解決了人造神經，讓石浩站起來後，他就再次進入了休息的狀態中，接下來的時間，也正好來研究研究這個數學問題。
當然，十分的不簡單就對了。
“教授，你這是……在研究納維斯托克斯方程嗎？”
京大，林曉的辦公室中，陳明凱看著自己教授研究的東西，似乎十分的複雜，臉上便不由露出了好奇。
林曉點點頭，說道：“是的。”
“那你研究的是什麼啊？某種運用嗎？”
“呃……不是。”林曉說道：“證明它解的存在性以及光滑性。”
“哦，這個啊……”陳明凱恍然大悟，但猛然間他反應了過來，臉上頓時露出震驚之色：“您的意思是說……那個千禧年難題？”
“咳咳，別這麼驚訝，淡定，我又不是沒證明過千禧年難題。”林曉笑了笑，隨後說道：“更何況，也只是證明一個千禧年難題而已，又不是解出它的通解。”
陳明凱頓時翻了個白眼。
自己這個老師，什麼都好，就是太牛逼了。
當然，也確實如林曉說的那樣，千禧年大獎難題中的“證明納維斯托克斯方程解的存在性與光滑性”的難度，相比起接觸納維斯托克斯方程的通解，還是要稍顯簡單一些。
納維斯托克斯方程，是一個偏微分方程，求解偏微分方程，是這個領域的數學家經常研究的一個方向，而這一點是比較困難的。
而想要解開納維斯托克斯方程，則更加困難了，幾乎被認為是不可能解開的問題。
因為它不像尤拉方程那樣比較容易求得通解，納維斯托克斯方程中因為多了一個二階導數項μ△v，於是就導致其除了在一些特定的條件下，很難求得其通解。
所以，千禧年大獎難題中也只要求證明其解的存在性，而沒要求解出其通解是什麼，至於所謂的光滑性，指的是最後的通解可以寫成一個【光滑函式】，其具有無窮可導性，就比如e^x的導數是其本身。
而一旦解出其通解，那就不得了了，所有和流體力學有關的東西，都將得到極大的簡化，比如水的流動，都可以用這個通解去輕鬆地描述出來，再或者是對飛機的氣動最佳化等等，過程都將得到極大的簡化。
不過也正因為求出通解的難度很大，所以幾乎沒有多少人研究這個方向。
而陳明凱也沒有想過自己的老師能找到這個通解，所以就問道：“那教授，你找到證明方法了嗎？”
“沒有。”
林曉說道，隨後就瞥了一眼陳明凱，沒好氣地說道：“你閒著沒事幹在這裡幹嘛？論文選題選好了沒？七月份之前你可必須得選好了。”
“啊這……”
陳明凱一愣，然後連忙說道：“很快就選好了，教授您放心吧，我保證不拖延症了。”