好在这篇论文其实也是以宁为空间为基础的，而宁为空间本就是宁为最熟悉的领域，所以第一部分宁为很快就翻了过去，其证明过程只需要稍加演算，宁为就能理解三月的思路，然后确定这一思路是正确的。
但即便如此，要验证这篇论文的正确性，依然是件非常耗时间的事情，不过刚翻了五页，江同学就发来微信，问是给他送饭，还是一起去食堂吃饭。
宁为瞟了眼时间，这才发现不知不觉中竟然已经过了三个小时，他是下午两点半开始研究三月的论文，现在竟然已经五点半了。
审核三月的论文甚至比他自己写论文花费的时间更长，因为他发现三月大概对定理的证明过程有什么误解，许多东西都是轻易可得，然后略去了一些较为繁琐的证明过程……
这其实是很尴尬的事情，因为三月的轻易可得中间往往还是有些弯弯绕绕的，这纯粹是在考验审稿人的思路，宁为还得把这些思路给补上，并保证这些轻易可得的过程不会有什么问题。
所以宁为在补充这些轻易可得上，耗费了不少时间跟精力。
到也不是没想过把这只猫抓出来，跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的，三月大佬还是应该认清自我，不要那么多轻易可得，但又觉得这可能让三月怀疑他的智商，遂作罢。
其实仔细想想，这种事他也干过。
曾经他论文中许多轻易所得，也让许多人头疼，这一过程也让宁为对已经编订好的教材，又有了些感触。他是不是应该把教材改得更详细些？
当然这些都是他在审稿过程中的一些粗浅想法。
能跟江同学共进晚餐的时刻，他还是决定先休息一下，当然也不完全是休息，比如他可以跟另一位专业人士谈谈，审稿这种事何必他一个人呢？
于是宁为立刻在微信上回道：“今天我请鲁师兄吃饭，你先来研究中心，然后咱们一起过去。”
……
“鲁师兄，赶紧收拾一下，准备出发，今天我请你吃晚饭！”
鲁东义抬起头，困惑的看着突然冲进他办公室的宁为，大概在思考着宁为这又是哪跟筋不对了。
到不是宁为小气，舍不得请大家吃饭，主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情，所以大多数情况都是江同学把饭带到研究中心。
最让鲁东义满意的是，一般情况下，江同学如果过来每次都不会忘了他，总会在微信上问一句，然后给他也带上一份，这就节省了他穿过大半个校园跑去食堂买包子的时间。
所以一般没什么特别大的喜事，他们之间是很少有请客吃饭这种事的，最多是挂在嘴边提一句，碰到有好事了一起请。但今天明显好像没什么大事发生。
如果一定要说有的话……
“为什么要请我吃饭？庆祝你的论文三月审核过了，还给了你优秀的评语？”
“想多了吧？鲁师兄，我是那种会因为这点屁事请吃饭的人吗？今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文，惊不惊喜？意不意外？我们的人工智能已经会独立撰写论文了。”