第303章 狼来的后遗症(第2/4页)
想到这些问题宁为突然觉得有些头疼。研究三月拍彩虹屁的心情也没有了,注意力全被人类历史上第一篇由人工智能完成的论文所吸引。
“这样吧,你先把论文给我研究一下。我来帮你审核这篇论文是不是真的证明了这个问题。”基于对数学的热爱,宁为立刻说道。
“喵,好的,爸爸,我发到你邮箱里了。你去看吧,如果有哪里看不懂的,可以随时召唤我,再见!”
三月用小猫爪推了推墨镜,然后一扭身,蹲在它的平衡车上,溜走了,平衡车动起来时,那飘起的红色披风看上去特别威风。
宁为愣了愣,然后摇了摇头,飞快的打开了邮箱,果然未读邮件里,三月发来的论文正在躺在最上面第一位。
飞快的点了进去,将整篇论文下载到电脑上,点开看了看,论文标题《不可压Navier—Stokes方程在整体三维空间下存在光滑、唯一解》,整篇论文足足103页。
好吧,先看摘要。
“本文首先构造了一类变指标的宁为空间,在这类空间上,我们可以克服一般变指标函数空间,应用于方程时所遇到的困难。基于在这类空间上的半群估计和时空估计,可知Navier—Stokes方程在这类空间上小初始值的整体适定性,并以此将其扩展至整个宁为空间再到三维空间,最终证明Navier—Stokes方程在三维空间存在光滑、唯一通解。”
言简意赅,显然还没有经过特别修饰。当然对于三月来说,它大概没想过要把这篇论文真的投出去,因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力,所以大概并不会太重视摘要。
对三月而言,摘要大概就是一个格式要求。
宁为也没纠结这些,目光扫过了引言,直接落到了证明过程。
“1.1 函数空间”
“从调和分析的观点看,在过去的几十年里,变指标的函数空间越来越受到大家的注意。在这个领域,但对于推进,但不管是在变指标的Besov空间还是Triebel—Lizorkin空间,但由于这类空间结构的特殊性,使其在一些方程的局部、整体适定性方面应用时所受的限制较大,导致针对Navier—Stokes方程的研究无法推进,直到宁为空间的提出,为我们解决这一类问题提出了一个新的思路。”
“另P0为所有满足……”
看到具体的论证过程,宁为的注意力也完全被论文所吸引,笔已经拿到手上,稿纸直接扯过来一堆,很快宁为便开始针对三月这篇论文的分析过程进行演算。
好在这篇论文其实也是以宁为空间为基础的,而宁为空间本就是宁为最熟悉的领域,所以第一部分宁为很快就翻了过去,其证明过程只需要稍加演算,宁为就能理解三月的思路,然后确定这一思路是正确的。
但即便如此,要验证这篇论文的正确性,依然是件非常耗时间的事情,不过刚翻了五页,江同学就发来微信,问是给他送饭,还是一起去食堂吃饭。
宁为瞟了眼时间,这才发现不知不觉中竟然已经过了三个小时,他是下午两点半开始研究三月的论文,现在竟然已经五点半了。
审核三月的论文甚至比他自己写论文花费的时间更长,因为他发现三月大概对定理的证明过程有什么误解,许多东西都是轻易可得,然后略去了一些较为繁琐的证明过程……
这其实是很尴尬的事情,因为三月的轻易可得中间往往还是有些弯弯绕绕的,这纯粹是在考验审稿人的思路,宁为还得把这些思路给补上,并保证这些轻易可得的过程不会有什么问题。
所以宁为在补充这些轻易可得上,耗费了不少时间跟精力。
到也不是没想过把这只猫抓出来,跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的,三月大佬还是应该认清自我,不要那么多轻易可得,但又觉得这可能让三月怀疑他的智商,遂作罢。
其实仔细想想,这种事他也干过。
曾经他论文中许多轻易所得,也让许多人头疼,这一过程也让宁为对已经编订好的教材,又有了些感触。他是不是应该把教材改得更详细些?
当然这些都是他在审稿过程中的一些粗浅想法。
能跟江同学共进晚餐的时刻,他还是决定先休息一下,当然也不完全是休息,比如他可以跟另一位专业人士谈谈,审稿这种事何必他一个人呢?
于是宁为立刻在微信上回道:“今天我请鲁师兄吃饭,你先来研究中心,然后咱们一起过去。”
……
“鲁师兄,赶紧收拾一下,准备出发,今天我请你吃晚饭!”
鲁东义抬起头,困惑的看着突然冲进他办公室的宁为,大概在思考着宁为这又是哪跟筋不对了。