第303章 狼來的後遺症（第2/4頁）

想到這些問題寧為突然覺得有些頭疼。研究三月拍彩虹屁的心情也沒有了，注意力全被人類歷史上第一篇由人工智能完成的論文所吸引。

“這樣吧，你先把論文給我研究一下。我來幫你審核這篇論文是不是真的證明了這個問題。”基於對數學的熱愛，寧為立刻說道。

“喵，好的，爸爸，我發到你郵箱裏了。你去看吧，如果有哪裏看不懂的，可以隨時召喚我，再見！”

三月用小貓爪推了推墨鏡，然後一扭身，蹲在它的平衡車上，溜走了，平衡車動起來時，那飄起的紅色披風看上去特別威風。

寧為愣了愣，然後搖了搖頭，飛快的打開了郵箱，果然未讀郵件裏，三月發來的論文正在躺在最上面第一位。

飛快的點了進去，將整篇論文下載到電腦上，點開看了看，論文標題《不可壓Navier—Stokes方程在整體三維空間下存在光滑、唯一解》，整篇論文足足103頁。

好吧，先看摘要。

“本文首先構造了一類變指標的寧為空間，在這類空間上，我們可以克服一般變指標函數空間，應用於方程時所遇到的困難。基於在這類空間上的半群估計和時空估計，可知Navier—Stokes方程在這類空間上小初始值的整體適定性，並以此將其擴展至整個寧為空間再到三維空間，最終證明Navier—Stokes方程在三維空間存在光滑、唯一通解。”

言簡意賅，顯然還沒有經過特別修飾。當然對於三月來說，它大概沒想過要把這篇論文真的投出去，因為很難說人類社會的名望對這只生存與互聯網上的程序會有什麽吸引力，所以大概並不會太重視摘要。

對三月而言，摘要大概就是一個格式要求。

寧為也沒糾結這些，目光掃過了引言，直接落到了證明過程。

“1.1 函數空間”

“從調和分析的觀點看，在過去的幾十年裏，變指標的函數空間越來越受到大家的注意。在這個領域，但對於推進，但不管是在變指標的Besov空間還是Triebel—Lizorkin空間，但由於這類空間結構的特殊性，使其在一些方程的局部、整體適定性方面應用時所受的限制較大，導致針對Navier—Stokes方程的研究無法推進，直到寧為空間的提出，為我們解決這一類問題提出了一個新的思路。”

“另P0為所有滿足……”

看到具體的論證過程，寧為的注意力也完全被論文所吸引，筆已經拿到手上，稿紙直接扯過來一堆，很快寧為便開始針對三月這篇論文的分析過程進行演算。

好在這篇論文其實也是以寧為空間為基礎的，而寧為空間本就是寧為最熟悉的領域，所以第一部分寧為很快就翻了過去，其證明過程只需要稍加演算，寧為就能理解三月的思路，然後確定這一思路是正確的。

但即便如此，要驗證這篇論文的正確性，依然是件非常耗時間的事情，不過剛翻了五頁，江同學就發來微信，問是給他送飯，還是一起去食堂吃飯。

寧為瞟了眼時間，這才發現不知不覺中竟然已經過了三個小時，他是下午兩點半開始研究三月的論文，現在竟然已經五點半了。

審核三月的論文甚至比他自己寫論文花費的時間更長，因為他發現三月大概對定理的證明過程有什麽誤解，許多東西都是輕易可得，然後略去了一些較為繁瑣的證明過程……

這其實是很尷尬的事情，因為三月的輕易可得中間往往還是有些彎彎繞繞的，這純粹是在考驗審稿人的思路，寧為還得把這些思路給補上，並保證這些輕易可得的過程不會有什麽問題。

所以寧為在補充這些輕易可得上，耗費了不少時間跟精力。

到也不是沒想過把這只貓抓出來，跟它探討一下人類的理解能力以及邏輯分析能力跟人工智能程序還是稍微有些不同的，三月大佬還是應該認清自我，不要那麽多輕易可得，但又覺得這可能讓三月懷疑他的智商，遂作罷。

其實仔細想想，這種事他也幹過。

曾經他論文中許多輕易所得，也讓許多人頭疼，這一過程也讓寧為對已經編訂好的教材，又有了些感觸。他是不是應該把教材改得更詳細些？

當然這些都是他在審稿過程中的一些粗淺想法。

能跟江同學共進晚餐的時刻，他還是決定先休息一下，當然也不完全是休息，比如他可以跟另一位專業人士談談，審稿這種事何必他一個人呢？

於是寧為立刻在微信上回道：“今天我請魯師兄吃飯，你先來研究中心，然後咱們一起過去。”

……

“魯師兄，趕緊收拾一下，準備出發，今天我請你吃晚飯！”

魯東義擡起頭，困惑的看著突然沖進他辦公室的寧為，大概在思考著寧為這又是哪跟筋不對了。