西蒙鼻孔朝天,一脸得意地看着周明奕,然后突然想到什么似的,追问道:
    “我本来也没想到真有人能证出来,既然你做出来了,能不能再稍微麻烦一下,再讲一遍,我组织全校教授来听讲?”
    有过一次经验的周明奕倒也不吃惊,爽快应道:
    “没问题!都包在我身上吧。”
    …………
    周末,京大计算机教学研究室。
    大厅里密密麻麻坐满了人,老师和学生都有,其中不乏一些神龙见首不见尾的住在实验室的大佬。
    全校稍微有点计算机水平的人全都赶来了。
    甚至座位远远不够承载如此多的人数,不少人站在过道上,挤在门外。
    然而报告仍未开始,此刻台上空无一人,只有黑漆漆的幕布高高悬在墙壁上。
    所有人都在等这个人出场!
    不少人在台下窃窃私语。
    “小张啊,你匆匆拉我来这里干嘛?我还有功课要做呢!怎么还不开始呢?”
    “别急啊!这么多人都在这等着,你不差这一点时间,我听说这次证明的是一个大猜想。”
    “没错,据我所知,是一个计算机科学领域三十年悬而未决的公认难题。”
    “哦?谁证出来的?关老师?他在哈佛读的博士,年轻一代就他最有资格了。”
    “哎呦,还真不是,据我所知,是一个数学老师,听到这个猜想后不到五分钟,一不小心就证出来了。”
    “还真是不小心啊!”
    …………
    未等太久,一个瘦削的年轻老师疾步而来,脸上浮现出亲切的笑容,他岁数这么小是许多人没曾想到的。
    “久等了!各位。”周明奕欠身行礼后,掏出一叠文簿,推了推眼镜,斯斯文文的样子赢得了不少人的好感。
    “那我就不多废话了,咱们直接开始!”
    “或许有人已经提前得知了,我这次报告的主题即是布尔函数敏感度猜想!”
    此话一出,宛如抛出一颗炸弹,炸开了观众席。
    能坐在这里的,多少都对信息科学的理论有所侵淫,这个被称为敏感度猜想的问题探讨了计算机逻辑基本组成部分的结构。
    此时台下,正在读研究生的王平摊开了手,叹了一口气,仿佛看开一般,
    “我已经做好了什么都听不懂的准备了,迎接大佬的洗礼。”
    与之互为同学的李川则乐呵呵的道:
    “你还没习惯吗?我从交大考入这里,每天都被同一批的研究生反复碾压折磨,连骨头都磨成渣了……更可气的是,那帮小屁…本科生,都他娘的比我强。”
    王平眉头翘了翘,宛如一条咸鱼,坦然相待,
    “没事,大佬的话,我只要能听懂一句,就算成功!!”
    就在这时,周明奕也刚刚介绍完引言,准备正式步入证明阶段。
    看着台下一个个畏惧而又视死如归的眼神,周明奕轻松地笑了笑,解释道:
    “大家不必过于紧张,也许你们大多数人觉得一个人尽皆知,三十年悬而未解的问题,要么冗长而枯燥,要么非常深奥,要么……”
    周明奕特意顿了顿,调侃道:“要么又冗长,又枯燥,又非常深奥。”
    一些本来紧张兮兮的学生闻言也笑了笑,原先紧紧绷住的气氛此时也缓和下来。
    看到台下明显放松一些的学生,周明奕满意地点点头,紧接着说道:
    “当然,我的证明是一个意外。”
    周明奕耸了耸肩,用满不在乎地语气道:“唔,我觉得学过高代的人都能听懂,也就是说,通过我这一次四十分钟的讲座,我希望每个人都能戳穿这个……纸老虎!”
    “下面,我们就开始吧!”
    “首先,布尔函数代指的是将一串输入比特转化为一个输出比特的规则,举个例子……”
    “既然大家弄懂了布尔函数,下面我们来定义猜想的核心理念,敏感度!”
    “所谓敏感度,很简单,指的是……”
    王平一边听一边点头,念念有词道:
    “嗯,这个猜想很有名,我之前预习过,下面该讲证明了,我已经做好了全程懵逼的准备了!”
    李川一脸凛然,宛如奔赴沙场的战士,慷慨高吟道:
    “MeToo!”
    周明奕当然不会这两个人的吐槽,不受影响地接着写道:
    “我的想法是,把网路上抽象的算数问题转化为一个代表两点是否相连的矩阵……矩阵大家应该没什么问题。”
    周明奕略微想了想,补充道:“学理科的应该都读过近代。”
    “然后,我借用了下面这个定理。”
    他说着的同时,后方的电子荧屏上显示出框架状结构。
    【柯西交错定理】
    紧跟着的是一道清晰明了的命题,解释了上述定理的具体内容。
    台下的教授们无不聚精会神地观望着屏幕里的内容,这个定理显然占据了证明的主体内容。
    周明奕斟酌了下,缓缓道:“这个定理算是很基础的定理,也很好证,但我觉得在这听讲的大部分人都知道……”
    “所以,如果你实在不知道这个定理,又很想搞明白这个细节,侬,名字摆这了,回去查百度,然后现在的话……你就当一个黑匣子来用吧!”
    黑匣子的解释非常广泛,如果特指在学术领域,它的意思是把一个非常难理解,却又不得不使用的定理,当作已知条件,顺着推理下去。
    “有了上面这个定理,接下来的证明就顺水推舟了,利用矩阵的特征值…………”
    周明奕飞速讲解着,不一会PPT就走到了最后一页,他好似玩弄着小孩子的积木玩具般,轻松愉快道:
    “这就证明完了!”
    “这就证明完了?”
    王平略显茫然地重复道。“就这么简单?轻轻松松就拿下了?我都没反应过来。”
    坐在一旁的李川则十分激动,声音发颤道:
    “卧槽?我真不敢相信刚刚见证了什么。我居然也能听懂讲课了?”
    啪…啪…啪
    仿佛后知后觉般,掌声再度响起,报告厅的所有人都站了起来,庄重而热烈地鼓掌。