北京。
中科院量子计算机研究所。
算法与模型组群,有个人忽然发了条信息@了所有人:“所有人,去斗音看热榜第一,杨学斌杨神在国际数学家大会上现在直播证明NP完全问题。”
马兆和图恒宇也被惊动了,都停下来手中的工作,进入了证明直播间。
很快,群里就沸腾了。
“这杨学斌还是不是人了,才证明黎曼猜想几个月,竟然又要证明NP完全问题。”
“天呐,杨神是怎么做的。我每天下班后都是倒头就睡,他竟然还有闲工夫研究世纪数学难题,他难道不睡的么?”
“有没有一种可能,他随便研究研究,相当于我们辛苦好几年?”
“不要啊。550A眼看就要完成了,现在杨神又要证明NP完全问题,这可是直接关系到算法的研究,我们岂不是又要重新再搞?”
…………
虽然说也可以直接替换算法,但如果算法太先进,其他模块肯定也要优化升级才行,否则没办法发挥出算法的最大作用。
搞人工智能,结果发现各组竟然跟不上算法的迭代速度,这就是稀奇了。
还是马兆在群里发信息:“550A按计划扫尾,如果杨学斌真能证明NP完全问题,可以将新算法应用到550B上。”
“好,太好了!”
图恒宇紧握拳头,兴奋不已。
果然,请马兆邀请杨学斌入职,是他这些年做出最正确的决定。
如果不是杨学斌,550系列怎么可能会发展这么快,550A还没有扫尾,550B计划就已经有下落了。
或许要不了多少年,他就能够女儿完整的一生。
而不是冷冰冰的数据。
………
国际数学家大会。
报告厅。
正在奋笔疾书的杨学斌突然动作一顿,手中的白板笔举在半空中,因为NP完全问题的证明进入了关键点。
他脑海中并非没有了灵感,也并非没有了思路,而是思路太多,灵感太多,他需要进行筛选,选择一条正确的路线继续证明下去。
这是现场证明,不是自己做研究,还可以推倒重来。
但他不知道,自己这个动作,确实牵动了在场,甚至是全球数以百计正在看直播人的心。
“怎么回事,杨神怎么停下来了,我正看得起劲呢?”
“糟糕,不会是陷入绝境了吧?”
“哈哈,果然是跳梁小丑,这下傻眼了吧。”
“蠢货。即便证明到此为止,杨神所作的证明依然可以极大的推动NP完全问题证明的进程,具有历史价值。”
……
现场并无议论声。
在大家看来,被难住才是正常,先前那样奋笔疾书才是不正常的。
这是证明数学难题,又不是打螺丝,只要还有力气,手里的活就能够干个不停,像他们曾经十天半个月都推导不出下一步公式的都大有人在。
但不知道怎么的,他们的心都被揪了起来。
他们暗暗祈祷,千万要成功。
在氦闪危机的当下,NP完全问题不仅仅是数学界的问题,更关系到人类文明的生死存亡,因为它直接关系到算法,关系到人工智能。
证明到现场,现场早已经没有人跟得上节奏,但他们也知道,杨学斌正在构建一种新的数学工具,并且前面已经创造了三个小工具。
这些小工具都能应用计算机算法、芯片制造、蛋白质预测等领域。
……