手机浏览器扫描二维码访问
第237节（第3页）
“如果以s为输入运行程序数pn，if程序输出一个不同的整数的列表，and所有整数都在s中，and整数的和为0……”
苏一的声音忽然戛然而止。
正在讨论的教授们都看着她，眼里浮现一抹疑惑之色。
“抱歉，我好像……似乎有思路了。”
思路？
什么思路？
所有人都一头雾水。
苏一说着，忽然间就不顾形象地跑到了讲台上，然后开始在自己的电脑上操作起来。
她的电脑还是连接着投影设备的，所以她所编写的程序直接就展现在所有人眼里。
if程序输出一个完整的数学证明
and证明的每一步合法
and结论是s确实有（或者没有）一个和为0的子集
then
output是（或者不是如果那被证明了）并停机
……
很快，他们也明白讲台上这位华国女孩讲的思路是什么了。
她居然在证明“p与np的问题”！
在所有教授们都瞪大了眼睛，目不转睛地盯着眼前的一幕，不少教授也赶紧让助手将电脑拿出来，想要跟上苏一的解题速度。
台下的学生们更加懵逼了。
有种他们似乎并不在一个世界上的错觉。
整个学术交流会也因为苏一这一突如其来的变故而被迫中止了。
在张渊和主办方的交流下，他们都十分地有默契，没人打断正在证明的苏一，就这么任由她不断地在电脑上编写证明步骤。
而苏一那一瞬间是想到了华国十大国粹之一的围棋，西方国家称之“go”，是一种策略性的两人棋类游戏，最佳走法（在n乘n棋盘上）是指数时间完全的……
苏一似乎忘记了时间。
直到……
最后一步。
由此可证明：p≠np，且成立！
第494章事情的严重性
张渊此时此刻也忍不住呼吸一滞！
他的这个弟子，似乎、大概、可能又解决了出来一个千禧年大奖难题了！
而且这也是被克雷数学研究所收录在其中的千禧年数学猜想难题。
丁薇记事 梦回以返 艳杀（1v1，女强年下） 婚徒 逃离异世界（无限流） 近在咫尺的幸福 追寻ONLINE之曇花一现 重回十三岁 月如玉卷二之泰北归途 【他】是我老婆 雨之城 恶魔外甥倒霉舅舅 分明偏爱（伪骨科H） 玉乱宫帷，凤斗六宫 明争暗秀 矜持 他儿子有个亿万首富爹 配角 偽装快乐 错时空的儿子们回来了
龙舞苍穹
龙舞苍穹简介emspemsp烟雨大陆，人人习武，弱者朝不保夕，强者翻山倒海。身世成迷的苏逆夜，带着一门神秘而强大的无名功法，缓缓登上了大陆强者舞台。从此，山崩地裂，伏尸百万，天地倾倒，日月无光！放眼世间古至今，何处英雄不杀...
大姐进城：九零致富之路
九十年代，一个无父无母的农村女孩为了让弟弟妹妹过上好日子，毅然决定进城奋斗，前往那座充满机遇的一夜崛起之城，开始新的人生。做过服务员，当过工人，摆过小摊，开过酒楼和工厂，风光过，落魄过，无论面对多少艰难困苦，她都始终保持乐观向上，自强不息的精神。多年后，一辆黑色轿车开进村里，事业有成的陆宁春回乡造福乡亲了。收获事业的同时也收获了一份真挚的爱情，那个他，原本一身公子病，只喜欢吃喝玩乐，却为了喜欢的姑娘改掉了身上的毛病，一直默默地陪伴在她身后，与她一起成长，不离不弃。如果您喜欢大姐进城九零致富之路，别忘记分享给朋友...
我在女尊世界修练茶艺
中土大陆，强者林立，众多家族势力盘踞一方。哎～房间中传来一声长叹，赵无忧十四年前来到了这个世界，在这里，人类煅练身体，与天斗与妖斗，他本以为开启了一段上天入地，神挡杀神，佛挡杀佛的强者之路。如果您喜欢我在女尊世界修练茶艺，别忘记分享给朋友...
天降萌宝：总裁爹地放肆宠
天降萌宝总裁爹地放肆宠简介emspemsp关于天降萌宝总裁爹地放肆宠盛传厉氏的总裁神秘而又冷酷，没什么人见过他的真面目。直到那个算计了他的种的小女人出现，厉总从神秘变成陪女人逛街是常态，冷酷变温柔，妥妥的一个宠妻狂魔。小包子眼看着妈咪要被抢，愤怒的一掐小腰，爹地你要不要脸？某人微微一笑，要人不要脸。首发rourouwuinωoо1⒏υip...
神豪：我有一亿亿舔狗金
萧言一个普通的大学生，获得神豪系统，开局获得一亿亿，为了花完这些钱，萧言开启了一条不同寻常的神豪之路。如果您喜欢神豪我有一亿亿舔狗金，别忘记分享给朋友...
无尽超维入侵
无尽超维入侵简介emspemsp关于无尽超维入侵神秘人域外归来，开启的晶壁隧道，导致异域空间与地球空间产生重合，无数异域生物通过重合点涌入地球。不同维度空间的本源能量产生冲突，本土生物受到侵染产生异变，外来物种入侵严重影响地...