“想多了吧?鲁师兄,我是那种会因为这点屁事请吃饭的人吗?今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文,惊不惊喜?意不意外?我们的人工智能已经会独立撰写论文了。”
“三月写论文?”鲁东义狐疑的看着宁为,三月可是曾经在《数学年刊》上发表过论文的人工智能,但是那篇论文现在全世界都知道是宁为写的。
虽然《数学年刊》拿已经印出的纸质期刊没办法,但是在电子期刊栏上,早就将三月的署名,改成了宁为的名字。只是那篇论文的单位依然挂着江城大学,这还一度让燕北大学不少人感觉不太舒服。既然论文署名都直接给改了,这期刊就不能顺便把单位都改了?毕竟全世界都知道宁为已经到了燕北数学研究中心。
现在宁为又说三月写了一篇新论文,呵呵……
这是又想玩哪出?
“宁为啊,我不知道你又想搞什么事,但是你的那篇论文,我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了,你要再想把那篇论文给署名三月,那就真的是在玩学术不端的把戏了!你可别在拿大家开玩笑了行不行?第一次你还能说是图灵测试,这次你又想玩什么?图灵公测?!”鲁东义语重心长的说道。
“鲁师兄,在你眼里,我就是那种分不清轻重,总喜欢乱来的人?这次是真的三月自己撰写了一篇论文,而且跟我今天发给你审的那篇论文半点关系都没有。更重要的是,三月这篇论文跟我们现在研究的方向没半点关系。给,我刚刚打印了前面六页,你先扫一眼。”
说着宁为将早已经准备好的论文最定理1跟2的证明过程递了过去,这是经过他补充的版本,将一些三月觉得轻易可得的过程给补充了进去。
鲁东义仔细的观察了宁为片刻,这才半信半疑的从宁为手中接过了这篇论文。
“《不可压Navier-Stokes方程在整体三维空间下存在光滑、唯一解》?”下意识的将论文题目读了出来,然后鲁东义猛得抬起头,看向宁为……
“宁为,你真没跟我开玩笑?”
“鲁师兄,不瞒你说,三月把这篇论文发到我邮箱的时候,我也以为它是在跟我开玩笑来着。这不,我一整个下午都在审这篇论文呢,你先简单扫一眼它前面的论证过程吧,咱们吃饭的时候再聊。”
鲁东义狐疑的又看了宁为一眼,这才将注意力放在论文上。
办公室内变得安静,当鲁东义沉浸在论文的数学语言跟公式中,是真的忘了办公室还有一个人存在,压根就不在理会宁为。
宁为也早已经习惯了这种状态的鲁东义,所以他才只打印了六页,而且不嫌繁琐的将很多论证过程全部都补足。否则真要请鲁师兄吃晚饭大概得等到他饿急眼了……
所以他也没等鲁东义看完论文内容,而是直接走出了鲁东义的办公室,跟柳唯打了声招呼,然后在院子里等着江同学过来,顺便伸展一下身体。
等他做完一遍柳唯教给他的健身操,江同学的身影也出现在数学研究中心的院子里。
“来了呀!”
“嗯,什么时候出发?”
“得等等,鲁师兄大概还需要一刻钟。”宁为看了看时间,然后给出了判断。
“哦,鲁师兄在忙着?”
“是啊,鲁师兄正在全神贯注的研究一篇历史性的论文,这么说吧,这篇论文如果以原作者的身份投出去,世界数学学界又该地震了。一些数学大奖的或者规则可能都要修改修改。这么说你们体会可能不深,更简单的比方啊,如果把这篇论文现在丢给田导,我会先建议田导吃点降压药。”
宁为很朴实的陈述了三月论文如果抛向数学界可能带来的反应,换来了柳唯的眉毛无法抑制的抖了两下。
“宁为啊,作者其实就是你吧?”江同学问了句。
“这次还真不是我,是三月。”宁为答道。
“三月?三月会写论文了?”
“多新鲜呐,三月都会审论文,自己动笔写篇论文,其实也不是不可能的事,而且我觉得它这篇论文可能创新的地方其实不多,主要是处理一些很繁琐很繁琐的证明过程,这正好是它的强项。说实话,我之前都没想到三月真能鼓捣出这篇论文来。我现在都很茫然。”
院子里安静下来。
主要是大家不知道该不该相信宁为的话。
狼来的故事大家都知道,虽然宁为只以三月的名义发表过一篇论文,并没有一而再,再而三的跟大家开玩笑,但是那一次的玩笑开的太大了,直接导致现在宁为这番话可信度真的要权衡。
“不是,晨霜啊,柳哥不相信我就算了,你难道还不相信我。这次论文真的是三月写的,我从头到尾都不知情的。如果不是今天三月主动告诉我,它完成了这篇论文,我压根都没想到。”
江同学点了点头,然后好奇的问道:“你三月写的是什么论文啊?”
“它解决了不可压Navier-Stokes方程三维空间的终极问题,可以理解为三月解决了千禧年八大数学难题之一。上一个解决千禧年难题的是格里戈里·佩雷尔曼,他解决了庞加