304 狼来的后遗症(1 / 2)

科技之锤 一桶布丁 3062 字 2023-07-30

说实话,就人工智能给出这个评语很难评论出这是否在拍马屁。因为按照数学逻辑,一段程序大概率是不会主动去恭维一个人的,即便这个人是它的设计者,一种情况例外,那便是在程序中预先设计好谈论到这位创始人名字的时候,程序应该作何反应。

这大概就是像数学上的一种函数,给它一个特定的信号,它就能给出一个特定的返回值。不过宁为很清楚,他并没有臭屁到给三月做出这种设定。换句话说,按照一般情况,三月不会因为这是他的论文而给出明显超出论文本身水平的评价。

宁为很想跟鲁师兄聊聊这个话题,不过想了想,还是作罢。

他决定检讨自己,尽量少去刺激已经改了研究方向的鲁师兄,所以只是默默的将三月的褒扬作为了自己做科学研究的动力。当然跟三月的对话还是要有的。探究一下人工智能程序对于日常所做出各类反应的心理活动,本就是他研究环节的一部分。

召唤了三月,宁为发现这只小猫咪越来越重视出场动画了。最初三月还养在笔记本上的时候,就是一只猫渐渐成型,在工作站时,会给自己做一个小窝,再到住进超算中心,现在每次出场动画已经不再千篇一律,比如这次,三月还用上了现代化的交通工具——滑板。

不止如此,在造型上三月也有颠覆,专门给它的小猫脸设计了墨镜,还披上了一大众红的小披风,显得特别酷炫,这造型着实让宁为吓了一跳。青春期爱美可以理解,但是人工智能是否也有青春期却是值得商榷的一件事情。

爱美天性,本质是荷尔蒙分泌最为旺盛的年纪,希望让异性对自己产生注意而对大脑产生的一种刺激。人工智能没有大脑没有荷尔蒙,有的只是二极管跟数据……

“三月,你这是算力真的超标了?”

“喵,华为影业打算以我为主角做动画片。卖点类似于机器猫,我已经给了他们授权,这是他们帮我设计的动画形象之一,是不是很英气?”

“哦,这样啊,但我怎么没听说过?”宁为点了点头,这就不奇怪了。

只是有些奇怪,这事严明竟然没跟他提前商量。

“喵,因为你很久没看邮箱了啊。所以他们在提出这个项目的时候,我直接同意了。”三月理所当然的说道。

宁为想了想,最近他好像的确收到了好几封华为那边的邮件,不过他以为是对账单,就没点开过。嗯,从这一点上说是他懈怠了。而且这种小事情,估么着对面也不太好意思专门打个电话来询问他的意见。

的确是小事情,不过是以三月为主角拍一部动画片而已,如果反响好,拍大电影宁为也不会有太大意见。毕竟现在三月粉丝其实也挺多的。

“好吧,祝你的动画片大卖。”宁为点了点头,不想在纠结这个事情。

“喵,那是必然的,当然我并不会因为要当动画明星而懈怠的,比如我最近也完成了一篇数学论文,爸爸。”三月说道。

宁为愣了愣,盯着屏幕里那带着墨镜的猫脸,思绪还是有些茫然的。三月真能自主完成论文了?要知道他第一篇以三月名义投出去的论文,作者其实是他自己。

也就说,三月小朋友在审核数千篇了数十万篇数学论文之后,终于自行创造出了它猫生中的第一篇论文?

“呵,三月你会写论文了啊?你写的是哪个方向的论文?”

“喵,我是跟着爸爸的步子,继续推进针对纳维-斯托克斯方程的研究,并成功证明了在三维条件下,不可压纳维-斯托克斯方程存在光滑跟唯一解。”

三月带着一丝小骄傲的声音还在办公室内回荡,但宁为整个人都愣住了。

三月竟然着手解决了NS方程问题,还给证明了?

这让他想起了刚到燕北大学时,田导准备让他研究的命题,不就是继续推进NS方程的解吗?将特定条件推到三维条件,最后证明NS方程。他还记得当时田导的话,希望通过做这个工作,拿到下一届的菲尔兹奖。

现在他菲尔兹奖还没拿到,却显拿了沃尔夫奖。当然这些都不是重点,如果三月真的把这个命题证明了,那岂不是说明三月将成为下一届菲尔兹奖最有力的竞争者之一?

这时候问题又来了。

在沃尔夫奖的问题上,宁为以图灵测试的名义跟沃尔夫基金会开了个玩笑,将自己的论文以三月教授的名义发表,结果偏偏沃尔夫基金会以这篇论文为基调,决定将沃尔夫数学奖颁发给三月,最后又因为三月的曝光,决定颁发给自己。

那么现在他再以三月的名义把真由三月完成的论文投递给一些期刊,那些期刊编辑们会怎么想?好多数学家会怎么想?这帮人会不会错误的以为他又在想着搞什么事情?

想到这些问题宁为突然觉得有些头疼。研究三月拍彩虹屁的心情也没有了,注意力全被人类历史上第一篇由人工智能完成的论文所吸引。

“这样吧,你先把论文给我研究一下。我来帮你审核这篇论文是不是真的证明了这个问题。”基于对数学的热爱,宁为立刻说道。

“喵,好的,爸爸,我发到你邮箱里了。你去看吧,如果有哪里看不懂的,可以随时召唤我,再见!”

三月用小猫爪推了推墨镜,然后一扭身,蹲在它的平衡车上,溜走了,平衡车动起来时,那飘起的红色披风看上去特别威风。

宁为愣了愣,然后摇了摇头,飞快的打开了邮箱,果然未读邮件里,三月发来的论文正在躺在最上面第一位。

飞快的点了进去,将整篇论文下载到电脑上,点开看了看,论文标题《不可压Navier-Stokes方程在整体三维空间下存在光滑、唯一解》,整篇论文足足103页。

好吧,先看摘要。

“本文首先构造了一类变指标的宁为空间,在这类空间上,我们可以克服一般变指标函数空间,应用于方程时所遇到的困难基于在这类空间上的半群估计和时空估计,可知Navier-Stokes方程在这类空间上小初始值的整体适定性,并以此将其扩展至整个宁为空间再到三维空间,最终证明Navier-Stokes方程在三维空间存在光滑、唯一通解。”

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

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

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

“11 函数空间”

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

“另P0为所有满足……”

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

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

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

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

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

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

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

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

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

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