第(2/3)頁

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

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

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

    “1.1    函數空間”

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

    “另p0為所有滿足……”

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

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

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

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

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

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

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

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

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

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

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

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

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

    ……

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

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

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

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

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

    如果一定要說有的話……

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

    “想多了吧？魯師兄，我是那種會因為這點屁事請吃飯的人嗎？今天這頓飯是為了慶祝三月獨立完成了它智能貓生中的第一篇數學論文，驚不驚喜？意不意外？我們的人工智能已經會獨立撰寫論文了?！?

    “三月寫論文？”魯東義狐疑的看著寧為，三月可是曾經在《數學年刊》上發表過論文的人工智能，但是那篇論文現在全世界都知道是寧為寫的。

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

    現在寧為又說三月寫了一篇新論文，呵呵……

    這是又想玩哪出？

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

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

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