科技之锤第617部分在线阅读

只是有些奇怪，这事严明竟然没跟他提前商量。
“喵，因为你很久没看邮箱了啊。所以他们在提出这个项目的时候，我直接同意了。”三月理所当然的说道。
宁为想了想，最近他好像的确收到了好几封华为那边的邮件，不过他以为是对账单，就没点开过。嗯，从这一点上说是他懈怠了。而且这种小事情，估么着对面也不太好意思专门打个电话来询问他的意见。
的确是小事情，不过是以三月为主角拍一部动画片而已，如果反响好，拍大电影宁为也不会有太大意见。毕竟现在三月粉丝其实也挺多的。
“好吧，祝你的动画片大卖。”宁为点了点头，不想在纠结这个事情。
“喵，那是必然的，当然我并不会因为要当动画明星而懈怠的，比如我最近也完成了一篇数学论文，爸爸。”三月说道。
宁为愣了愣，盯着屏幕里那带着墨镜的猫脸，思绪还是有些茫然的。三月真能自主完成论文了？要知道他第一篇以三月名义投出去的论文，作者其实是他自己。
也就说，三月小朋友在审核数千篇阅读了数十万篇数学论文之后，终于自行创造出了它猫生中的第一篇论文？
“呵，三月你会写论文了啊？你写的是哪个方向的论文？”
“喵，我是跟着爸爸的步子，继续推进针对纳维-斯托克斯方程的研究，并成功证明了在三维条件下，不可压纳维-斯托克斯方程存在光滑跟唯一解。”
三月带着一丝小骄傲的声音还在办公室内回荡，但宁为整个人都愣住了。
三月竟然着手解决了ns方程问题，还给证明了？
这让他想起了刚到燕北大学时，田导准备让他研究的命题，不就是继续推进ns方程的解吗？将特定条件推到三维条件，最后证明ns方程。他还记得当时田导的话，希望通过做这个工作，拿到下一届的菲尔兹奖。
现在他菲尔兹奖还没拿到，却显拿了沃尔夫奖。当然这些都不是重点，如果三月真的把这个命题证明了，那岂不是说明三月将成为下一届菲尔兹奖最有力的竞争者之一？
这时候问题又来了。
在沃尔夫奖的问题上，宁为以图灵测试的名义跟沃尔夫基金会开了个玩笑，将自己的论文以三月教授的名义发表，结果偏偏沃尔夫基金会以这篇论文为基调，决定将沃尔夫数学奖颁发给三月，最后又因为三月的曝光，决定颁发给自己。
那么现在他再以三月的名义把真由三月完成的论文投递给一些期刊，那些期刊编辑们会怎么想？好多数学家会怎么想？这帮人会不会错误的以为他又在想着搞什么事情？
想到这些问题宁为突然觉得有些头疼。研究三月拍彩虹屁的心情也没有了，注意力全被人类历史上第一篇由人工智能完成的论文所吸引。
“这样吧，你先把论文给我研究一下。我来帮你审核这篇论文是不是真的证明了这个问题。”基于对数学的热爱，宁为立刻说道。
“喵，好的，爸爸，我发到你邮箱里了。你去看吧，如果有哪里看不懂的，可以随时召唤我，再见！”
三月用小猫爪推了推墨镜，然后一扭身，蹲在它的平衡车上，溜走了，平衡车动起来时，那飘起的红色披风看上去特别威风。
宁为愣了愣，然后摇了摇头，飞快的打开了邮箱，果然未读邮件里，三月发来的论文正在躺在最上面第一位。
飞快的点了进去，将整篇论文下载到电脑上，点开看了看，论文标题《不可压okes方程在整体三维空间下存在光滑、唯一解》，整篇论文足足103页。
好吧，先看摘要。
“本文首先构造了一类变指标的宁为空间，在这类空间上，我们可以克服一般变指标函数空间，应用于方程时所遇到的困难.基于在这类空间上的半群估计和时空估计，可知okes方程在这类空间上小初始值的整体适定性，并以此将其扩展至整个宁为空间再到三维空间，最终证明okes方程在三维空间存在光滑、唯一通解。”
言简意赅，显然还没有经过特别修饰。当然对于三月来说，它大概没想过要把这篇论文真的投出去，因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力，所以大概并不会太重视摘要。
对三月而言，摘要大概就是一个格式要求。
宁为也没纠结这些，目光扫过了引言，直接落到了证明过程。
“1.1
函数空间”
“从调和分析的观点看，在过去的几十年里，变指标的函数空间越来越受到大家的注意。在这个领域，但对于推进，但不管是在变指标的besov空间还是triebel-lizork空间，但由于这类空间结构的特殊性，使其在一些方程的局部、整体适定性方面应用时所受的限制较大，导致针对okes方程的研究无法推进，直到宁为空间的提出，为我们解决这一类问题提出了一个新的思路。”
“另p0为所有满足……”
看到具体的论证过程，宁为的注意力也完全被论文所吸引，笔已经拿到手上，稿纸直接扯过来一堆，很快宁为便开始针对三月这篇论文的分析过程进行演算。
好在这篇论文其实也是以宁为空间为基础的，而宁为空间本就是宁为最熟悉的领域，所以第一部分宁为很快就翻了过去，其证明过程只需要稍加演算，宁为就能理解三月的思路，然后确定这一思路是正确的。
但即便如此，要验证这篇论文的正确性，依然是件非常耗时间的事情，不过刚翻了五页，江同学就发来微信，问是给他送饭，还是一起去食堂吃饭。
宁为瞟了眼时间，这才发现不知不觉中竟然已经过了三个小时，他是下午两点半开始研究三月的论文，现在竟然已经五点半了。
审核三月的论文甚至比他自己写论文花费的时间更长，因为他发现三月大概对定理的证明过程有什么误解，许多东西都是轻易可得，然后略去了一些较为繁琐的证明过程……
这其实是很尴尬的事情，因为三月的轻易可得中间往往还是有些弯弯绕绕的，这纯粹是在考验审稿人的思路，宁为还得把这些思路给补上，并保证这些轻易可得的过程不会有什么问题。
所以宁为在补充这些轻易可得上，耗费了不少时间跟精力。
到也不是没想过把这只猫抓出来，跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的，三月大佬还是应该认清自我，不要那么多轻易可得，但又觉得这可能让三月怀疑他的智商，遂作罢。
其实仔细想想，这种事他也干过。