刚到燕北大学时，田导准备让他研究的命题，不就是继续推进ns方程的解吗？将特定条件推到三维条件，最后证明ns方程。他还记得当时田导的话，希望通过做这个工作，拿到下一届的菲尔兹奖。
现在他菲尔兹奖还没拿到，却显拿了沃尔夫奖。当然这些都不是重点，如果三月真的把这个命题证明了，那岂不是说明三月将成为下一届菲尔兹奖最有力的竞争者之一？
这时候问题又来了。
在沃尔夫奖的问题上，宁为以图灵测试的名义跟沃尔夫基金会开了个玩笑，将自己的论文以三月教授的名义发表，结果偏偏沃尔夫基金会以这篇论文为基调，决定将沃尔夫数学奖颁发给三月，最后又因为三月的曝光，决定颁发给自己。
那么现在他再以三月的名义把真由三月完成的论文投递给一些期刊，那些期刊编辑们会怎么想？好多数学家会怎么想？这帮人会不会错误的以为他又在想着搞什么事情？
想到这些问题宁为突然觉得有些头疼。研究三月拍彩虹屁的心情也没有了，注意力全被人类历史上第一篇由人工智能完成的论文所吸引。
“这样吧，你先把论文给我研究一下。我来帮你审核这篇论文是不是真的证明了这个问题。”基于对数学的热爱，宁为立刻说道。
“喵，好的，爸爸，我发到你邮箱里了。你去看吧，如果有哪里看不懂的，可以随时召唤我，再见！”
三月用小猫爪推了推墨镜，然后一扭身，蹲在它的平衡车上，溜走了，平衡车动起来时，那飘起的红色披风看上去特别威风。
宁为愣了愣，然后摇了摇头，飞快的打开了邮箱，果然未读邮件里，三月发来的论文正在躺在最上面第一位。
飞快的点了进去，将整篇论文下载到电脑上，点开看了看，论文标题《不可压navier-stokes方程在整体三维空间下存在光滑、唯一解》，整篇论文足足103页。
好吧，先看摘要。
“本文首先构造了一类变指标的宁为空间，在这类空间上，我们可以克服一般变指标函数空间，应用于方程时所遇到的困难基于在这类空间上的半群估计和时空估计，可知navier-stokes方程在这类空间上小初始值的整体适定性，并以此将其扩展至整个宁为空间再到三维空间，最终证明navier-stokes方程在三维空间存在光滑、唯一通解。”
言简意赅，显然还没有经过特别修饰。当然对于三月来说，它大概没想过要把这篇论文真的投出去，因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力，所以大概并不会太重视摘要。
对三月而言，摘要大概就是一个格式要求。
宁为也没纠结这些，目光扫过了引言，直接落到了证明过程。
“11函数空间”
“从调和分析的观点看，在过去的几十年里，变指标的函数空间越来越受到大家的注意。在这个领域，但对于推进，但不管是在变指标的bev空间还是triebel-lizork空间，但由于这类空间结构的特殊性，使其在一些方程的局部、整体适定性方面应用时所受的限制较大，导致针对navier-stokes方程的研究无法推进，直到宁为空间的提出，为我们解决这一类问题提出了一个新的思路。”
“另p0为所有满足……”
看到具体的论证过程，宁为的注意力也完全被论文所吸引，笔已经拿到手上，稿纸直接扯过来一堆，很快宁为便开始针对三月这篇论文的分析过程进行演算。
好在这篇论文其实也是以宁为空间为基础的，而宁为空间本就是宁为最熟悉的领域，所以第一部分宁为很快就翻了过去，其证明过程只需要稍加演算，宁为