科技之锤 (一桶布丁)

　　宁为愣了愣，盯着屏幕里那带着墨镜的猫脸，思绪还是有些茫然的。三月真能自主完成论文了？要知道他第一篇以三月名义投出去的论文，作者其实是他自己。
　　也就说，三月小朋友在审核数千篇阅读了数十万篇数学论文之后，终于自行创造出了它猫生中的第一篇论文？
　　“呵，三月你会写论文了啊？你写的是哪个方向的论文？”
　　“喵，我是跟着爸爸的步子，继续推进针对纳维-斯托克斯方程的研究，并成功证明了在三维条件下，不可压纳维-斯托克斯方程存在光滑跟唯一解。”
　　三月带着一丝小骄傲的声音还在办公室内回荡，但宁为整个人都愣住了。
　　三月竟然着手解决了NS方程问题，还给证明了？
　　这让他想起了刚到燕北大学时，田导准备让他研究的命题，不就是继续推进NS方程的解吗？将特定条件推到三维条件，最后证明NS方程。他还记得当时田导的话，希望通过做这个工作，拿到下一届的菲尔兹奖。
　　现在他菲尔兹奖还没拿到，却显拿了沃尔夫奖。当然这些都不是重点，如果三月真的把这个命题证明了，那岂不是说明三月将成为下一届菲尔兹奖最有力的竞争者之一？
　　这时候问题又来了。
　　在沃尔夫奖的问题上，宁为以图灵测试的名义跟沃尔夫基金会开了个玩笑，将自己的论文以三月教授的名义发表，结果偏偏沃尔夫基金会以这篇论文为基调，决定将沃尔夫数学奖颁发给三月，最后又因为三月的曝光，决定颁发给自己。
　　那么现在他再以三月的名义把真由三月完成的论文投递给一些期刊，那些期刊编辑们会怎么想？好多数学家会怎么想？这帮人会不会错误的以为他又在想着搞什么事情？
　　想到这些问题宁为突然觉得有些头疼。研究三月拍彩虹屁的心情也没有了，注意力全被人类历史上第一篇由人工智能完成的论文所吸引。
　　“这样吧，你先把论文给我研究一下。我来帮你审核这篇论文是不是真的证明了这个问题。”基于对数学的热爱，宁为立刻说道。
　　“喵，好的，爸爸，我发到你邮箱里了。你去看吧，如果有哪里看不懂的，可以随时召唤我，再见！”
　　三月用小猫爪推了推墨镜，然后一扭身，蹲在它的平衡车上，溜走了，平衡车动起来时，那飘起的红色披风看上去特别威风。
　　宁为愣了愣，然后摇了摇头，飞快的打开了邮箱，果然未读邮件里，三月发来的论文正在躺在最上面第一位。
　　飞快的点了进去，将整篇论文下载到电脑上，点开看了看，论文标题《不可压Navier-Stokes方程在整体三维空间下存在光滑、唯一解》，整篇论文足足103页。
　　好吧，先看摘要。
　　“本文首先构造了一类变指标的宁为空间，在这类空间上，我们可以克服一般变指标函数空间，应用于方程时所遇到的困难.基于在这类空间上的半群估计和时空估计，可知Navier-Stokes方程在这类空间上小初始值的整体适定性，并以此将其扩展至整个宁为空间再到三维空间，最终证明Navier-Stokes方程在三维空间存在光滑、唯一通解。”
　　言简意赅，显然还没有经过特别修饰。当然对于三月来说，它大概没想过要把这篇论文真的投出去，因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力，所以大概并不会太重视摘要。
　　对三月而言，摘要大概就是一个格式要求。
　　宁为也没纠结这些，目光扫过了引言，直接落到了证明过程。
　　“1.1函数空间”
　　“从调和分析的观点看，在过去的几十年里，变指标的函数空间越来越受到大家的注意。在这个领域，但对于推进，但不管是在变指标的Besov空间还是Triebel-Lizorkin空间，但由于这类空间结构的特殊性，使其在一些方程的局部、整体适定性方面应用时所受的限制较大，导致针对Navier-Stokes方程的研究无法推进，直到宁为空间的提出，为我们解决这一类问题提出了一个新的思路。”
　　“另P0为所有满足……”
　　看到具体的论证过程，宁为的注意力也完全被论文所吸引，笔已经拿到手上，稿纸直接扯过来一堆，很快宁为便开始针对三月这篇论文的分析过程进行演算。
　　好在这篇论文其实也是以宁为空间为基础的，而宁为空间本就是宁为最熟悉的领域，所以第一部 分宁为很快就翻了过去，其证明过程只需要稍加演算，宁为就能理解三月的思路，然后确定这一思路是正确的。
　　但即便如此，要验证这篇论文的正确性，依然是件非常耗时间的事情，不过刚翻了五页，江同学就发来微信，问是给他送饭，还是一起去食堂吃饭。
　　宁为瞟了眼时间，这才发现不知不觉中竟然已经过了三个小时，他是下午两点半开始研究三月的论文，现在竟然已经五点半了。
　　审核三月的论文甚至比他自己写论文花费的时间更长，因为他发现三月大概对定理的证明过程有什么误解，许多东西都是轻易可得，然后略去了一些较为繁琐的证明过程……
　　这其实是很尴尬的事情，因为三月的轻易可得中间往往还是有些弯弯绕绕的，这纯粹是在考验审稿人的思路，宁为还得把这些思路给补上，并保证这些轻易可得的过程不会有什么问题。
　　所以宁为在补充这些轻易可得上，耗费了不少时间跟精力。
　　到也不是没想过把这只猫抓出来，跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的，三月大佬还是应该认清自我，不要那么多轻易可得，但又觉得这可能让三月怀疑他的智商，遂作罢。
　　其实仔细想想，这种事他也干过。
　　曾经他论文中许多轻易所得，也让许多人头疼，这一过程也让宁为对已经编订好的教材，又有了些感触。他是不是应该把教材改得更详细些？
　　当然这些都是他在审稿过程中的一些粗浅想法。
　　能跟江同学共进晚餐的时刻，他还是决定先休息一下，当然也不完全是休息，比如他可以跟另一位专业人士谈谈，审稿这种事何必他一个人呢？
　　于是宁为立刻在微信上回道：“今天我请鲁师兄吃饭，你先来研究中心，然后咱们一起过去。”
　　……
　　“鲁师兄，赶紧收拾一下，准备出发，今天我请你吃晚饭！”
　　鲁东义抬起头，困惑的看着突然冲进他办公室的宁为，大概在思考着宁为这又是哪跟筋不对了。
　　到不是宁为小气，舍不得请大家吃饭，主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情，所以大多数情况都是江同学把饭带到研究中心。
　　最让鲁东义满意的是，一般情况下，江同学如果过来每次都不会忘了他，总会在微信上问一句，然后给他也带上一份，这就节省了他穿过大半个校园跑去食堂买包子的时间。
　　所以一般没什么特别大的喜事，他们之间是很少有请客吃饭这种事的，最多是挂在嘴边提一句，碰到有好事了一起请。但今天明显好像没什么大事发生。
　　如果一定要说有的话……
　　“为什么要请我吃饭？庆祝你的论文三月审核过了，还给了你优秀的评语？”
　　“想多了吧？鲁师兄，我是那种会因为这点屁事请吃饭的人吗？今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文，惊不惊喜？意不意外？我们的人工智能已经会独立撰写论文了。”
　　“三月写论文？”鲁东义狐疑的看着宁为，三月可是曾经在《数学年刊》上发表过论文的人工智能，但是那篇论文现在全世界都知道是宁为写的。
　　虽然《数学年刊》拿已经印出的纸质期刊没办法，但是在电子期刊栏上，早就将三月的署名，改成了宁为的名字。只是那篇论文的单位依然挂着江城大学，这还一度让燕北大学不少人感觉不太舒服。既然论文署名都直接给改了，这期刊就不能顺便把单位都改了？毕竟全世界都知道宁为已经到了燕北数学研究中心。
　　现在宁为又说三月写了一篇新论文，呵呵……
　　这是又想玩哪出？
　　“宁为啊，我不知道你又想搞什么事，但是你的那篇论文，我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了，你要再想把那篇论文给署名三月，那就真的是在玩学术不端的把戏了！你可别在拿大家开玩笑了行不行？第一次你还能说是图灵测试，这次你又想玩什么？图灵公测？！”鲁东义语重心长的说道。
　　“鲁师兄，在你眼里，我就是那种分不清轻重，总喜欢乱来的人？这次是真的三月自己撰写了一篇论文，而且跟我今天发给你审的那篇论文半点关系都没有。更重要的是，三月这篇论文跟我们现在研究的方向没半点关系。给，我刚刚打印了前面六页，你先扫一眼。”
　　说着宁为将早已经准备好的论文最定理1跟2的证明过程递了过去，这是经过他补充的版本，将一些三月觉得轻易可得的过程给补充了进去。