手机浏览器扫描二维码访问
“本文首先构造了一类变指标的宁为空间,在这类空间上,我们可以克服一般变指标函数空间,应用于方程时所遇到的困难。基于在这类空间上的半群估计和时空估计,可知Navier-Stokes方程在这类空间上小初始值的整体适定性,并以此将其扩展至整个宁为空间再到三维空间,最终证明Navier-Stokes方程在三维空间存在光滑、唯一通解。”
言简意赅,显然还没有经过特别修饰。当然对于三月来说,它大概没想过要把这篇论文真的投出去,因为很难说人类社会的名望对这只生存与互联网上的程序会有什么吸引力,所以大概并不会太重视摘要。
对三月而言,摘要大概就是一个格式要求。
宁为也没纠结这些,目光扫过了引言,直接落到了证明过程。
“1。1函数空间”
“从调和分析的观点看,在过去的几十年里,变指标的函数空间越来越受到大家的注意。在这个领域,但对于推进,但不管是在变指标的Besov空间还是Triebel-Lizorkin空间,但由于这类空间结构的特殊性,使其在一些方程的局部、整体适定性方面应用时所受的限制较大,导致针对Navier-Stokes方程的研究无法推进,直到宁为空间的提出,为我们解决这一类问题提出了一个新的思路。”
“另P0为所有满足……”
看到具体的论证过程,宁为的注意力也完全被论文所吸引,笔已经拿到手上,稿纸直接扯过来一堆,很快宁为便开始针对三月这篇论文的分析过程进行演算。
好在这篇论文其实也是以宁为空间为基础的,而宁为空间本就是宁为最熟悉的领域,所以第一部分宁为很快就翻了过去,其证明过程只需要稍加演算,宁为就能理解三月的思路,然后确定这一思路是正确的。
但即便如此,要验证这篇论文的正确性,依然是件非常耗时间的事情,不过刚翻了五页,江同学就发来微信,问是给他送饭,还是一起去食堂吃饭。
宁为瞟了眼时间,这才发现不知不觉中竟然已经过了三个小时,他是下午两点半开始研究三月的论文,现在竟然已经五点半了。
审核三月的论文甚至比他自己写论文花费的时间更长,因为他发现三月大概对定理的证明过程有什么误解,许多东西都是轻易可得,然后略去了一些较为繁琐的证明过程……
这其实是很尴尬的事情,因为三月的轻易可得中间往往还是有些弯弯绕绕的,这纯粹是在考验审稿人的思路,宁为还得把这些思路给补上,并保证这些轻易可得的过程不会有什么问题。
所以宁为在补充这些轻易可得上,耗费了不少时间跟精力。
到也不是没想过把这只猫抓出来,跟它探讨一下人类的理解能力以及逻辑分析能力跟人工智能程序还是稍微有些不同的,三月大佬还是应该认清自我,不要那么多轻易可得,但又觉得这可能让三月怀疑他的智商,遂作罢。
其实仔细想想,这种事他也干过。
曾经他论文中许多轻易所得,也让许多人头疼,这一过程也让宁为对已经编订好的教材,又有了些感触。他是不是应该把教材改得更详细些?
当然这些都是他在审稿过程中的一些粗浅想法。
能跟江同学共进晚餐的时刻,他还是决定先休息一下,当然也不完全是休息,比如他可以跟另一位专业人士谈谈,审稿这种事何必他一个人呢?
于是宁为立刻在微信上回道:“今天我请鲁师兄吃饭,你先来研究中心,然后咱们一起过去。”
……
“鲁师兄,赶紧收拾一下,准备出发,今天我请你吃晚饭!”
鲁东义抬起头,困惑的看着突然冲进他办公室的宁为,大概在思考着宁为这又是哪跟筋不对了。
到不是宁为小气,舍不得请大家吃饭,主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情,所以大多数情况都是江同学把饭带到研究中心。
最让鲁东义满意的是,一般情况下,江同学如果过来每次都不会忘了他,总会在微信上问一句,然后给他也带上一份,这就节省了他穿过大半个校园跑去食堂买包子的时间。
所以一般没什么特别大的喜事,他们之间是很少有请客吃饭这种事的,最多是挂在嘴边提一句,碰到有好事了一起请。但今天明显好像没什么大事发生。
如果一定要说有的话……
“为什么要请我吃饭?庆祝你的论文三月审核过了,还给了你优秀的评语?”
“想多了吧?鲁师兄,我是那种会因为这点屁事请吃饭的人吗?今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文,惊不惊喜?意不意外?我们的人工智能已经会独立撰写论文了。”
“三月写论文?”鲁东义狐疑的看着宁为,三月可是曾经在《数学年刊》上发表过论文的人工智能,但是那篇论文现在全世界都知道是宁为写的。
虽然《数学年刊》拿已经印出的纸质期刊没办法,但是在电子期刊栏上,早就将三月的署名,改成了宁为的名字。只是那篇论文的单位依然挂着江城大学,这还一度让燕北大学不少人感觉不太舒服。既然论文署名都直接给改了,这期刊就不能顺便把单位都改了?毕竟全世界都知道宁为已经到了燕北数学研究中心。
现在宁为又说三月写了一篇新论文,呵呵……
这是又想玩哪出?
“宁为啊,我不知道你又想搞什么事,但是你的那篇论文,我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了,你要再想把那篇论文给署名三月,那就真的是在玩学术不端的把戏了!你可别在拿大家开玩笑了行不行?第一次你还能说是图灵测试,这次你又想玩什么?图灵公测?!”鲁东义语重心长的说道。
太后废长立幼是哀家做得最错的一件事,昏君,哀家要废了你。摄政王错失皇位,尽心尽力辅佐换得挫骨扬灰,昏君,我要篡位做明君。顾娴昏君,你无情,你花心,我要嫁你叔叔,做你婶娘。温柔自带锦鲤体质,集万千宠爱,吸干昏君运道。昏君朕太难了。温暖战地记者现场吃瓜。总结最落魄的我遇见最好的你,若你求一世安稳,那这盛世...
小团子的师父跑了,房子倒了,床也塌了,无奈之下只能下山找爸爸啦。霸总爸爸小孩子是最讨厌的生物。巨星爸爸你让我掉粉,我就把你当烟花炸上天。赌王爸爸还来烦我?剁吧剁吧包了包子喂狗。医生爸爸碰瓷?说吧,割腰子还是割肾?道士爸爸单程鬼门关有去无回套餐了解下?校霸爸爸我特么还是个宝宝呢!后来六个爸爸为了争夺闺女的抚养权大打出手,场面那叫一个惨烈。我有钱,柚宝跟了我就是世界首富。我有流量,柚宝跟了我就是国际小巨星。我有手术刀,你们确定要和我争?...
隆安五年,二世为人的贾蔷为保清白身,从虎狼之巢宁国府夺命而逃,自此,一名万年工科单身狗,迎来了他在红楼世界的春天群号舵主一群三七九,三零三,零七六(已满)舵主二群七二九,八二一,六零五(已满)舵主三群一零六,一八八,零七八零普群一一三,五五七,五三零二...
叶家天才继承人被人残害,导致未婚妻退婚,更被赶出家门。隐姓埋名成为小家族上门女婿,机缘获得长生诀跟惊世医术,从此一飞冲天。这一次,他要洗刷屈辱,夺回属于他...
九皇叔,他们说我丑得惊天动地配不上你。揍他!九皇叔,他们说我行为粗鲁不懂礼仪还食量惊人。吃他家大米了吗?九皇叔,她们羡慕我妒忌我还想杀了我。九王爷一怒为红颜本王的女人,谁敢动!一不小心入了九皇叔怀,不想,从此开挂,攀上人生巅峰!...
7年婚姻。相见如宾,浓情甜蜜。到头来,镜花水月。倾尽所有,换来一场蓄谋已久的杀人灭口。那一天。陆漫漫怀着还不足2月的孩子,死于一场车祸。离奇的车祸,却意外获得重生。陆漫漫再次睁眼,回到还未嫁人之时。她凌厉的眼眸一紧,嗜血的微笑,风华绝代。重生一世,她誓要,血债血偿!为此!陆漫漫醒来后做的第一件事就是,拒绝渣男,毅然嫁给了上一世的死对头,这一世本不该去招惹的男人。她说,我送你锦绣前程,你助我斩妖除魔!他邪魅的嘴角微扬,低沉的嗓音道,一诺千金。精彩片段一都说文城陆家千金陆漫漫,琴棋书画,聪慧过人,贤良淑德,温柔大方,知书达理,善解人意,是文城所有男人心目中的贤妻良母男人低沉的声音显得那般的漫不经心,只是不知这般凶恶残酷,心胸狭窄,瑕疵必报,阴谋算计还表里不一的女人,是谁?陆漫漫抬眸看了一下男人,遂问道,姐都被人害得倾家荡产死无全尸了,你还让姐继续装逼?!男人眉头颤动。打个比方,当你想要放屁的时候,你为了维护自己的形象憋住了,最后的结果你知道会怎样?陆漫漫一字一句,屁从嘴里面吐出来,恶心的是自己!男人脸色直接黑透。精彩片段二不是形婚吗?陆漫漫死拽着两条杠的早孕棒。我是一个正常的男人。我怀孕了。我身体各个器官都很健康。莫远修,重点是姐怀孕了!怀孕了!怀孕了!陆漫漫气急攻心。所以?我不打算留下她。男人微抬眸,一脸淡薄,还记得我们交易达成时我说的话吗?一诺千金?陆漫漫扬眉。记得就好。什么意思?陆漫漫莫名其妙。生个千金。男人说的慢条斯理。陆漫漫一口老血差点没有喷出来!她说过要生的吗?!简介小白,内容绝壁正剧!本文是一枚一心只想要辅助丈夫成立丰功伟业的贤妻良母遭遇最爱人背叛后,意外重生重活一世,在报复渣男的过程中重新收获爱情的豪门故事。精彩,不容错过,欢迎跳坑。PS本文架空...