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

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

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

“函数空间”

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

“另P0为所有满足……”

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

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

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

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

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

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

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

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

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

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

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

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

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

……

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

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

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

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

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

如果一定要说有的话……

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

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

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

虽然《数学年刊》拿已经印出的纸质期刊没办法,但是在电子期刊栏上,早就将三月的署名,改成了宁为的名字。只是那篇论的单位依然挂着江城大学,这还一度让燕北大学不少人感觉不太舒服。既然论署名都直接给改了,这期刊就不能顺便把单位都改了?毕竟全世界都知道宁为已经到了燕北数学研究中心。

现在宁为又说三月写了一篇新论,呵呵……

这是又想玩哪出?

“宁为啊,我不知道你又想搞什么事,但是你的那篇论,我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了,你要再想把那篇论给署名三月,那就真的是在玩学术不端的把戏了!你可别在拿大家开玩笑了行不行?第一次你还能说是图灵测试,这次你又想玩什么?图灵公测?!”鲁东义语重心长的说道。

“鲁师兄,在你眼里,我就是那种分不清轻重,总喜欢乱来的人?这次是真的三月自己撰写了一篇论,而且跟我今天发给你审的那篇论半点关系都没有。更重要的是,三月这篇论跟我们现在研究的方向没半点关系。给,我刚刚打印了前面六页,你先扫一眼。”