穿书后系统偏要逼我当学霸 第237节（2 / 2）

的文字也变得有立体感，扭动间更是极具动画特色。

“相信大家对我提出的‘顾氏猜想’很感兴趣，那我会尽量地讲得浅显易懂些。”苏一说着，虚空操作了起来，“首先，我们先讲讲其中数论和信息学之间的联系……”

学术讲座向来是枯燥的，一些教授们或许能听懂，但是大部分的学生逐渐就跟不上苏一的思路了。

可偏偏苏一的ppt却十分地有趣，就像是看3d动画似的，那些文字和符号仿佛都赋予了生命，十分地鲜活，到了最后索性当成是在看数学动画了。

所以这也导致并没有出现那种学术讲座讲到一半整个报告厅睡过去一大半人的场景。

事实上，苏一提出的“顾氏猜想”也只有少部分教授感兴趣，听得津津有味，时不时还能提出一两句疑问。

不过讲座的时间有限，之后的提问交流环节基本上就是她和那些教授们的讨论。

“普林斯顿大学计算机系楼将二进制代码表述的“p=np?”问题刻进顶楼西面的砖头上。如果证明了p=np，砖头可以很方便的换成表示“p=np！，顾教授，您怎么看呢？”

提出来的是一名普林斯顿大学信息学方面的教授。

事实上，苏一的博士生课题并不算什么秘密，不少人都知道她正在研究“p与np问题”，而她之前提出的顾氏猜想和这个也有一定的联系，所以他们也很想知道苏一的课题研究究竟进行到了哪一步。

“关于贵校的这个证明，我也有所研究，其实我们可以采用反证法，假设p=np。令y为一个p=np的证明。证明y可以用一名合格的计算机科学家在多项式时间内验证，我们认定这样的科学家的存在性为真。但是……”

这些教授们听得十分认真，时不时地点点头。

然而台下的其他学生和老师们则是一脸懵逼，每一个单词他们都能听懂，可是连在一起又是什么意思？

到了这一步，似乎已经没有再待下去的必要了？

有了第一个人提前退场离开，后面陆陆续续地也有不少学生离开了学术报告厅，而这一幕他们并没有放在心上。

也还有一些出于素质和礼貌的学生并没有提前退场。

“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”

苏一的声音忽然戛然而止。

正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。

“抱歉，我好像……似乎有思路了。”

思路？

什么思路？

所有人都一头雾水。

苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。

她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。

if程序输出一个完整的数学证明

and证明的每一步合法

and结论是s确实有（或者没有）一个和为0的子集

then

output是（或者不是如果那被证明了）并停机

……

很快，他们也明白讲台上这位华国女孩讲的思路是什么了。

她居然在证明“p与np的问题”！

在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。

台下的学生们更加懵逼了。

有种他们似乎并不在一个世界上的错觉。

整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。

在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。

而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……

苏一似乎忘记了时间。

直到……

最后一步。

由此可证明：p≠np,且成立！

事情的严重性

张渊此时此刻也忍不住呼吸一滞！

他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！

而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。