……
杨学斌没有理会在场人的反应，他转身拿着记号笔，就在空白的白板上写了起来。
定理：P≠NP
证明：
假设与结论相反，即P=NP，我们将推导出一个矛盾。
若P=NP，则EXP??P/poly。
……
他使用的是反证法。
如果能够证伪P=NP，那自然就是P≠NP。
现实世界虽然没有人证明NP问题，但三体世界有人证明了，而且是杨冬证明的，杨学斌还是那篇论文的审稿人。
因为技术类记忆被模糊，杨学斌想不起论文的内容。
但结果他是知道的。
即P≠NP。
这也是目前绝大多数数学家和计算机学家都相信的直觉，或者说经验。
沙沙！
记号笔在白板上快速写着，留下一行行复杂的数学公式。
在‘数字空间’的加持下，杨学斌思维急速运转，无数灵感纷纷涌上心头，他感觉满脑子都是数学公式瀑布。
灵感来得太快太多，杨学斌只能跳着写才能跟上节奏。
但这可苦了在场的人。
那些顶级数学就还好，他们边看边运算，勉强能够跟得上节奏。
但非顶级数学家，很快就两眼懵逼。
尤其是那些只是来‘凑人头’的博士生，更是感觉自己在看天书，明明所有符号都认识，但连在一起就不知道是什么意思，更不知道上一步是如何推导出下一步的。
既然看不懂，那就放弃吧。
承认自己蠢，其实也不是什么很难的事情。
“麻蛋。在杨神面前，我感觉自己就像是个二傻子。不行，我要直播，我要让全世界的人都意识到他们也都是二傻子。”
“少年们，来感受数学的恐怖吧。”