好在這篇論文其實也是以寧為空間為基礎的，而寧為空間本就是寧為最熟悉的領域，所以第一部分寧為很快就翻了過去，其證明過程只需要稍加演算，寧為就能理解三月的思路，然后確定這一思路是正確的。
但即便如此，要驗證這篇論文的正確性，依然是件非常耗時間的事情，不過剛翻了五頁，江同學就發來微信，問是給他送飯，還是一起去食堂吃飯。
寧為瞟了眼時間，這才發現不知不覺中竟然已經過了三個小時，他是下午兩點半開始研究三月的論文，現在竟然已經五點半了。
審核三月的論文甚至比他自己寫論文花費的時間更長，因為他發現三月大概對定理的證明過程有什么誤解，許多東西都是輕易可得，然后略去了一些較為繁瑣的證明過程……
這其實是很尷尬的事情，因為三月的輕易可得中間往往還是有些彎彎繞繞的，這純粹是在考驗審稿人的思路，寧為還得把這些思路給補上，并保證這些輕易可得的過程不會有什么問題。
所以寧為在補充這些輕易可得上，耗費了不少時間跟精力。
到也不是沒想過把這只貓抓出來，跟它探討一下人類的理解能力以及邏輯分析能力跟人工智能程序還是稍微有些不同的，三月大佬還是應該認清自我，不要那么多輕易可得，但又覺得這可能讓三月懷疑他的智商，遂作罷。
其實仔細想想，這種事他也干過。
曾經他論文中許多輕易所得，也讓許多人頭疼，這一過程也讓寧為對已經編訂好的教材，又有了些感觸。他是不是應該把教材改得更詳細些？
當然這些都是他在審稿過程中的一些粗淺想法。
能跟江同學共進晚餐的時刻，他還是決定先休息一下，當然也不完全是休息，比如他可以跟另一位專業人士談談，審稿這種事何必他一個人呢？
于是寧為立刻在微信上回道：“今天我請魯師兄吃飯，你先來研究中心，然后咱們一起過去。”
……
“魯師兄，趕緊收拾一下，準備出發，今天我請你吃晚飯！”
魯東義抬起頭，困惑的看著突然沖進他辦公室的寧為，大概在思考著寧為這又是哪跟筋不對了。
到不是寧為小氣，舍不得請大家吃飯，主要是兩人其實潛意識里都覺得正經的去餐廳吃頓飯其實是件比較浪費時間的事情，所以大多數情況都是江同學把飯帶到研究中心。
最讓魯東義滿意的是，一般情況下，江同學如果過來每次都不會忘了他，總會在微信上問一句，然后給他也帶上一份，這就節省了他穿過大半個校園跑去食堂買包子的時間。
所以一般沒什么特別大的喜事，他們之間是很少有請客吃飯這種事的，最多是掛在嘴邊提一句，碰到有好事了一起請。但今天明顯好像沒什么大事發生。
如果一定要說有的話……
“為什么要請我吃飯？慶祝你的論文三月審核過了，還給了你優秀的評語？”
“想多了吧？魯師兄，我是那種會因為這點屁事請吃飯的人嗎？今天這頓飯是為了慶祝三月獨立完成了它智能貓生中的第一篇數學論文，驚不驚喜？意不意外？我們的人工智能已經會獨立撰寫論文了。”