手机浏览器扫描二维码访问
“本文首先构造了一类变指标的宁为空间,在这类空间上,我们可以克服一般变指标函数空间,应用于方程时所遇到的困难.基于在这类空间上的半群估计和时空估计,可知Navier-Stokes方程在这类空间上小初始值的整体适定性,并以此将其扩展至整个宁为空间再到三维空间,最终证明Navier-Stokes方程在三维空间存在光滑、唯一通解。”
言简意赅,显然还没有经过特别修饰。当然对于三月来说,它大概没想过要把这篇论文真的投出去,因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力,所以大概并不会太重视摘要。
对三月而言,摘要大概就是一个格式要求。
宁为也没纠结这些,目光扫过了引言,直接落到了证明过程。
“1.1函数空间”
“从调和分析的观点看,在过去的几十年里,变指标的函数空间越来越受到大家的注意。在这个领域,但对于推进,但不管是在变指标的Besov空间还是Triebel-Lizorkin空间,但由于这类空间结构的特殊性,使其在一些方程的局部、整体适定性方面应用时所受的限制较大,导致针对Navier-Stokes方程的研究无法推进,直到宁为空间的提出,为我们解决这一类问题提出了一个新的思路。”
“另P0为所有满足……”
看到具体的论证过程,宁为的注意力也完全被论文所吸引,笔已经拿到手上,稿纸直接扯过来一堆,很快宁为便开始针对三月这篇论文的分析过程进行演算。
好在这篇论文其实也是以宁为空间为基础的,而宁为空间本就是宁为最熟悉的领域,所以第一部分宁为很快就翻了过去,其证明过程只需要稍加演算,宁为就能理解三月的思路,然后确定这一思路是正确的。
但即便如此,要验证这篇论文的正确性,依然是件非常耗时间的事情,不过刚翻了五页,江同学就发来微信,问是给他送饭,还是一起去食堂吃饭。
宁为瞟了眼时间,这才发现不知不觉中竟然已经过了三个小时,他是下午两点半开始研究三月的论文,现在竟然已经五点半了。
审核三月的论文甚至比他自己写论文花费的时间更长,因为他发现三月大概对定理的证明过程有什么误解,许多东西都是轻易可得,然后略去了一些较为繁琐的证明过程……
这其实是很尴尬的事情,因为三月的轻易可得中间往往还是有些弯弯绕绕的,这纯粹是在考验审稿人的思路,宁为还得把这些思路给补上,并保证这些轻易可得的过程不会有什么问题。
所以宁为在补充这些轻易可得上,耗费了不少时间跟精力。
到也不是没想过把这只猫抓出来,跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的,三月大佬还是应该认清自我,不要那么多轻易可得,但又觉得这可能让三月怀疑他的智商,遂作罢。
其实仔细想想,这种事他也干过。
曾经他论文中许多轻易所得,也让许多人头疼,这一过程也让宁为对已经编订好的教材,又有了些感触。他是不是应该把教材改得更详细些?
当然这些都是他在审稿过程中的一些粗浅想法。
能跟江同学共进晚餐的时刻,他还是决定先休息一下,当然也不完全是休息,比如他可以跟另一位专业人士谈谈,审稿这种事何必他一个人呢?
于是宁为立刻在微信上回道:“今天我请鲁师兄吃饭,你先来研究中心,然后咱们一起过去。”
……
“鲁师兄,赶紧收拾一下,准备出发,今天我请你吃晚饭!”
鲁东义抬起头,困惑的看着突然冲进他办公室的宁为,大概在思考着宁为这又是哪跟筋不对了。
到不是宁为小气,舍不得请大家吃饭,主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情,所以大多数情况都是江同学把饭带到研究中心。
最让鲁东义满意的是,一般情况下,江同学如果过来每次都不会忘了他,总会在微信上问一句,然后给他也带上一份,这就节省了他穿过大半个校园跑去食堂买包子的时间。
所以一般没什么特别大的喜事,他们之间是很少有请客吃饭这种事的,最多是挂在嘴边提一句,碰到有好事了一起请。但今天明显好像没什么大事发生。
如果一定要说有的话……
“为什么要请我吃饭?庆祝你的论文三月审核过了,还给了你优秀的评语?”
“想多了吧?鲁师兄,我是那种会因为这点屁事请吃饭的人吗?今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文,惊不惊喜?意不意外?我们的人工智能已经会独立撰写论文了。”
“三月写论文?”鲁东义狐疑的看着宁为,三月可是曾经在《数学年刊》上发表过论文的人工智能,但是那篇论文现在全世界都知道是宁为写的。
虽然《数学年刊》拿已经印出的纸质期刊没办法,但是在电子期刊栏上,早就将三月的署名,改成了宁为的名字。只是那篇论文的单位依然挂着江城大学,这还一度让燕北大学不少人感觉不太舒服。既然论文署名都直接给改了,这期刊就不能顺便把单位都改了?毕竟全世界都知道宁为已经到了燕北数学研究中心。
现在宁为又说三月写了一篇新论文,呵呵……
这是又想玩哪出?
“宁为啊,我不知道你又想搞什么事,但是你的那篇论文,我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了,你要再想把那篇论文给署名三月,那就真的是在玩学术不端的把戏了!你可别在拿大家开玩笑了行不行?第一次你还能说是图灵测试,这次你又想玩什么?图灵公测?!”鲁东义语重心长的说道。
六朝仙侠传 重生恶毒大小姐变本加厉(NPH) 我每周随机一个新职业 武印至尊 悍庄 武御乾坤 狩灵纪要 炮灰万万碎 真少爷团宠日常 我在霸总小说当绿茶喵 清庭欢 我在六个师兄面前咸鱼 君有云 娇蛮小姐傲总裁 甜苹果(1v1) 念念难忘 婚城难入 穿越后我靠科举养家 极品地主 十年牧心
全能弃少在都市简介emspemsp关于全能弃少在都市杨桀,一个十分普通的学生却因为机缘巧合被抓到了国外,成为人体研究的素材几经生死,后得高人相助,意外获得神秘力量。他将成为华夏的传奇,佣兵界的神话,全能的兵王,而这一切,从他王者归来,回返华夏开始!...
妻贵简介emspemsp关于妻贵她本该是翱翔于九天之上的瑶凤,却在即将飞上高空时被折断了双翼。一梦二十年,当她涅槃重生,面对接踵而至的前世故人,她只想说,拿了我的给我还回来,吃了我的给我吐出来,欠了我的十倍还回来洗...
母女二人因半夜吐槽穿越到古代,身怀系统,空间。开局成寡妇,带娃,种地,逃荒。最后发家致富。无cp,内容半真半假...
唐妆浓太平公主×上官婉儿简介emspemsp关于唐妆浓太平公主×上官婉儿那是一个大唐红颜繁盛的时代,史官笔下她们放浪,残忍。字字无情之下究竟藏隐藏着怎样的惊心动魄,婉平的感情在治乱之时会何去何从。历史向小说,细节控,除CP线可以当历史看...
妙手医圣简介emspemsp妙手医圣是少年七米的经典都市言情类作品,妙手医圣主要讲述了母亲被陷害,叶凌天成了豪门孽种,被家族嫌弃,更有许多人想让他少年七米最新鼎力大作,年度必看都市言情。禁忌书屋提供妙手医圣最新章节全...
一次陷害,成了她杀人的借口,也成了他们牵绊的理由。她步步为营只为接近那个高高在上的危险男人。她已经狠下心了,为什么却仿佛看到了他的伤心,你就这么想我死吗?因为你那可怜的自尊心?步步紧逼,她已没有退路,脸颊被他攥的生疼。她有太多顾虑,却不想为了另一个男人还是伤了他,泪水淌过面颊,她哽咽对不起他们都知道,他们之间已经没有未来了五年不长,再见面,为什么还不结婚?只是她不死心。怕结了婚,连唯一能挽留你的筹码也没有了。只是他还爱着。轰动全城的盛世婚宴,她笑挽其臂,含泪喝下交杯酒,笑着与他温柔对视天域,如果您喜欢错过甜蜜总裁的一世爱妻,别忘记分享给朋友...