第120章(1 / 3)

该，就要急死你们！

“第四步，通用性验证——”

“利用NP完全问题间的「多项式时间归约」性质，对任意NP问题，先将其归约为SAT问题，再通过HMRA求解，最终将SAT解映射回原问题的解，全程保持多项式时间复杂度……”

有人小声询问彼得洛维奇，“他这个证明思路，有问题吗？”

彼得洛维奇摇头：“暂时没有任何问题，也有足够的理论支撑。”

附近几个脑袋都凑了过来，他们都想听大佬解释。

彼得洛维奇嘴角抽搐，心想这场报告会上的外行也太多了。

但他心情不错，还是好心的解说了起来，“他借鉴了代数几何中的希尔伯特零点定理，将逻辑约束转化为代数簇，也就是超曲面，确保高维空间中解的唯一性。”

“对偶归约步骤通过特征值分解，实现『指数级约束→多项式级约束』的降维，规避了传统算法的指数爆炸。”

“还有量子力学，他引入了量子比特向量和振幅计算，符合『高维映射』的核心逻辑。”

“总之，没有明显的逻辑漏洞，唯一的问题是，他创造的全新算法能够自我闭环，每个环节的复杂度均可证明为多项式级，且能迁移至所有NP完全问题，满足P=NP的证明要求。”

有人迟疑道：“他会公布算法吧？”

彼得洛维奇：“只要他想完成自己的证明，就必须公开算法。”

“那网络安全岂不是要爆炸？”

“不一定。”

彼得洛维奇摇头：“这位名叫谢知的少年，既然能编写出全新的算法，就不可能不知道这种算法的面世意味着什么，只要不是反社会人格，就一定会给HMRA添加安全锁。”

“那如果他选择不公开算法，而是直接上交国家呢？这样一来，华国在网络上可就无敌了！”

彼得洛维奇有点好笑：“网络无敌的前提，是现实中也无敌，不然只会让自己变成公敌。”

目前，网络虽然高速发展，但还没到主宰一国实力的地步。

华国就算得到了HMRA，也会被逼着公开的。

“莱拉，我要向你郑重的道谢。”

“感谢你，没有让我错过这场意义重大的报告会。”

卡特女士强行拉过来的朋友们都一改之前不以为然的态度，现在坐得板正，眼睛直勾勾的盯着讲台上面。

而博蒙母子，此时已经彻底懵逼了。

余寒走下讲台的时候，他们感觉大事不妙，伊莱亚斯承受着好友的白眼，博蒙女士也尴尬的低下了头。

可随着时间推进，大局逆转了！

谢知居然真的证明出了NP完全问题！

“伊莱亚斯，我要为我之前的态度向你道歉，你说的没错，这确实是一场不可错过的报告会。”

伊莱亚斯：“……”

他能说他也不知道吗？

哦，谢，你早说你那么厉害啊！

那他就不至于心心念念让余寒先生回归纯数学领域了，直接鞭策谢知，不更好吗？

博蒙女士则是发出幽幽叹息：“看来下一届菲尔兹奖，就是他的了……伊莱，你什么时候，能追赶上他的步伐呢？”

伊莱亚斯面无表情道：“等你证明黎曼猜想的时候。”

博蒙女士闭嘴了。

她证明黎曼猜想？都说了，这辈子没机会的。

所以……伊莱亚斯想要追上谢知，这辈子也是没有机会的。

下午三点，波士顿大学一号报告厅的总人数，已经达到了七百人，挤得满满的，不少人没位置坐，就靠墙站着。

而外面，还有源源不断的学者往这边赶。

最先受到影响的，是麻省理工报告厅里正在进行的那场讲座。

本来就只剩一半了，现在收到好友发过来的消息，顿时眼睛发红，站起来就往外跑。

这破讲座，谁爱听谁听！

反正他们一秒钟都待不下去了！

切尔夫的这场报告会，只进行了三分之一，还没进入主题，人就跑光了。

与此同时，后续要开讲座的学者们，也纷纷离去，走之前还任性的通知主办方，他们不干了。

主办方、主办方快要疯了。

为了组织好这场大型学术会议，他们提前半年就在联系那些学者，本来是打算中规中矩的完成，谁知天上掉馅饼，突然蹦出来一个『黎曼猜想已被证明』的噱头，吸引来了近万名学者，这一下就把他们的野心给点燃了。

他们不想中规中矩了，他们想见证奇迹。

为此，在切尔夫想要离开的时候，他们不惜交换余寒的报告会时间，也要留下这位自称已经证明黎曼猜想的“低调学者”。

他们想，就算切尔夫是骗人的，得罪一个华国年轻学者，也没什么大不了的。