穿书后(151)
穿书后,系统偏要逼我当学霸 作者:作者:骆小妖
穿书后(151)
但是如今却是三名知名数学教授,可见对方是真心想要开展学术讲座交流。
而他们给出的理由也很直白,苏一是二十一世纪以来首个提出数学猜想的华国人,再加上她的年轻有为,知名度可谓是在数学界十分之高。
苏一的年纪即使是放在普林斯顿也是十分年轻的,而她如今的成就用于激励普林斯顿大学的那些天才和妖孽们最合适不过了。
当然,在出发前,他们肯定会做好充足的准备。
而苏一索性提出不如乘坐沈家的私人飞机前往M国。
比起国家申请私人飞机手续的麻烦性,沈家的私人飞机飞往国外的手续就简单不少。而且就在前不久她还和沈彦庭乘坐私人飞机前往小岛度假。
相比较而言,安全性和私密性也是大大的提高了。
手续审批很快,几乎不到一天的时间就全部搞定。
沈彦庭知道她要出国之后,微微蹙眉,却没说什么,而是专门联系了沈英华和乔安娜。
乔安娜如今已经是乔家的新任家主,也是华尔街出名的华尔街女王,在她接管家族企业之后,乔家的实力更上一层楼。
而且乔家还涉及到一些地下产业,因此挑些合适的保镖绝对不成问题。
你放心,只要苏一来了M国,我绝对会保证她的安全,不让她受到任何的伤害。乔安娜笑着说。
小叔叔小彩虹甜甜嗲嗲的声音在电话里响起。
沈彦庭笑着应下。
小叔叔要来看小彩虹吗?小彩虹巴巴地问。
小叔叔最近很忙,暂时去不了,不过小婶婶会去看小彩虹,还给小彩虹带了礼物哦。
苏一也在旁边和小彩虹聊了好几句。
随后乔安娜就让保姆将人带走了。
我是去参加讲座和交流的,应该出不了什么事,毕竟也不止我一个人。苏一说。
小庭子考虑得挺周到的,毕竟你现在的身份不单是数学家,还是全息技术领域的第一人,这个技术有多重要,你应该很清楚。乔安娜沉声道。
苏一失笑。
事实证明,他们俩考虑得挺对的。
因为苏一刚到普林斯顿大学时,就有人突然从人群中出现朝着她扑了过来,手里还拿着一瓶液体
而随行的保镖立刻第一时间将人给按住了。
手中的瓶子掉落在地,里面的液体洒了出来,隐隐冒着白烟。
显然是硫酸。
这一突发变故让路过的学生老师们都傻了眼。
随后普林斯顿大学的校长、安德鲁院长,还有M国数学协会会长、SCI机构的负责人等齐齐黑了脸。
走在一起可是足足有十余人,来自不同的国家,这要是在普林斯顿大学出现了什么意外情况,他们在国际上的脸都丢尽了!
那人很快地就被带走了。
顾,你还好吧?安德鲁院长立刻关心地问。
我没事。苏一摇摇头,眸子微微眯起,那个人也是普林斯顿大学的学生吗?
我们会立刻展开调查,绝对会弄清楚今天的变故原因,给您一个合理的解释。
虽说她并不迷信,但是华国却也有个说法叫出师不利,讲座还没开始,苏一刚踏进普林斯顿大学的校门就发生了这种事情,隐隐让苏一生起一种不祥的预感。
在参观普林斯顿大学的过程中,苏一全程都表现得温婉大方,毕竟她曾经在这儿呆过三个月,也算是比较熟悉了。
然而等到回了酒店休息时,苏一却将自己的顾虑和蹇川说了。
蹇川深知苏一的重要性,不敢大意,立刻和国内联系。
苏一然后立刻查找出当时发生变故时附近的监控,通过人脸抓捕识别出那人的容貌,然后经过一番搜索,很快就确定了他的身份。
第492章 调查结果
连普林斯顿大学的学生都算不上,实际上是一个辍学的小混混,偷了某个学生的学生证溜进来的。
苏一几乎将这个人所有在网络上留下的痕迹都查了出来。
很快就发现了端倪。
他似乎和人达成过某种交易,而且是现金交易。
因为她在搜索匹配人脸的视频,再由222迅速筛选出有用视频的时候发现的。
在M国,不少小混混都会在小巷里交易购买或者贩卖一些违法的东西,但是数额通常都不多,然而那个视频里,对方可是直接给了一个装满现金的小手提箱。
初步估计最少也有五万的现金。
苏一仔细地看着视频,最后发现了那个白天出现过的装了硫酸的瓶子。
果然是冲着她来的。
用硫酸这种下三滥的手段,恐怕不是想要她的命,而是想毁她的脸或者是手吧。
苏一眉头紧蹙,她是女人,哪有女人不在意自己的容貌,如果不是来之前他们早就做好了充足的准备,说不定还真会被泼到。
哪怕只是一小块地方,留了疤,苏一心里肯定也是不舒服的。
至于那个人,因为光线和角度的原因,只能隐约看见半张脸,做人脸识别有些困难。
就在这时,大使馆给她打来了电话,将从警方那儿获得的消息都告诉了她。
侧写的人像也在小混混的描述下出现,然后在一起查找,最终查到了M国一家游戏公司,叫BX游戏公司。
苏一知道这家公司。
先前《绿洲》挑选海外游戏公司作为合作方时,其中备选方案就有BX游戏公司,但是经过调查之后发现BX的现任总裁威尔斯人品有问题,而且和朴信基还曾有过合作,所以就直接pass了。
最后才挑选了老牌游戏公司暴风雪。
没想到时隔这么久居然还会遭到BX游戏公司的报复。
苏一通过特殊渠道查了下这家公司。
原本BX游戏公司的在商圈的手段就属于比较卑劣的那种,名声并不算好,但是之前因为他崛起快,而且背后有大家族撑腰,所以没人敢说什么。
而暴风雪公司之前有几年的没落也是因为BX游戏公司高价将他们的几个主要工程师都给挖走了,而原本暴风雪公司正巧在制作一款新游戏,这就导致新游戏的计划直接腰斩了。
如果按照计划下去,BX游戏公司就会在那之后一两年内收购暴风雪公司,然而偏偏这个时候它和星辰科技合作了。
震惊全球的全息游戏《绿洲》上线了!
直接就让暴风雪游戏公司起死回生!
综合排名甚至直接就超过了BX游戏公司,为此还以牙还牙挖走了BX游戏公司不少员工,包括一个副总。
这些商圈的事情都是沈彦庭在闲暇时当做八卦和她说的。
而关于暴风雪游戏公司的反击,沈彦庭在其中可也出了不少力气,当然获得的报酬也是让沈彦庭十分之满意的。
苏一自从菲尔兹数学奖领奖之后就再也没有出过国,国内她被保护得滴水不漏,而如果BX游戏公司好不容易获得了苏一来到M国的消息,所以威尔斯一时脑子进了水居然采取这种市井小人的卑鄙手段。
妄图用硫酸毁掉她的手。
可她是靠脑子吃饭的啊!
苏一虽然不懂商场上那些弯弯绕绕的事情,但是不代表她是书呆子,只是她有一个在商场混得风生水起的老公,她不需要烦心这些事情。
听说这个威尔斯是董事会挑选出来明面上的总裁,只因为他的身份不一般,真正掌权的其实另有其人。
所以也难怪会做出这种小心眼又无脑的报复行为了。
苏一将这些资料全都发到了沈彦庭的邮箱,然后和他说了今天的事情。
既然只是个人报复性行为,就没必要劳烦国家出面了,就让她男人去解决好了。
当然,这份调查资料还给乔安娜也发了过去,她又不傻,受了欺负怎么可能就什么都不做呢,乔安娜是她大嫂,当然要好好地寻求安慰了。
第二天,苏一发现普林斯顿大学暗中隐藏的保镖和便衣警察又多了不少。
时不时就能发现带着蓝牙耳机窃窃私语交流的人。
这样一来,苏一也能安心地进行学术讲座了。
第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的证明论文。
恋耽美
穿书后(151)
穿书后(151)
但是如今却是三名知名数学教授,可见对方是真心想要开展学术讲座交流。
而他们给出的理由也很直白,苏一是二十一世纪以来首个提出数学猜想的华国人,再加上她的年轻有为,知名度可谓是在数学界十分之高。
苏一的年纪即使是放在普林斯顿也是十分年轻的,而她如今的成就用于激励普林斯顿大学的那些天才和妖孽们最合适不过了。
当然,在出发前,他们肯定会做好充足的准备。
而苏一索性提出不如乘坐沈家的私人飞机前往M国。
比起国家申请私人飞机手续的麻烦性,沈家的私人飞机飞往国外的手续就简单不少。而且就在前不久她还和沈彦庭乘坐私人飞机前往小岛度假。
相比较而言,安全性和私密性也是大大的提高了。
手续审批很快,几乎不到一天的时间就全部搞定。
沈彦庭知道她要出国之后,微微蹙眉,却没说什么,而是专门联系了沈英华和乔安娜。
乔安娜如今已经是乔家的新任家主,也是华尔街出名的华尔街女王,在她接管家族企业之后,乔家的实力更上一层楼。
而且乔家还涉及到一些地下产业,因此挑些合适的保镖绝对不成问题。
你放心,只要苏一来了M国,我绝对会保证她的安全,不让她受到任何的伤害。乔安娜笑着说。
小叔叔小彩虹甜甜嗲嗲的声音在电话里响起。
沈彦庭笑着应下。
小叔叔要来看小彩虹吗?小彩虹巴巴地问。
小叔叔最近很忙,暂时去不了,不过小婶婶会去看小彩虹,还给小彩虹带了礼物哦。
苏一也在旁边和小彩虹聊了好几句。
随后乔安娜就让保姆将人带走了。
我是去参加讲座和交流的,应该出不了什么事,毕竟也不止我一个人。苏一说。
小庭子考虑得挺周到的,毕竟你现在的身份不单是数学家,还是全息技术领域的第一人,这个技术有多重要,你应该很清楚。乔安娜沉声道。
苏一失笑。
事实证明,他们俩考虑得挺对的。
因为苏一刚到普林斯顿大学时,就有人突然从人群中出现朝着她扑了过来,手里还拿着一瓶液体
而随行的保镖立刻第一时间将人给按住了。
手中的瓶子掉落在地,里面的液体洒了出来,隐隐冒着白烟。
显然是硫酸。
这一突发变故让路过的学生老师们都傻了眼。
随后普林斯顿大学的校长、安德鲁院长,还有M国数学协会会长、SCI机构的负责人等齐齐黑了脸。
走在一起可是足足有十余人,来自不同的国家,这要是在普林斯顿大学出现了什么意外情况,他们在国际上的脸都丢尽了!
那人很快地就被带走了。
顾,你还好吧?安德鲁院长立刻关心地问。
我没事。苏一摇摇头,眸子微微眯起,那个人也是普林斯顿大学的学生吗?
我们会立刻展开调查,绝对会弄清楚今天的变故原因,给您一个合理的解释。
虽说她并不迷信,但是华国却也有个说法叫出师不利,讲座还没开始,苏一刚踏进普林斯顿大学的校门就发生了这种事情,隐隐让苏一生起一种不祥的预感。
在参观普林斯顿大学的过程中,苏一全程都表现得温婉大方,毕竟她曾经在这儿呆过三个月,也算是比较熟悉了。
然而等到回了酒店休息时,苏一却将自己的顾虑和蹇川说了。
蹇川深知苏一的重要性,不敢大意,立刻和国内联系。
苏一然后立刻查找出当时发生变故时附近的监控,通过人脸抓捕识别出那人的容貌,然后经过一番搜索,很快就确定了他的身份。
第492章 调查结果
连普林斯顿大学的学生都算不上,实际上是一个辍学的小混混,偷了某个学生的学生证溜进来的。
苏一几乎将这个人所有在网络上留下的痕迹都查了出来。
很快就发现了端倪。
他似乎和人达成过某种交易,而且是现金交易。
因为她在搜索匹配人脸的视频,再由222迅速筛选出有用视频的时候发现的。
在M国,不少小混混都会在小巷里交易购买或者贩卖一些违法的东西,但是数额通常都不多,然而那个视频里,对方可是直接给了一个装满现金的小手提箱。
初步估计最少也有五万的现金。
苏一仔细地看着视频,最后发现了那个白天出现过的装了硫酸的瓶子。
果然是冲着她来的。
用硫酸这种下三滥的手段,恐怕不是想要她的命,而是想毁她的脸或者是手吧。
苏一眉头紧蹙,她是女人,哪有女人不在意自己的容貌,如果不是来之前他们早就做好了充足的准备,说不定还真会被泼到。
哪怕只是一小块地方,留了疤,苏一心里肯定也是不舒服的。
至于那个人,因为光线和角度的原因,只能隐约看见半张脸,做人脸识别有些困难。
就在这时,大使馆给她打来了电话,将从警方那儿获得的消息都告诉了她。
侧写的人像也在小混混的描述下出现,然后在一起查找,最终查到了M国一家游戏公司,叫BX游戏公司。
苏一知道这家公司。
先前《绿洲》挑选海外游戏公司作为合作方时,其中备选方案就有BX游戏公司,但是经过调查之后发现BX的现任总裁威尔斯人品有问题,而且和朴信基还曾有过合作,所以就直接pass了。
最后才挑选了老牌游戏公司暴风雪。
没想到时隔这么久居然还会遭到BX游戏公司的报复。
苏一通过特殊渠道查了下这家公司。
原本BX游戏公司的在商圈的手段就属于比较卑劣的那种,名声并不算好,但是之前因为他崛起快,而且背后有大家族撑腰,所以没人敢说什么。
而暴风雪公司之前有几年的没落也是因为BX游戏公司高价将他们的几个主要工程师都给挖走了,而原本暴风雪公司正巧在制作一款新游戏,这就导致新游戏的计划直接腰斩了。
如果按照计划下去,BX游戏公司就会在那之后一两年内收购暴风雪公司,然而偏偏这个时候它和星辰科技合作了。
震惊全球的全息游戏《绿洲》上线了!
直接就让暴风雪游戏公司起死回生!
综合排名甚至直接就超过了BX游戏公司,为此还以牙还牙挖走了BX游戏公司不少员工,包括一个副总。
这些商圈的事情都是沈彦庭在闲暇时当做八卦和她说的。
而关于暴风雪游戏公司的反击,沈彦庭在其中可也出了不少力气,当然获得的报酬也是让沈彦庭十分之满意的。
苏一自从菲尔兹数学奖领奖之后就再也没有出过国,国内她被保护得滴水不漏,而如果BX游戏公司好不容易获得了苏一来到M国的消息,所以威尔斯一时脑子进了水居然采取这种市井小人的卑鄙手段。
妄图用硫酸毁掉她的手。
可她是靠脑子吃饭的啊!
苏一虽然不懂商场上那些弯弯绕绕的事情,但是不代表她是书呆子,只是她有一个在商场混得风生水起的老公,她不需要烦心这些事情。
听说这个威尔斯是董事会挑选出来明面上的总裁,只因为他的身份不一般,真正掌权的其实另有其人。
所以也难怪会做出这种小心眼又无脑的报复行为了。
苏一将这些资料全都发到了沈彦庭的邮箱,然后和他说了今天的事情。
既然只是个人报复性行为,就没必要劳烦国家出面了,就让她男人去解决好了。
当然,这份调查资料还给乔安娜也发了过去,她又不傻,受了欺负怎么可能就什么都不做呢,乔安娜是她大嫂,当然要好好地寻求安慰了。
第二天,苏一发现普林斯顿大学暗中隐藏的保镖和便衣警察又多了不少。
时不时就能发现带着蓝牙耳机窃窃私语交流的人。
这样一来,苏一也能安心地进行学术讲座了。
第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的证明论文。
恋耽美
穿书后(151)