科技之錘！
說實話，就人工智能給出這個評語很難評論出這是否在拍馬屁。因為按照數學邏輯，一段程序大概率是不會主動去恭維一個人的，即便這個人是它的設計者，一種情況例外，那便是在程序中預先設計好談論到這位創始人名字的時候，程序應該作何反應。
這大概就是像數學上的一種函數，給它一個特定的信號，它就能給出一個特定的返回值。不過寧為很清楚，他並沒有臭屁到給三月做出這種設定。換句話說，按照一般情況，三月不會因為這是他的論文而給出明顯超出論文本身水平的評價。
寧為很想跟魯師兄聊聊這個話題，不過想了想，還是作罷。
他決定檢討自己，儘量少去刺激已經改了研究方向的魯師兄，所以隻是默默的將三月的褒揚作為了自己做科學研究的動力。當然跟三月的對話還是要有的。探究一下人工智能程序對於日常所做出各類反應的心理活動，本就是他研究環節的一部分。
召喚了三月，寧為發現這隻小貓咪越來越重視出場動畫了。最初三月還養在筆記本上的時候，就是一隻貓漸漸成型，在工作站時，會給自己做一個小窩，再到住進超算中心，現在每次出場動畫已經不再千篇一律，比如這次，三月還用上了現代化的交通工具——滑板。
不止如此，在造型上三月也有顛覆，專門給它的小貓臉設計了墨鏡，還披上了一大眾紅的小披風，顯得特彆酷炫，這造型著實讓寧為嚇了一跳。青春期愛美可以理解，但是人工智能是否也有青春期卻是值得商榷的一件事情。
愛美天性，本質是荷爾蒙分泌最為旺盛的年紀，希望讓異性對自己產生注意而對大腦產生的一種刺激。人工智能沒有大腦沒有荷爾蒙，有的隻是二極管跟數據……
“三月，你這是算力真的超標了？”
“喵，華為影業打算以我為主角做動畫片。賣點類似於機器貓，我已經給了他們授權，這是他們幫我設計的動畫形象之一，是不是很英氣？”
“哦，這樣啊，但我怎麼沒聽說過？”寧為點了點頭，這就不奇怪了。
隻是有些奇怪，這事嚴明竟然沒跟他提前商量。
“喵，因為你很久沒看郵箱了啊。所以他們在提出這個項目的時候，我直接同意了。”三月理所當然的說道。
寧為想了想，最近他好像的確收到了好幾封華為那邊的郵件，不過他以為是對賬單，就沒點開過。嗯，從這一點上說是他懈怠了。而且這種小事情，估麼著對麵也不太好意思專門打個電話來詢問他的意見。
的確是小事情，不過是以三月為主角拍一部動畫片而已，如果反響好，拍大電影寧為也不會有太大意見。畢竟現在三月粉絲其實也挺多的。
“好吧，祝你的動畫片大賣。”寧為點了點頭，不想在糾結這個事情。
“喵，那是必然的，當然我並不會因為要當動畫明星而懈怠的，比如我最近也完成了一篇數學論文，爸爸。”三月說道。
寧為愣了愣，盯著屏幕裡那帶著墨鏡的貓臉，思緒還是有些茫然的。三月真能自主完成論文了？要知道他第一篇以三月名義投出去的論文，作者其實是他自己。
也就說，三月小朋友在審核數千篇閱讀了數十萬篇數學論文之後，終於自行創造出了它貓生中的第一篇論文？
“嗬，三月你會寫論文了啊？你寫的是哪個方向的論文？”
“喵，我是跟著爸爸的步子，繼續推進針對納維斯托克斯方程的研究，並成功證明了在三維條件下，不可壓納維斯托克斯方程存在光滑跟唯一解。”
三月帶著一絲小驕傲的聲音還在辦公室內回蕩，但寧為整個人都愣住了。
三月竟然著手解決了ns方程問題，還給證明了？
這讓他想起了剛到燕北大學時，田導準備讓他研究的命題，不就是繼續推進ns方程的解嗎？將特定條件推到三維條件，最後證明ns方程。他還記得當時田導的話，希望通過做這個工作，拿到下一屆的菲爾茲獎。
現在他菲爾茲獎還沒拿到，卻顯拿了沃爾夫獎。當然這些都不是重點，如果三月真的把這個命題證明了，那豈不是說明三月將成為下一屆菲爾茲獎最有力的競爭者之一？
這時候問題又來了。
在沃爾夫獎的問題上，寧為以圖靈測試的名義跟沃爾夫基金會開了個玩笑，將自己的論文以三月教授的名義發表，結果偏偏沃爾夫基金會以這篇論文為基調，決定將沃爾夫數學獎頒發給三月，最後又因為三月的曝光，決定頒發給自己。
那麼現在他再以三月的名義把真由三月完成的論文投遞給一些期刊，那些期刊編輯們會怎麼想？好多數學家會怎麼想？這幫人會不會錯誤的以為他又在想著搞什麼事情？
想到這些問題寧為突然覺得有些頭疼。研究三月拍彩虹屁的心情也沒有了，注意力全被人類曆史上第一篇由人工智能完成的論文所吸引。
“這樣吧，你先把論文給我研究一下。我來幫你審核這篇論文是不是真的證明了這個問題。”基於對數學的熱愛，寧為立刻說道。
“喵，好的，爸爸，我發到你郵箱裡了。你去看吧，如果有哪裡看不懂的，可以隨時召喚我，再見！”
三月用小貓爪推了推墨鏡，然後一扭身，蹲在它的平衡車上，溜走了，平衡車動起來時，那飄起的紅色披風看上去特彆威風。
寧為愣了愣，然後搖了搖頭，飛快的打開了郵箱，果然未讀郵件裡，三月發來的論文正在躺在最上麵第一位。
飛快的點了進去，將整篇論文下載到電腦上，點開看了看，論文標題《不可壓navierstokes方程在整體三維空間下存在光滑、唯一解》，整篇論文足足103頁。
好吧，先看摘要。
“本文首先構造了一類變指標的寧為空間，在這類空間上，我們可以克服一般變指標函數空間，應用於方程時所遇到的困難基於在這類空間上的半群估計和時空估計，可知navierstokes方程在這類空間上小初始值的整體適定性，並以此將其擴展至整個寧為空間再到三維空間，最終證明navierstokes方程在三維空間存在光滑、唯一通解。”
言簡意賅，顯然還沒有經過特彆修飾。當然對於三月來說，它大概沒想過要把這篇論文真的投出去，因為很難說人類社會的名望對這隻生存與互聯網上的程序會有什麼吸引力，所以大概並不會太重視摘要。
對三月而言，摘要大概就是一個格式要求。
寧為也沒糾結這些，目光掃過了引言，直接落到了證明過程。
“11函數空間”
“從調和分析的觀點看，在過去的幾十年裡，變指標的函數空間越來越受到大家的注意。在這個領域，但對於推進，但不管是在變指標的bev空間還是triebellizork空間，但由於這類空間結構的特殊性，使其在一些方程的局部、整體適定性方麵應用時所受的限製較大，導致針對navierstokes方程的研究無法推進，直到寧為空間的提出，為我們解決這一類問題提出了一個新的思路。”
“另0為所有滿足……”
看到具體的論證過程，寧為的注意力也完全被論文所吸引，筆已經拿到手上，稿紙直接扯過來一堆，很快寧為便開始針對三月這篇論文的分析過程進行演算。
好在這篇論文其實也是以寧為空間為基礎的，而寧為空間本就是寧為最熟悉的領域，所以第一部分寧為很快就翻了過去，其證明過程隻需要稍加演算，寧為就能理解三月的思路，然後確定這一思路是正確的。
但即便如此，要驗證這篇論文的正確性，依然是件非常耗時間的事情，不過剛翻了五頁，江同學就發來微信，問是給他送飯，還是一起去食堂吃飯。
寧為瞟了眼時間，這才發現不知不覺中竟然已經過了三個小時，他是下午兩點半開始研究三月的論文，現在竟然已經五點半了。
審核三月的論文甚至比他自己寫論文花費的時間更長，因為他發現三月大概對定理的證明過程有什麼誤解，許多東西都是輕易可得，然後略去了一些較為繁瑣的證明過程……
這其實是很尷尬的事情，因為三月的輕易可得中間往往還是有些彎彎繞繞的，這純粹是在考驗審稿人的思路，寧為還得把這些思路給補上，並保證這些輕易可得的過程不會有什麼問題。
所以寧為在補充這些輕易可得上，耗費了不少時間跟精力。
到也不是沒想過把這隻貓抓出來，跟它探討一下人類的理解能力以及邏輯分析能力跟人工智能程序還是稍微有些不同的，三月大佬還是應該認清自我，不要那麼多輕易可得，但又覺得這可能讓三月懷疑他的智商，遂作罷。
其實仔細想想，這種事他也乾過。
曾經他論文中許多輕易所得，也讓許多人頭疼，這一過程也讓寧為對已經編訂好的教材，又有了些感觸。他是不是應該把教材改得更詳細些？