304 狼来的后遗症(2/4)

飞快的点了进去，将整篇论文下载到电脑上，点开看了看，论文标题《不可压okes方程在整体三维空间下存在光滑、唯一解》，整篇论文足足103页。

好吧，先看摘要。

“本文首先构造了一类变指标的宁为空间，在这类空间上，我们可以克服一般变指标函数空间，应用于方程时所遇到的困难.基于在这类空间上的半群估计和时空估计，可知okes方程在这类空间上小初始值的整体适定性，并以此将其扩展至整个宁为空间再到三维空间，最终证明okes方程在三维空间存在光滑、唯一通解。”

言简意赅，显然还没有经过特别修饰。当然对于三月来说，它大概没想过要把这篇论文真的投出去，因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力，所以大概并不会太重视摘要。

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

宁为也没纠结这些，目光扫过了引言，直接落到了证明过程。

“1.1函数空间”

“从调和分析的观点看，在过去的几十年里，变指标的函数空间越来越受到大家的注意。在这个领域，但对于推进，但不管是在变指标的be空间，但由于这类空间结构的特殊性，使其在一些方程的局部、整体适定性方面应用时所受的限制较大，导致针对okes方程的研究无法推进，直到宁为空间的提出，为我们解决这一类问题提出了一个新的思路。”

“另p0为所有满足……”

看到具体的论证过程，宁为的注意力也完全被论文所吸引，笔已经拿到手上，稿纸直接扯过来一堆，很快宁为便开始针对三月这篇论文的分析过程进行演算。

好在这篇论文其实也是以宁为空间为基础的，而宁为空间本就是宁为最熟悉的领域，所以第一部分宁为很快就翻了过去，其证明过程只需要稍加演算，宁为就能理解三月的思路，然后确定这一思路是正确的。

但即便如此，要验证这篇论文的正确性，依然是件非常耗时间的事情，不过刚翻了五页，江同学就发来微信，问是给他送饭，还是一起去食堂吃饭。

宁为瞟了眼时间，这才发现不知不觉中竟然已经过了三个小时，他是下午两点半开始研究三月的论文，现在竟然已经五点半了。

审核三月的论文甚至比他自己写论文花费的时间更长，因为他发现三月大概对定理的证明过程有什么误解，许多东西都是轻易可得，然后略去了一些较为繁琐的证明过程……

这其实是很尴尬的事情，因为三月的轻易可得中间往往还是有些弯弯绕绕的，这纯粹是在考验审稿人的思路，宁为还得把这些思路给补上，并保证这些轻易可得的过程不会有什么问题。

所以宁为在补充这些轻易可得上，耗费了不少时间跟精力。

到也不是没想过把这只猫抓出来，跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的，三月大佬还是应该认清自我，不要那么多轻易可得，但又觉得这可能让三月怀疑他的智商，遂作罢。

其实仔细想想，这种事他也干过。

曾经他论文中许多轻易所得，也让许多人头疼，这一过程也让宁为对已经编订好的教材，又有了些感触。他是不是应该把教材改得更详细些？

当然这些都是他在审稿过程中的一些粗浅想法。

能跟江同学共进晚餐的时刻，他还是决定先休息一下，当然也不完全是休息，比如他可以跟另一位专业人士谈谈，审稿这种事何必他一个人呢？

于是宁为立刻在微信上回道：“今天我请鲁师兄吃饭，你先来研究中心，然后咱们一起过去。”

……

“鲁师兄，赶紧收拾一下，准备出发，今天我请你吃晚饭！”

鲁东义抬起头，困惑的看着突然冲进他办公室的宁为，大概在思考着宁为这又是哪跟筋不对了。

到不是宁为小气，舍不得请大家吃饭，主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情，所以大多数情况都是江同学把饭带到研究中心。

最让鲁东义满意的是，一般情况下，江同学如果过来每次都不会忘了他，总会在微信上问一句，然后给他也带上一份，这就节省了他穿过大半个校园跑去食堂买包子的时间。

所以一般没什么特别大的喜事，他们之间是很少有请客吃饭这种事的，最多是挂在嘴边提一句，碰到有好事了一起请。但今天明显好像没什么大事发生。

如果一定要说有的话……

“为什么要请我吃饭？庆祝你的论文三月审核过了，还给了你优秀的评语？”

“想多了吧？鲁师兄，我是那种会因为这点屁事请吃饭的人吗？今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文，惊不惊喜？意不意外？我们的人工智能已经会独立撰写论文了。”

“三月写论文？”鲁东义狐疑的看着宁为，三月可是曾经在《数学年刊》上发表过论文的人工智能，但是那篇论文现在全世界都知道是宁为写的。

虽然《数学年刊》拿已经印出的纸质期刊没办法，但是在电子期刊栏上，早就将三月的署名，改成了宁为的名字。只是那篇论文的单位依然挂着江城大学，这还一度让燕