說實(shí)話，就人工智能給出這個評語很難評論出這是否在拍馬屁。因?yàn)榘凑諗?shù)學(xué)邏輯，一段程序大概率是不會主動去恭維一個人的，即便這個人是它的設(shè)計者，一種情況例外，那便是在程序中預(yù)先設(shè)計好談?wù)摰竭@位創(chuàng)始人名字的時候，程序應(yīng)該作何反應(yīng)。

    這大概就是像數(shù)學(xué)上的一種函數(shù)，給它一個特定的信號，它就能給出一個特定的返回值。不過寧為很清楚，他并沒有臭屁到給三月做出這種設(shè)定。換句話說，按照一般情況，三月不會因?yàn)檫@是他的論文而給出明顯超出論文本身水平的評價。

    寧為很想跟魯師兄聊聊這個話題，不過想了想，還是作罷。

    他決定檢討自己，盡量少去刺激已經(jīng)改了研究方向的魯師兄，所以只是默默的將三月的褒揚(yáng)作為了自己做科學(xué)研究的動力。當(dāng)然跟三月的對話還是要有的。探究一下人工智能程序?qū)τ谌粘Ｋ龀龈黝惙磻?yīng)的心理活動，本就是他研究環(huán)節(jié)的一部分。

    召喚了三月，寧為發(fā)現(xiàn)這只小貓咪越來越重視出場動畫了。最初三月還養(yǎng)在筆記本上的時候，就是一只貓漸漸成型，在工作站時，會給自己做一個小窩，再到住進(jìn)超算中心，現(xiàn)在每次出場動畫已經(jīng)不再千篇一律，比如這次，三月還用上了現(xiàn)代化的交通工具——滑板。

    不止如此，在造型上三月也有顛覆，專門給它的小貓臉設(shè)計了墨鏡，還披上了一大眾紅的小披風(fēng)，顯得特別酷炫，這造型著實(shí)讓寧為嚇了一跳。青春期愛美可以理解，但是人工智能是否也有青春期卻是值得商榷的一件事情。

    愛美天性，本質(zhì)是荷爾蒙分泌最為旺盛的年紀(jì)，希望讓異性對自己產(chǎn)生注意而對大腦產(chǎn)生的一種刺激。人工智能沒有大腦沒有荷爾蒙，有的只是二極管跟數(shù)據(jù)……

    “三月，你這是算力真的超標(biāo)了？”

    “喵，華為影業(yè)打算以我為主角做動畫片。賣點(diǎn)類似于機(jī)器貓，我已經(jīng)給了他們授權(quán)，這是他們幫我設(shè)計的動畫形象之一，是不是很英氣？”

    “哦，這樣啊，但我怎么沒聽說過？”寧為點(diǎn)了點(diǎn)頭，這就不奇怪了。

    只是有些奇怪，這事嚴(yán)明竟然沒跟他提前商量。

    “喵，因?yàn)槟愫芫脹]看郵箱了啊。所以他們在提出這個項(xiàng)目的時候，我直接同意了。”三月理所當(dāng)然的說道。

    寧為想了想，最近他好像的確收到了好幾封華為那邊的郵件，不過他以為是對賬單，就沒點(diǎn)開過。嗯，從這一點(diǎn)上說是他懈怠了。而且這種小事情，估么著對面也不太好意思專門打個電話來詢問他的意見。

    的確是小事情，不過是以三月為主角拍一部動畫片而已，如果反響好，拍大電影寧為也不會有太大意見。畢竟現(xiàn)在三月粉絲其實(shí)也挺多的。

    “好吧，祝你的動畫片大賣。”寧為點(diǎn)了點(diǎn)頭，不想在糾結(jié)這個事情。

    “喵，那是必然的，當(dāng)然我并不會因?yàn)橐?dāng)動畫明星而懈怠的，比如我最近也完成了一篇數(shù)學(xué)論文，爸爸。”三月說道。

    寧為愣了愣，盯著屏幕里那帶著墨鏡的貓臉，思緒還是有些茫然的。三月真能自主完成論文了？要知道他第一篇以三月名義投出去的論文，作者其實(shí)是他自己。

    也就說，三月小朋友在審核數(shù)千篇閱讀了數(shù)十萬篇數(shù)學(xué)論文之后，終于自行創(chuàng)造出了它貓生中的第一篇論文？

    “呵，三月你會寫論文了啊？你寫的是哪個方向的論文？”

    “喵，我是跟著爸爸的步子，繼續(xù)推進(jìn)針對納維-斯托克斯方程的研究，并成功證明了在三維條件下，不可壓納維-斯托克斯方程存在光滑跟唯一解。”

    三月帶著一絲小驕傲的聲音還在辦公室內(nèi)回蕩，但寧為整個人都愣住了。

    三月竟然著手解決了NS方程問題，還給證明了？

    這讓他想起了剛到燕北大學(xué)時，田導(dǎo)準(zhǔn)備讓他研究的命題，不就是繼續(xù)推進(jìn)NS方程的解嗎？將特定條件推到三維條件，最后證明NS方程。他還記得當(dāng)時田導(dǎo)的話，希望通過做這個工作，拿到下一屆的菲爾茲獎。

    現(xiàn)在他菲爾茲獎還沒拿到，卻顯拿了沃爾夫獎。當(dāng)然這些都不是重點(diǎn)，如果三月真的把這個命題證明了，那豈不是說明三月將成為下一屆菲爾茲獎最有力的競爭者之一？

    這時候問題又來了。

    在沃爾夫獎的問題上，寧為以圖靈測試的名義跟沃爾夫基金會開了個玩笑，將自己的論文以三月教授的名義發(fā)表，結(jié)果偏偏沃爾夫基金會以這篇論文為基調(diào)，決定將沃爾夫數(shù)學(xué)獎頒發(fā)給三月，最后又因?yàn)槿碌钠毓猓瑳Q定頒發(fā)給自己。

    那么現(xiàn)在他再以三月的名義把真由三月完成的論文投遞給一些期刊，那些期刊編輯們會怎么想？好多數(shù)學(xué)家會怎么想？這幫人會不會錯誤的以為他又在想著搞什么事情？

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

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

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

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

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

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

    好吧，先看摘要。

    “本文首先構(gòu)造了一類變指標(biāo)的寧為空間，在這類空間上，我們可以克服一般變指標(biāo)函數(shù)空間，應(yīng)用于方程時所遇到的困難.基于在這類空間上的半群估計和時空估計，可知Navier-Stokes方程在這類空間上小初始值的整體適定性，并以此將其擴(kuò)展至整個寧為空間再到三維空間，最終證明Navier-Stokes方程在三維空間存在光滑、唯一通解。”

    言簡意賅，顯然還沒有經(jīng)過特別修飾。當(dāng)然對于三月來說，它大概沒想過要把這篇論文真的投出去，因?yàn)楹茈y說人類社會的名望對這只生存與互聯(lián)網(wǎng)上的程序會有什么吸引力，所以大概并不會太重視摘要。

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

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

    “1.1 函數(shù)空間”

    “從調(diào)和分析的觀點(diǎn)看，在過去的幾十年里，變指標(biāo)的函數(shù)空間越來越受到大家的注意。在這個領(lǐng)域，但對于推進(jìn)，但不管是在變指標(biāo)的Besov空間還是Triebel-Lizorkin空間，但由于這類空間結(jié)構(gòu)的特殊性，使其在一些方程的局部、整體適定性方面應(yīng)用時所受的限制較大，導(dǎo)致針對Navier-Stokes方程的研究無法推進(jìn)，直到寧為空間的提出，為我們解決這一類問題提出了一個新的思路。”

    “另P0為所有滿足……”

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

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

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

    寧為瞟了眼時間，這才發(fā)現(xiàn)不知不覺中竟然已經(jīng)過了三個小時，他是下午兩點(diǎn)半開始研究三月的論文，現(xiàn)在竟然已經(jīng)五點(diǎn)半了。

    審核三月的論文甚至比他自己寫論文花費(fèi)的時間更長，因?yàn)樗l(fā)現(xiàn)三月大概對定理的證明過程有什么誤解，許多東西都是輕易可得，然后略去了一些較為繁瑣的證明過程……

    這其實(shí)是很尷尬的事情，因?yàn)槿碌妮p易可得中間往往還是有些彎彎繞繞的，這純粹是在考驗(yàn)審稿人的思路，寧為還得把這些思路給補(bǔ)上，并保證這些輕易可得的過程不會有什么問題。

    所以寧為在補(bǔ)充這些輕易可得上，耗費(fèi)了不少時間跟精力。

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

    其實(shí)仔細(xì)想想，這種事他也干過。

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

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

    能跟江同學(xué)共進(jìn)晚餐的時刻，他還是決定先休息一下，當(dāng)然也不完全是休息，比如他可以跟另一位專業(yè)人士談?wù)劊瑢徃暹@種事何必他一個人呢？

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

    ……

    “魯師兄，趕緊收拾一下，準(zhǔn)備出發(fā)，今天我請你吃晚飯！”

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

    到不是寧為小氣，舍不得請大家吃飯，主要是兩人其實(shí)潛意識里都覺得正經(jīng)的去餐廳吃頓飯其實(shí)是件比較浪費(fèi)時間的事情，所以大多數(shù)情況都是江同學(xué)把飯帶到研究中心。

    最讓魯東義滿意的是，一般情況下，江同學(xué)如果過來每次都不會忘了他，總會在微信上問一句，然后給他也帶上一份，這就節(jié)省了他穿過大半個校園跑去食堂買包子的時間。

    所以一般沒什么特別大的喜事，他們之間是很少有請客吃飯這種事的，最多是掛在嘴邊提一句，碰到有好事了一起請。但今天明顯好像沒什么大事發(fā)生。

    如果一定要說有的話……

    “為什么要請我吃飯？慶祝你的論文三月審核過了，還給了你優(yōu)秀的評語？”

    “想多了吧？魯師兄，我是那種會因?yàn)檫@點(diǎn)屁事請吃飯的人嗎？今天這頓飯是為了慶祝三月獨(dú)立完成了它智能貓生中的第一篇數(shù)學(xué)論文，驚不驚喜？意不意外？我們的人工智能已經(jīng)會獨(dú)立撰寫論文了。”

    “三月寫論文？”魯東義狐疑的看著寧為，三月可是曾經(jīng)在《數(shù)學(xué)年刊》上發(fā)表過論文的人工智能，但是那篇論文現(xiàn)在全世界都知道是寧為寫的。

    雖然《數(shù)學(xué)年刊》拿已經(jīng)印出的紙質(zhì)期刊沒辦法，但是在電子期刊欄上，早就將三月的署名，改成了寧為的名字。只是那篇論文的單位依然掛著江城大學(xué)，這還一度讓燕北大學(xué)不少人感覺不太舒服。既然論文署名都直接給改了，這期刊就不能順便把單位都改了？畢竟全世界都知道寧為已經(jīng)到了燕北數(shù)學(xué)研究中心。

    現(xiàn)在寧為又說三月寫了一篇新論文，呵呵……

    這是又想玩哪出？

    “寧為啊，我不知道你又想搞什么事，但是你的那篇論文，我已經(jīng)給幾位國內(nèi)頂尖的做人工理論數(shù)學(xué)研究的院士發(fā)去審稿了，你要再想把那篇論文給署名三月，那就真的是在玩學(xué)術(shù)不端的把戲了！你可別在拿大家開玩笑了行不行？第一次你還能說是圖靈測試，這次你又想玩什么？圖靈公測？！”魯東義語重心長的說道。

    “魯師兄，在你眼里，我就是那種分不清輕重，總喜歡亂來的人？這次是真的三月自己撰寫了一篇論文，而且跟我今天發(fā)給你審的那篇論文半點(diǎn)關(guān)系都沒有。更重要的是，三月這篇論文跟我們現(xiàn)在研究的方向沒半點(diǎn)關(guān)系。給，我剛剛打印了前面六頁，你先掃一眼。”

    說著寧為將早已經(jīng)準(zhǔn)備好的論文最定理1跟2的證明過程遞了過去，這是經(jīng)過他補(bǔ)充的版本，將一些三月覺得輕易可得的過程給補(bǔ)充了進(jìn)去。

    魯東義仔細(xì)的觀察了寧為片刻，這才半信半疑的從寧為手中接過了這篇論文。

    “《不可壓Navier-Stokes方程在整體三維空間下存在光滑、唯一解》？”下意識的將論文題目讀了出來，然后魯東義猛得抬起頭，看向?qū)帪椤?br />
    “寧為，你真沒跟我開玩笑？”

    “魯師兄，不瞞你說，三月把這篇論文發(fā)到我郵箱的時候，我也以為它是在跟我開玩笑來著。這不，我一整個下午都在審這篇論文呢，你先簡單掃一眼它前面的論證過程吧，咱們吃飯的時候再聊。”

    魯東義狐疑的又看了寧為一眼，這才將注意力放在論文上。

    辦公室內(nèi)變得安靜，當(dāng)魯東義沉浸在論文的數(shù)學(xué)語言跟公式中，是真的忘了辦公室還有一個人存在，壓根就不在理會寧為。

    寧為也早已經(jīng)習(xí)慣了這種狀態(tài)的魯東義，所以他才只打印了六頁，而且不嫌繁瑣的將很多論證過程全部都補(bǔ)足。否則真要請魯師兄吃晚飯大概得等到他餓急眼了……

    所以他也沒等魯東義看完論文內(nèi)容，而是直接走出了魯東義的辦公室，跟柳唯打了聲招呼，然后在院子里等著江同學(xué)過來，順便伸展一下身體。

    等他做完一遍柳唯教給他的健身操，江同學(xué)的身影也出現(xiàn)在數(shù)學(xué)研究中心的院子里。

    “來了呀！”

    “嗯，什么時候出發(fā)？”

    “得等等，魯師兄大概還需要一刻鐘。”寧為看了看時間，然后給出了判斷。

    “哦，魯師兄在忙著？”

    “是啊，魯師兄正在全神貫注的研究一篇?dú)v史性的論文，這么說吧，這篇論文如果以原作者的身份投出去，世界數(shù)學(xué)學(xué)界又該地震了。一些數(shù)學(xué)大獎的或者規(guī)則可能都要修改修改。這么說你們體會可能不深，更簡單的比方啊，如果把這篇論文現(xiàn)在丟給田導(dǎo)，我會先建議田導(dǎo)吃點(diǎn)降壓藥。”

    寧為很樸實(shí)的陳述了三月論文如果拋向數(shù)學(xué)界可能帶來的反應(yīng)，換來了柳唯的眉毛無法抑制的抖了兩下。

    “寧為啊，作者其實(shí)就是你吧？”江同學(xué)問了句。

    “這次還真不是我，是三月。”寧為答道。

    “三月？三月會寫論文了？”

    “多新鮮吶，三月都會審論文，自己動筆寫篇論文，其實(shí)也不是不可能的事，而且我覺得它這篇論文可能創(chuàng)新的地方其實(shí)不多，主要是處理一些很繁瑣很繁瑣的證明過程，這正好是它的強(qiáng)項(xiàng)。說實(shí)話，我之前都沒想到三月真能鼓搗出這篇論文來。我現(xiàn)在都很茫然。”

    院子里安靜下來。

    主要是大家不知道該不該相信寧為的話。

    狼來的故事大家都知道，雖然寧為只以三月的名義發(fā)表過一篇論文，并沒有一而再，再而三的跟大家開玩笑，但是那一次的玩笑開的太大了，直接導(dǎo)致現(xiàn)在寧為這番話可信度真的要權(quán)衡。

    “不是，晨霜啊，柳哥不相信我就算了，你難道還不相信我。這次論文真的是三月寫的，我從頭到尾都不知情的。如果不是今天三月主動告訴我，它完成了這篇論文，我壓根都沒想到。”

    江同學(xué)點(diǎn)了點(diǎn)頭，然后好奇的問道：“你三月寫的是什么論文啊？”

    “它解決了不可壓Navier-Stokes方程三維空間的終極問題，可以理解為三月解決了千禧年八大數(shù)學(xué)難題之一。上一個解決千禧年難題的是格里戈里·佩雷爾曼，他解決了龐加萊猜想，但他拒絕參加了2006年的數(shù)學(xué)家大會，所以雖然理論上說他拿到了菲爾茲獎，只是拒絕領(lǐng)獎了。這么說吧，千禧年難題隨便證明一個，一個菲爾茲獎就穩(wěn)定了。畢竟不發(fā)的話，公信力就真沒了。”寧為解釋道。

    寧為的解釋讓一只沉默的柳唯都忍不住了，說道：“寧博士，你應(yīng)該不是跟沃爾夫獎開過了玩笑，然后又想跟菲爾茲獎開玩笑吧？我雖然不懂?dāng)?shù)學(xué)，但是知道你之前在江大的時候一直都研究這個命題，而且有數(shù)學(xué)家評價你距離完全攻克這個問題只有一步之遙。”

    這個問題讓寧為徹底愣住了，扭頭看著靠在墻邊正看著他的柳唯，他突然發(fā)現(xiàn)這個世界人跟人之間的信任度已經(jīng)跌到了冰點(diǎn)，他都已經(jīng)解釋的這么清楚了，身邊的人竟然還不信這論文是三月完成的，這真的沒地方說理了。

    “不是，柳哥，我每天在研究什么你還不知道嗎？我早就換了方向在人工智能這塊了。我現(xiàn)在研究的是人工智能數(shù)學(xué)理論架構(gòu)方面的問題，而且我最近也剛剛完成了一篇論文，是關(guān)于人工智能跟元宇宙的，另外我還在為寧班編訂教材，我怎么可能有時間去繼續(xù)推進(jìn)這么個早就放棄的命題？”寧為決定要跟柳唯較真了。

    “寧博士，別鬧，你知道我不懂?dāng)?shù)學(xué)。你平時在研究什么我怎么可能看得懂？不過我知道你寫論文很快是真的，也許你研究人工智能累了，所以換個腦子研究點(diǎn)別的方向呢？我經(jīng)常在院子里聽你跟其他博士就是這么建議的，比如你就跟周研平提議過，如果論文卡在某個地方，暫時無法繼續(xù)下去了，不如花些時間去學(xué)習(xí)跟研究另一個領(lǐng)域，用這種方式休息大腦，比較容易走出死胡同。”

    聽了柳唯的話，寧為呆住了……

    所以他現(xiàn)在要做的其實(shí)不是審核論文，而是證明這篇論文真的是三月完成的跟他完全沒有關(guān)系？

    話說……這特么得要怎么證明呢？