飘沐小说网

穿书后，系统偏要逼我当学霸 第237节（第4页）

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

and证明的每一步合法

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

then

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

……

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

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

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

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

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

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

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

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

苏一似乎忘记了时间。

直到……

最后一步。

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

第494章 事情的严重性

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

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

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

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。

相邻推荐:一人生还(犯罪，nph)  美人冢（NPH）  玉乱宫帷，凤斗六宫  破罐破摔  槐风  《阉臣当道》作者：布丁牛奶（年下权谋，奶狗转狼狗皇帝攻X蛇蝎病美人太监受）  艳杀（1v1，女强年下）  催眠修改常识游戏 作者：没有名字  年下饿犬（骨科）  入星河(1V1 SC H)  风流小道姑（古风gl）  一岁一歌(兄妹)  穿书之原来我不是炮灰  坏女孩（校园1v1H）  05.《台风眼》作者：潭石  我和我自己灵魂互穿了[娱乐圈]  〔完结〕战俘营的奴隶〔重口_高H〕 作者：阿嘟嘟 [美食, 轻松, 现实, 惊悚, 正剧]  逃离异世界（无限流）  穿越西幻种田养崽崽  [附带番外]《掌心素（双重生）》作者：八街九陌