国际数学家大会延期举行，为了杨学斌今天的学术报告会，主办方特意准备了一间能够容纳千人的报告厅。
现场不仅有各国数学家，还有很多媒体记者。
甚至还有不少的计算机和物理学方面的科学家，这两个领域都是与数学联系极深的，实际上很多物理学家本身也是数学家。
讲台上，杨学斌拿着白板笔，重新证明NP完全问题。
因为手中拿着完整的论文，他并没有跳着证明，而是非常细致地进行推导，同时进行讲解，就像当初在论文答辩上讲黎曼猜想一样。
在场不少都是全球顶级的数学家，在杨学斌这样细致的讲解下，他们中有很多人都能够跟得上杨学斌的思路。
但更多的人，不明白的依旧听不明白。
直播间里，同样有数以百万计的人，大家都在看热闹：
“我去，这是人能理解的？如果杨神说的不是中文，我都怀疑穿越到异世界了。”
“虽然听不懂，但却津津有味。”
“都说科学的尽头是哲学，看来数学的尽头是英语啊。”
……
三个小时后。
“由此可证明，N≠NP。”
杨学斌终于讲完了，拿起矿泉水喝了口，说道：“证明就是这样，大家有什么疑问的地方，可以提问！”
唰唰！
不少的数学家纷纷举手。
“杨先生，您在引理1.1中，构造了从任意EXP语言到Circuit-SAT的归约。您能更详细地说明，这个归约是如何在多项式时间内统一地为所有输入长度生成电路的吗？是否存在某种非构造性的选择公理使用？”
“杨博士，您的证明核心依赖于两个‘外部’引理：1) P=NP⇒ EXP⊆ P/poly，2) MAEXP⊄ P/poly。如果这两个引理中任何一个在未来被发现存在瑕疵（即使原论文被广泛接受），您的整个证明就将崩塌。您有没有尝试寻找一条不依赖如此强外部引理的证明路径？”
“杨先生，您声称P=NP会导致PH完全坍缩至P，这是标准结果。但将MAEXP = EXP通过‘填充’技术提升时，输入长度的指数拉伸是否会引入新的复杂性？您是否隐含地假设了某种均匀性条件，而它与P/poly的非均匀性模型存在冲突？”
………
面对众人的询问，杨学斌沉着冷静地回答，也非常地详细。
如此又过了一个小时。
他再次喝了口水，问道：“大家还有没有问题？”
许久都没有人再举手。
刘建明见此，率先鼓起了掌！
啪啪！
随后，大家纷纷鼓掌。
就目前而言，大家都没有挑出杨学斌证明的破绽，其实并不代表这篇论文就完全正确了，接下来大家还会回去继续验证。
当有人完全弄懂的论文，才会宣布这篇论文的成功。
最后当有很多人都支持这篇论文，且没有人提出异议后，才算确定这篇论文是成功的，也就是得到全球数学界主流的认可。
杨学斌笑了笑。
他朝台下挥了挥手，便离开了报告厅。
刚走出报告厅，一个西装革履的中年华人便快步迎了上来：“杨博士您好，我是大使馆的工作人员徐翔，我们大使想见您，不知道您现在方不方便？”