科技帝国从穿越三体开始 第252章

  郝晓晞暗忖。

  学长可是个沉着稳重的人,不可能做没把握的事情。

第398章 动了,杨神他动了!

  北京。

  中科院量子计算机研究所。

  算法与模型组群,有个人忽然发了条信息@了所有人:“所有人,去斗音看热榜第一,杨学斌杨神在国际数学家大会上现在直播证明NP完全问题。”

  马兆和图恒宇也被惊动了,都停下来手中的工作,进入了证明直播间。

  很快,群里就沸腾了。

  “这杨学斌还是不是人了,才证明黎曼猜想几个月,竟然又要证明NP完全问题。”

  “天呐,杨神是怎么做的。我每天下班后都是倒头就睡,他竟然还有闲工夫研究世纪数学难题,他难道不睡的么?”

  “有没有一种可能,他随便研究研究,相当于我们辛苦好几年?”

  “不要啊。550A眼看就要完成了,现在杨神又要证明NP完全问题,这可是直接关系到算法的研究,我们岂不是又要重新再搞?”

  …………

  虽然说也可以直接替换算法,但如果算法太先进,其他模块肯定也要优化升级才行,否则没办法发挥出算法的最大作用。

  搞人工智能,结果发现各组竟然跟不上算法的迭代速度,这就是稀奇了。

  还是马兆在群里发信息:“550A按计划扫尾,如果杨学斌真能证明NP完全问题,可以将新算法应用到550B上。”

  “好,太好了!”

  图恒宇紧握拳头,兴奋不已。

  果然,请马兆邀请杨学斌入职,是他这些年做出最正确的决定。

  如果不是杨学斌,550系列怎么可能会发展这么快,550A还没有扫尾,550B计划就已经有下落了。

  或许要不了多少年,他就能够女儿完整的一生。

  而不是冷冰冰的数据。

  ………

  国际数学家大会。

  报告厅。

  正在奋笔疾书的杨学斌突然动作一顿,手中的白板笔举在半空中,因为NP完全问题的证明进入了关键点。

  他脑海中并非没有了灵感,也并非没有了思路,而是思路太多,灵感太多,他需要进行筛选,选择一条正确的路线继续证明下去。

  这是现场证明,不是自己做研究,还可以推倒重来。

  但他不知道,自己这个动作,确实牵动了在场,甚至是全球数以百计正在看直播人的心。

  “怎么回事,杨神怎么停下来了,我正看得起劲呢?”

  “糟糕,不会是陷入绝境了吧?”

  “哈哈,果然是跳梁小丑,这下傻眼了吧。”

  “蠢货。即便证明到此为止,杨神所作的证明依然可以极大的推动NP完全问题证明的进程,具有历史价值。”

  ……

  现场并无议论声。

  在大家看来,被难住才是正常,先前那样奋笔疾书才是不正常的。

  这是证明数学难题,又不是打螺丝,只要还有力气,手里的活就能够干个不停,像他们曾经十天半个月都推导不出下一步公式的都大有人在。

  但不知道怎么的,他们的心都被揪了起来。

  他们暗暗祈祷,千万要成功。

  在氦闪危机的当下,NP完全问题不仅仅是数学界的问题,更关系到人类文明的生死存亡,因为它直接关系到算法,关系到人工智能。

  证明到现场,现场早已经没有人跟得上节奏,但他们也知道,杨学斌正在构建一种新的数学工具,并且前面已经创造了三个小工具。

  这些小工具都能应用计算机算法、芯片制造、蛋白质预测等领域。

  ……

  联合政府。

  “晓晞,晓晞!”

  “啊……啊……周老师。”

  郝晓晞连忙放下手机,站了起来道歉道:“不好意思周老师,您有什么吩咐?”

  周喆直倒没有生气,而是好奇道:“在看什么,看得这么入迷?”

  “是学长。他在今天的学术报告上现场证明NP完全问题,只是不知道为什么忽然停了下来,我因为担心才走神了。”

  郝晓晞说着,还把直播画面给周喆直看。

  周喆直淡淡点了点头,问道:“NP完全问题,也是像黎曼猜想一样的数学难题?”

  郝晓晞点头道:“嗯,都是七大数学难题。在难度,NP完全问题要比黎曼猜想低,但实际应用价值却更高,尤其是在人工智能和芯片设计等方面。”

  她刚开始也不是很了解,还是有人在直播间做科普才知道这个数学难题竟然这么重要。

  “是嘛,这学斌啊,还真是厉害。”

  周喆直不由笑道。

  能被称为世纪难题,困扰全球数学界上百年,甚至是数百年,尤其可就其难度,可杨学斌却能在短时间内要连破两道,不得不说是种神话。

  这个杨学斌,当真是不简单。

  郝晓晞情绪有些低落道:“可是,学长现在停了下来,似乎到了证明的关键阶段,很多人都在直播间说学长要失败。”

  周喆直闻言笑了笑:“他们说杨学斌要失败,莫非他们比杨学斌还要厉害?不要听他们搬弄是非,你要相信他。走吧,要开会了。”

  ………

  国际数学家大会。

  报告厅。

  杨学斌早已经闭上了眼睛,此刻他的大脑就像是一台超级计算机,海量数学公式疯狂刷过,快速验证着一种种可能性。

  他要从各种可能性中,找出正确的路线。

  在本质上而言,这何尝不是在验证NP完全问题。

  时间一点点过去。

  台下依旧寂静无声,唯有直播间吵翻了天。

  支持杨学斌和反对杨学斌的人,甚至是连数字派都冒了出来,毫无差别的进行攻击。

  足足半个小时。

  杨学斌再次睁开了眼睛,迸发出前所未有的明亮光芒

  沙沙!

  他手中的白板笔,再次在白板上快速写了起来。

  “动了!动了,杨神他动了!”

  “哈哈哈,我就知道,杨神绝不会让我们失望的。”

  “卧槽,太激动了,这是要见证历史。现场证明七大世纪难题之一,这不仅是前无古人,恐怕也是后无来者吧。”

  “好,好,我们数学界又有重大进步了。这届国际数学家大会,是开得最有意义,最有价值的一次。”

  ……

  无论是现场还是网上,人们都沸腾了起来。

  一块块白板被写满数学公式,幸好有工作人员在一旁随时擦拭,否则台上的四块白板早就写满了。

  至于被擦拭的内容,早就用摄像机录制了下来。

  按道理来说,这写满证明NP完全问题的公式都可以算得上是珍贵文物了,不应该擦拭,而是收藏起来才是。

  但更换白板有些麻烦。

  为了避免打扰到杨学斌,主办方也只能选择擦拭了。

第399章 他做到了!

  半个小时后。

  杨学斌写下来最后一行公式,并给出结论:P≠ NP。

  当最后一笔落下时,他感觉脑袋昏沉沉的,就像是肝了三天三夜一般。

  证明NP完全问题,实在是太耗神了。

  前几天的小组讨论中,他虽然有些灵感,但也仅仅只是灵感,而他刚刚却是现场证明了,相当于将个把月的工作,压缩到了短短一个多小时中。

  如此超强的负荷,他不感觉累才怪。

  杨学斌转身,脸色微微有些发白。

  他看着台下目瞪口呆,寂静无声的人们,努力挤出几分笑容道:“今天的学术报告会就先这样了,我有些累,先回酒店休息。”

  将手中的白板笔一扔,杨学斌便径直离开报告厅。

  直到这时。

  大家才如梦初醒。

  刘建明最先反应过来,对身后几排的博士生喊道:“顾年洲,傻看着什么,还不送你师兄去酒店。”

  “哦哦!”

  顾年洲抓起手机就冲了出去:“师兄,等等我。”

  轰!

  也是直到这时,也不知道谁先鼓掌,紧接着就是雷鸣般的掌声。

  报告厅沸腾了。

  “oh,myGod!他做到了,他证明了!这简直就是个奇迹!”

  “虽然还没有得到验证,无法最终确定是否真证明了,但以杨神的段位,他说证明了就肯定是证明了,看不懂也是我们的问题。”

  “我尼玛,这太让人激动了,虽然我什么也看不懂,那就是感觉厉害。”

  “兄弟,你那叫不明觉厉。”

  “果然只有取错的名字,没有取错的外号。杨神不愧是杨神,我愿称呼他为数学之神!”

  “连接攻克两大世界难题,这剩下的五个,估计也是手拿把掐吧。”

  ………

  “诶!”

  刘建明用手肘撞了撞身旁的老美数学泰斗:“威廉,这个证明你怎么看?”

  威廉满脸白色的络腮胡,眯着个小眼睛:“刘,我感觉你在炫耀,但我没证据。我怎么看?也得我能看得懂啊,你呢?”

  刘建明的嘴角径直上翘,根本压不住:“嘿嘿。你可是老美数学界第一人,连你都看不懂,我又怎么看得懂。不过也正常,因为是现场证明,学斌他的证明过程都是跳着来的,不像《黎曼猜想的证明》就跟教小学数学题似的。”

  “嘿,刘!”

  这时,刘建明前面的主办方,也是国际著名的数学家约瑟夫说道:“看来我们国际数学家大会要延期一天了。明天颁奖照常进行,后天再让杨开个学术报告会怎么样?

  刚好顺道,省的大家以后走动。

  而且没有杨的解说,我们想要完全看明白证明过程,至少得花个把月的事情,甚至是更长时间都有可能。”

  刘建明点头道:“嗯,也只能如此了。”

  “同意!”