他也干过。
曾经他论文中许多轻易所得,也让许多人头疼,这一过程也让宁为对已经编订好的教材,又有了些感触。他是不是应该把教材改得更详细些?
当然这些都是他在审稿过程中的一些粗浅想法。
能跟江同学共进晚餐的时刻,他还是决定先休息一下,当然也不完全是休息,比如他可以跟另一位专业人士谈谈,审稿这种事何必他一个人呢?
于是宁为立刻在微信上回道:“今天我请鲁师兄吃饭,你先来研究中心,然后咱们一起过去。”
……
“鲁师兄,赶紧收拾一下,准备出发,今天我请你吃晚饭!”
鲁东义抬起头,困惑的看着突然冲进他办公室的宁为,大概在思考着宁为这又是哪跟筋不对了。
到不是宁为小气,舍不得请大家吃饭,主要是两人其实潜意识里都觉得正经的去餐厅吃顿饭其实是件比较浪费时间的事情,所以大多数情况都是江同学把饭带到研究中心。
最让鲁东义满意的是,一般情况下,江同学如果过来每次都不会忘了他,总会在微信上问一句,然后给他也带上一份,这就节省了他穿过大半个校园跑去食堂买包子的时间。
所以一般没什么特别大的喜事,他们之间是很少有请客吃饭这种事的,最多是挂在嘴边提一句,碰到有好事了一起请。但今天明显好像没什么大事发生。
如果一定要说有的话……
“为什么要请我吃饭?庆祝你的论文三月审核过了,还给了你优秀的评语?”
“想多了吧?鲁师兄,我是那种会因为这点屁事请吃饭的人吗?今天这顿饭是为了庆祝三月独立完成了它智能猫生中的第一篇数学论文,惊不惊喜?意不意外?我们的人工智能已经会独立撰写论文了。”
“三月写论文?”鲁东义狐疑的看着宁为,三月可是曾经在《数学年刊》上发表过论文的人工智能,但是那篇论文现在全世界都知道是宁为写的。
虽然《数学年刊》拿已经印出的纸质期刊没办法,但是在电子期刊栏上,早就将三月的署名,改成了宁为的名字。只是那篇论文的单位依然挂着江城大学,这还一度让燕北大学不少人感觉不太舒服。既然论文署名都直接给改了,这期刊就不能顺便把单位都改了?毕竟全世界都知道宁为已经到了燕北数学研究中心。
现在宁为又说三月写了一篇新论文,呵呵……
这是又想玩哪出?
“宁为啊,我不知道你又想搞什么事,但是你的那篇论文,我已经给几位国内顶尖的做人工理论数学研究的院士发去审稿了,你要再想把那篇论文给署名三月,那就真的是在玩学术不端的把戏了!你可别在拿大家开玩笑了行不行?第一次你还能说是图灵测试,这次你又想玩什么?图灵公测?!”鲁东义语重心长的说道。
“鲁师兄,在你眼里,我就是那种分不清轻重,总喜欢乱来的人?这次是真的三月自己撰写了一篇论文,而且跟我今天发给你审的那篇论文半点关系都没有。更重要的是,三月这篇论文跟我们现在研究的方向没半点关系。给,我刚刚打印了前面六页,你先扫一眼。”
说着宁为将早已经准备好的论文最定理1跟2的证明过程递了过去,这是经过他补充的版本,将一些三月觉得轻易可得的过程给补充了进去。
鲁东义仔细的观察了宁为片刻,这才半信半疑的从宁为手中接过了这篇论文。
“《不可压Navier-Stokes方程在整体三维空间下存在光滑、唯一解》?”下意识的将论文题目读了出来,然后鲁东义猛得抬起头,看向宁为……
“宁为,你真没跟我开玩笑?”
“鲁师兄,不瞒你说,三月把这篇论文发到我邮箱的时候,我也以为它是在跟我开玩笑来着。这不,我一整个下午都在审这篇论文呢,你先简单扫一眼它前面的论证过程吧,咱们吃饭的时候再聊。”
鲁东义狐疑的又看了宁为一眼,这才将注意力放在论文上。
办公室内变得安静,当鲁东义沉浸在论文的数学语言跟公式中,是真的忘了办公室还有一个人存在,压根就不在理会宁为。
宁为也早已经习惯了这种状态的鲁东义,所以他才只打印了六页,而且不嫌繁琐的将很多论证过程全部都补足。否则真要请鲁师兄吃晚饭大概得等到他饿急眼了……
所以他也没等鲁东义看完论文内容,而是直接走出了鲁东义的办公室,跟柳唯打了声招呼,然后在院子里等着江同学过来,顺便伸展一下身体。
等他做完一遍柳唯教给他的健身操,江同学的身影也出现在数学研究中心的院子里。
“来了呀!”
“嗯,什么时候出发?”
“得等等,鲁师兄大概还需要一刻钟。”宁为看了看时间,然后给出了判断。
“哦,鲁师兄在忙着?”
“是啊,鲁师兄正在全神贯注的研究一篇历史性的论文,这么说吧,这篇论文如果以原作者的身份投出去,世界数学学界又该地震了。一些数学大奖的或者规则可能都要修改修改。这么说你们体会可能不深,更简单的比方啊,如果把这篇论文现在丢给田导,我会先建议田导吃点降压药。”
宁为很朴实的陈述了三月论文如果抛向数学界可能带来的反应,换来了柳唯的眉毛无法抑制的抖了两下。
“宁为啊,作者其实就是你吧?”江同学问了句。
“这次还真不是我,是三月。”宁为答道。
“三月?三月会写论文了?”
“多新鲜呐,三月都会审论文,自己动笔写篇论文,其实也不是不可能的事,而且我觉得它这篇论文可能创新的地方其实不多,主要是处理一些很繁琐很繁琐的证明过程,这正好是它的强项。说实话,我之前都没想到三月真能鼓捣出这篇论文来。我现在都很茫然。”
院子里安静下来。
主要是大家不知道该不该相信宁为的话。
狼来的故事大家都知道,虽然宁为只以三月的名义发表过一篇论文,并没有一而再,再而三的跟大家开玩笑,但是那一次的玩笑开的太大了,直接导致现在宁为这番话可信度真的要权衡。
“不是,晨霜啊,柳哥不相信我就算了,你难道还不相信我。这次论文真的是三月写的,我从头到尾都不知情的。如果不是今天三月主动告诉我,它完成了这篇论文,我压根都没想到。”
江同学点了点头,然后好奇的问道:“你三月写的是什么论文啊?”
“它解决了不可压Navier-Stokes方程三维空间的终极问题,可以理解为三月解决了千禧年八大数学难题之一。上一个解决千禧年难题的是格里戈里·佩雷尔曼,他解决了庞加莱猜想,但他拒绝参加了2006年的数学家大会,所以虽然理论上说他拿到了菲尔兹奖,只是拒绝领奖了。这么说吧,千禧年难题随便证明一个,一个菲尔兹奖就稳定了。毕竟不发的话,公信力就真没了。”宁为解释道。
宁为的解释让一只沉默的柳唯都忍不住了,说道:“宁博士,你应该不是跟沃尔夫奖开过了玩笑,然后又想跟菲尔兹奖开玩笑吧?我虽然不懂数学,但是知道你之前在江大的时候一直都研究这个命题,而且有数学家评价你距离完全攻克这个问题只有一步之遥。”
这个问题让宁为彻底愣住了,扭头看着靠在墙边正看着他的柳唯,他突然发现这个世界人跟人之间的信任度已经跌到了冰点,他都已经解释的这么清楚了,身边的人竟然还不信这论文是三月完成的,这真的没地方说理了。
“不是,柳哥,我每天在研究什么你还不知道吗?我早就换了方向在人工智能这块了。我现在研究的是人工智能数学理论架构方面的问题,而且我最近也刚刚完成了一篇论文,是关于人工智能跟元宇宙的,另外我还在为宁班编订教材,我怎么可能有时间去继续推进这么个早就放弃的命题?”宁为决定要跟柳唯较真了。
“宁博士,别闹,你知道我不懂数学。你平时在研究什么我怎么可能看得懂?不过我知道你写论文很快是真的,也许你研究人工智能累了,所以换个脑子研究点别的方向呢?我经常在院子里听你跟其他博士就是这么建议的,比如你就跟周研平提议过,如果论文卡在某个地方,暂时无法继续下去了,不如花些时间去学习跟研究另一个领域,用这种方式休息大脑,比较容易走出死胡同。”
听了柳唯的话,宁为呆住了……
所以他现在要做的其实不是审核论文,而是证明这篇论文真的是三月完成的跟他完全没有关系?
话说……这特么得要怎么证明呢?