第493章 突如其来的灵感
大家好，我是来自华国的顾苏一。苏一望着台下座无虚席，人头攒动的场面，微笑着说，我很荣幸受邀来到普林斯顿大学开展讲座。
说着，苏一没用普林斯顿大学提供的投影设备，而是用自己随身携带的设备。
投放的是3D效果，那些原本刻板的文字也变得有立体感，扭动间更是极具动画特色。
相信大家对我提出的顾氏猜想很感兴趣，那我会尽量地讲得浅显易懂些。苏一说着，虚空操作了起来，首先，我们先讲讲其中数论和信息学之间的联系
学术讲座向来是枯燥的，一些教授们或许能听懂，但是大部分的学生逐渐就跟不上苏一的思路了。
可偏偏苏一的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棋盘上）是指数时间完全的
苏一似乎忘记了时间。
直到
最后一步。
由此可证明：PNP,且成立！
第494章 事情的严重性
张渊此时此刻也忍不住呼吸一滞！
他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
苏一旁若无人，开始又重新检查其自己临时编写的证明步骤，她阅览的速度很快，几乎是一目十行，在场没人能够跟上她的速度。
她还时不时地就修改一些细节上的错误。
很快
论文草稿也随之诞生了。
如此激动人心的时刻，居然就这么猝不及防地诞生了。
张渊和另外几名华国教授也都激动得呼吸有些急促，尤其是坐在张渊旁边的陈教授连忙说：不行，老张，你得赶紧提醒小顾立马将论文发表到arVix上！
张渊猛然惊醒！
也意识到了事情的严重性。
虽然苏一是当着这么多人的面临时起意解开了P与NP问题，但是之前曾经闹出过证明思想被剽窃然后占为己用的事情，他们容不得任何这种可能性的局面出现！
防人之心不可无，必须要在第一时间先将这些证明步骤上传到arVix上做个备案。
张渊立刻起身，朝着讲台上走去。
陈教授也招了招手，立马将站在报告厅边上的蹇川等人叫了过去。
现场的气氛几乎在瞬间就有了些变化。
一一，快把投影关掉！张渊沉声道。
苏一蓦然一惊，回过神来才发现自己还开着投影呢，那她之前的证明步骤全都公布于众了。
倒也不是什么大问题。
只是
关于P与NP问题的证明，我看这篇论文草稿已经有了初稿的样子，你对arVix的论文格式十分地了解，我提议现在就上传到arVix做个备份。张渊的表情十分地严肃。
苏一立刻就明白了老师的顾虑。
可是现在还在交流会上苏一有些迟疑。
张渊失笑：交流会早就已经结束了，你刚刚沉浸在证明的过程里，大概不知道已经过去三个小时了，这会儿已经是下午了。
苏一连忙看了下电脑左下方显示的时间，果然啊
既然已经被迫终止了，那索性就按照老师说的办，先上传一份初稿吧，随后再进行修改。毕竟只要证明步骤没有错，基本上问题就不大。
苏一当即就开始迅速地修改论文格式，关于arVix的论文格式早就已经了然于心，所以几乎不用过多的思考，再将这份长达80几页的论文进行简单的润色，一篇足够发表在arVix上的论文就诞生了。
她登陆上了自己的arVix的账号，立刻上传并发表。
而就在她发表之后的一个小时里，一个新注册的小号果然也发表了一片关于P与NP问题的论文，几乎和苏一在学术讲座上的投影显示的内容一模一样！
只可惜苏一却还是抢先一步发表了。
而那个账号甚至还来不及实名认证，只是上传之后立马就有人跳出来质疑他抄袭，后者才发现原来顾苏一早就已经临时发表了PNP的证明论文。
恋耽美