手机浏览器扫描二维码访问
第237节（第3页）
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np，且成立！
第494章事情的严重性
张渊此时此刻也忍不住呼吸一滞！
他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
追寻ONLINE之曇花一现 明争暗秀 雨之城 梦回以返 逃离异世界（无限流） 重回十三岁 配角 艳杀（1v1，女强年下） 矜持 偽装快乐 月如玉卷二之泰北归途 恶魔外甥倒霉舅舅 错时空的儿子们回来了 玉乱宫帷，凤斗六宫 他儿子有个亿万首富爹 近在咫尺的幸福 【他】是我老婆 丁薇记事 婚徒 分明偏爱（伪骨科H）
弃婿归来
蛰伏3年，只等一朝！三年前被抛弃的江浩，三年后强势归来。拿回本该属于他的，摧毁阻挠他的一切。女人，金钱，权利，他统统要了！...
史上最强修仙
史上最强修仙简介emspemsp关于史上最强修仙未婚妻与表哥将我害死后，我在修仙界一梦八百载，带着无尽底蕴重生强势归来首发po18vipxyzωoо1⒏υip...
神医狂妃有点野
神医狂妃有点野简介emspemsp关于神医狂妃有点野被所爱之人爆头是什么体会？上一世的顾浔所爱非人，无人收尸。重活一世，她发誓再也不会相信任何人！废材？她直接取代了渣姐成为天才少女。神器，丹药，萌宠，医书，通通信手拈来，所有欺...
嫡女无双：妖孽王爷请让道
嫡女无双妖孽王爷请让道简介emspemsp嫡女无双妖孽王爷请让道是青霞云的经典其他类型类作品，嫡女无双妖孽王爷请让道主要讲述了一朝重生，凤凰涅槃，朝堂之上，能言善辩，一挽狂澜。医术武功青霞云最新鼎力大作，年度必看其他类型。PO1...
傅总，你的娇妻又爬墙了
傅总，你的娇妻又爬墙了简介emspemsp关于傅总，你的娇妻又爬墙了新婚之夜上错床，直接晋级成首富少奶奶傅总对这位娇妻十分满意，就爱看她怼人的模样。斗继母，气情敌，助破案，背后还有个大靠山法医博士X首富冷少，夫妻甜蜜互怼日常，强势来袭...
妻主强撩，农家夫郎吃不消
末世归来。凌淼淼一心只想守着夫郎好好过日子。可身份使然，她存在的意义注定不能只安己身。治病救人，救灾卖药带领夫郎，家人，村里人，发家扬名。这名啊，一不下心就扬到了女帝耳里。什么？皇位要给她坐？这女帝，怕不是个憨憨？女主能力强，性格对外强硬，对夫郎娇柔。人设使命，要与人为善，不是圣母！（分不清圣母...