该，就要急死你们！


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


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


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


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


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


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


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


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


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


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


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


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


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


    “不一定。”


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


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


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


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


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


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


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


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


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


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


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


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


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


    伊莱亚斯：“……”


    他能说他也不知道吗？


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


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


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


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


    博蒙女士闭嘴了。


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


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


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


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


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


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


    这破讲座，谁爱听谁听！


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


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


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


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


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


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


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


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


    可现在，事情发展好像超出了他们的控制范围。


    先是切尔夫屁话啰嗦的在台上讲一些与黎曼猜想无关的笑话，惹毛了一群脾气不好的学者，紧接着是波士顿大学那边流传出来的消息——余寒的师弟——那个叫谢知的小孩，疑似完成了NP完全问题的证明？！


    这简直就是晴天霹雳。


    如果他们没有记错的话，余寒是给他师弟写了推荐书，申请在第十天举办报告会。


    可他们没说那场报告会的主题是证明P＝NP啊！


    早知道、早知道……


    唉。


    千金难买早知道！


    现在他们只能盼望，谢知的证明是错误的，就像切尔夫一样。


    “fuck！fuck！”


    “究竟是谁提出跟余寒交换讲座时间的？！”


    “如果那个小孩真的完成了证明，那我们就完了……我们会被全世界群嘲的！”


    “你，快去波士顿打听消息！”


    “你，去把那个叫切尔夫的蠢货给我赶下来！台下都没人了，还在上面扯什么鸡呢？！”


    “你，去监控网络动态，务必把针对我们的舆论给压下去！”


    “你，去联系我们这边的学者，让他们过来开讲座，这场会议不能终止，说好了是十天，就一定要熬到十天！”


    “还有你，立刻给我组织语言，去跟余寒先生道歉！！！”


    短短一个小时，攻守易形了。


    ----------------------------------------


    第99章 代码


    “现在，我将用HMRA快速解决RSA的大数分解问题……”


    将大数分解归约为SAT问题，谢知当众展示通过HMRA算法，在秒级内拆解两个大质数。


    验证成功！


    台下掌声轰鸣。


    他们都知道，今天的这场报告会，将会被历史铭记。


    “下面，公布算法——”


    谢知说出这句话后，全场寂静。


    所有人目光灼灼，期待着奇迹算法——HMRA的面世。


    谢知轻笑一声，“当然，不是源代码，是可复现的代码。”


    可复现代码——指别人下载后，按要求操作，能精准得到和谢知一模一样的精度、运行时间等结果，而非仅能运行的“可执行代码”。


    所以公布可复现的代码，是学术研究验证真实性的核心要求。


    【python】


    【class HolographicMappiion:


    def __init__(self, epsilon=1e-9):


    ……】


    一行行精妙到至极的代码被投影在谢知身后，但所有人都知道，这只是一部分，他不会公布完整的全部代码。


    果然，过了一会儿，投影的内容就从python跳到了plai。


    【HMRA_Algorithm/ # 根目录】


    【core/ # 核心算法代码】


    【hmra.py # HMRA算法主逻辑】


    【utils.py # 辅助工具函数】


    【 data/ # 测试数据】


    【test_dataset.csv # 公开测试数据】


    【data_readme.md # 数据格式说明】


    【main.py # 运行入口文件】


    【……】


    台下响起电脑的敲击声。


    谢知知道他们在进行算法验证。


    他没继续说什么，走下讲台，来到师兄面前，小声问：“师兄，我表现的怎么样？”


    余寒朝他竖起大拇指：“你是这个。”


    谢知笑嘻嘻的接受了师兄的夸奖，并扒拉开师兄的小拇指，让他作出六的手势：“我是这个啦。”


    余寒笑着比划了一个六：“好，六六大顺。”


    听到旁边师兄弟有趣的对话，彼得洛维奇睁大有些浑浊的双眼，朝谢知望了过去。


    “谢先生，冒昧问一句，您今年多大了？”


    谢知扭头，发现是那个听得最认真的老爷爷，便道：“十一岁。”


    彼得洛维奇叹了口气，“你们华国有句话说得好，叫后生可畏，以前我还不理解这句话的意思，现在看到你，总算明白了。”


    “果然是后生可畏啊。”


    他今年七十二岁了，在计算机领域可以说是不折不扣的大佬，可扪心自问，他编不出那样的代码。