NP问题与黎曼猜想不同,证明任何NP完全问题属于P(即证明P=NP),亦或者是证明其不属于P(即加强证明P≠NP),都将引发一场科学与社会的地震。
如果P=NP,那科技将会迎来爆发式的发展。
我们可以高效地在所有可能的证明中搜索到正确的那个,科学研究将进入一个高度自动化的新时代。
甚至包括音乐、绘画、小说等等的创作,都可以通过算法来完成。
NP完全问题虽然没有被证明,但目前主流是默认P≠NP。
像密码学等都是基于P≠NP。
像这种数学难题,且拥有极大科学应用价值的数学难题,证明的结果往往并不是那么重要,重要的是在证明中创造的方法。
总之。
若 P=NP,这把钥匙将打开一扇通往技术乌托邦/反乌托邦的大门,彻底重塑人类文明。
若 P≠NP,这把钥匙则将锁死一条想象中的捷径,迫使我们更智慧地面对世界的复杂性,并为我们已建立的数字世界提供最坚实的理论基石。
………
随着杨学斌话落,现场先是一片寂静,随后是集体哗然:
“卧槽,不是吧,杨神这是要现场证明NP完全问题?”
“Oh,mygod,我这一定是在做梦,他竟然要现场证明NP完全问题,接下来难道是要见证奇迹的时候?”
“连黎曼猜想都可以证明,理论上他是有能力证明NP完全问题的。乖乖,如果能够证明P=NP,别说是氦闪危机了,就算是即将超新星爆发我们都不怕。”
“P不可能等于NP,否则将意味着所有结构化的探索,本质上都可以被机械地压缩。也意味着,我们这个宇宙将失去深度,变得异常简单和脆弱。”
“NP完全问题,就像是上帝手中能够创世的钥匙。如果能够证明,我们将通往成神之路。但显然,上帝不可能将这枚钥匙交给我们。”
“既然杨敢现场证明,说明他还是有些想法和把握的。即便最后没有成功,也必然会推动这个问题的大发展,给后来人铺路。”
………
现场数学家们集体高潮了。
他们目光灼灼地看着杨学斌,希望这个现代的‘数学王子’能够再次创造奇迹。
或许人类的未来,就在这场学术报告中。
亦或者说,人类文明的未来就在杨学斌的记号笔尖上。
刘建明更是激动不已。
这将是近百年数学史上最高光的时刻。
他心中感叹,谁能想到几个月前还放浪形骸的杨学斌,转眼间就登顶了数学之巅,不仅证明了黎曼猜想,还将证明NP完全问题。
……
杨学斌没有理会在场人的反应,他转身拿着记号笔,就在空白的白板上写了起来。
定理:P≠ NP
证明:
假设与结论相反,即 P = NP,我们将推导出一个矛盾。
若 P = NP,则 EXP⊆ P/poly。
……
他使用的是反证法。
如果能够证伪P = NP,那自然就是P≠ NP。
现实世界虽然没有人证明NP问题,但三体世界有人证明了,而且是杨冬证明的,杨学斌还是那篇论文的审稿人。
因为技术类记忆被模糊,杨学斌想不起论文的内容。
但结果他是知道的。
即P≠ NP。