第四百二十二章：郝晓晞的震惊(3/3)

SAT的归约。您能更详细地说明，这个归约是如何在多项式时间内统一地为所有输入长度生成电路的吗？是否存在某种非构造性的选择公理使用？”

  “杨博士，您的证明核心依赖于两个‘外部’引理：1)P=NP??EXP??P/poly，2)MAEXP??P/poly。如果这两个引理中任何一个在未来被发现存在瑕疵（即使原论文被广泛接受），您的整个证明就将崩塌。您有没有尝试寻找一条不依赖如此强外部引理的证明路径？”

  “杨先生，您声称P=NP会导致PH完全坍缩至P，这是标准结果。但将MAEXP=EXP通过‘填充’技术提升时，输入长度的指数拉伸是否会引入新的复杂性？您是否隐含地假设了某种均匀性条件，而它与P/poly的非均匀性模型存在冲突？”

  ………

  面对众人的询问，杨学斌沉着冷静地回答，也非常地详细。

  如此又过了一个小时。

  他再次喝了口水，问道：“大家还有没有问题？”

  许久都没有人再举手。

  刘建明见此，率先鼓起了掌！

  啪啪！

  随后，大家纷纷鼓掌。

  就目前而言，大家都没有挑出杨学斌证明的破绽，其实并不代表这篇论文就完全正确了，接下来大家还会回去继续验证。

  当有人完全弄懂的论文，才会宣布这篇论文的成功。

  最后当有很多人都支持这篇论文，且没有人提出异议后，才算确定这篇论文是成功的，也就是得到全球数学界主流的认可。

  杨学斌笑了笑。

  他朝台下挥了挥手，便离开了报告厅。

  刚走出报告厅，一个西装革履的中年华人便快步迎了上来：“杨博士您好，我是大使馆的工作人员徐翔，我们大使想见您，不知道您现在方不方便？”