郝晓晞暗忖。
学长可是个沉着稳重的人,不可能做没把握的事情。
第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!他做到了,他证明了!这简直就是个奇迹!”
“虽然还没有得到验证,无法最终确定是否真证明了,但以杨神的段位,他说证明了就肯定是证明了,看不懂也是我们的问题。”
“我尼玛,这太让人激动了,虽然我什么也看不懂,那就是感觉厉害。”
“兄弟,你那叫不明觉厉。”
“果然只有取错的名字,没有取错的外号。杨神不愧是杨神,我愿称呼他为数学之神!”
“连接攻克两大世界难题,这剩下的五个,估计也是手拿把掐吧。”
………
“诶!”
刘建明用手肘撞了撞身旁的老美数学泰斗:“威廉,这个证明你怎么看?”
威廉满脸白色的络腮胡,眯着个小眼睛:“刘,我感觉你在炫耀,但我没证据。我怎么看?也得我能看得懂啊,你呢?”
刘建明的嘴角径直上翘,根本压不住:“嘿嘿。你可是老美数学界第一人,连你都看不懂,我又怎么看得懂。不过也正常,因为是现场证明,学斌他的证明过程都是跳着来的,不像《黎曼猜想的证明》就跟教小学数学题似的。”
“嘿,刘!”
这时,刘建明前面的主办方,也是国际著名的数学家约瑟夫说道:“看来我们国际数学家大会要延期一天了。明天颁奖照常进行,后天再让杨开个学术报告会怎么样?
刚好顺道,省的大家以后走动。
而且没有杨的解说,我们想要完全看明白证明过程,至少得花个把月的事情,甚至是更长时间都有可能。”
刘建明点头道:“嗯,也只能如此了。”
“同意!”
上一篇:LOL:我职业打其他游戏不行?
下一篇:返回列表