阅读设置(推荐配合 快捷键[F11] 进入全屏沉浸式阅读)

设置X

第442页(2 / 2)

抱歉,我好像似乎有思路了。

思路?

什么思路?

所有人都一头雾水。

苏一说着,忽然间就不顾形象地跑到了讲台上,然后开始在自己的电脑上操作起来。

她的电脑还是连接着投影设备的,所以她所编写的程序直接就展现在所有人眼里。

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

and证明的每一步合法

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

then

outputquot是quot(或者quot不是quot如果那被证明了)并停机

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

她居然在证明p与np的问题!

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

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

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

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

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

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

苏一似乎忘记了时间。

直到

最后一步。

由此可证明:pnenp,且成立!

第494章事情的严重性

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

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

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

上一页 目录 +书签 下一章

翻一页 目录 +书签 下一章