翌日上午。

燕京大学。

信息科学技术学院。

学术报告厅内，学生们齐聚一堂。

众多计算机领域的导师和教授，全都来到现场。

高台上，哈佛学生迈克，正在侃侃而谈。

报告厅大屏幕上，显现着一行英文标题《residualattentionnetworkforimageclassification》，中文名为《用于图像分类的残差注意力网络》。

迈克用英文说道：“视觉领域注意力发挥着很大作用，不止能使得运算聚焦于特定区域，同时也可以使得该部分区域的特效得到增减，同时verydeep的网络结构结合残差连接，在图像分类等任务中表现除了极好的性能……”

大屏幕上，不断浮现一行行堆叠式网络结构和注意力残差学习的公式。

hi,c(x)=ti,c(x)∗mi,c(x)hi,c(x)=ti,c(x)∗mi,c(x)

hi,c(x)=(1+mi,c(x))∗fi,c(x)hi,c(x)=(1+mi,c(x))∗fi,c(x)

……

计算机学院的教授们，频频点头。

显然，迈克在计算机领域造诣极深，展现出了名校的风采。

燕大的学生们也看懂了。

迈克通过很多对比实验和定量分析，构建了残差注意力网络，最终应用于计算机视觉任务里。

他结束报告时，得到了全场的掌声。

迈克神采奕奕的走下台，神情骄傲无比。

哈佛大学世界排名第一！

这就是他的底气来源所在。

……

台下。

哈佛教授莱斯利·瓦利安特，对燕京大学教授杨冬清说道：“杨教授，你觉得迈克的计算机水平如何？”

“非常优秀！”

杨冬清赞许的点点头：“哈佛大学的计算机专业全球顶尖，迈克今后能成为一名优秀的计算机学家。”

莱斯利笑着道：“迈克16岁的时候，就收到32家顶级大学的录取通知书，最终他还是选择了哈佛大学。”

杨冬清微笑不语，心里却十分凝重。

莱斯利是2010年图灵奖得主。

图灵奖是计算机领域的最高奖项，相当于计算机界的诺贝尔奖。

迈克有莱斯利教导，未来肯定一片光明。

而米国科学家越出色，对夏国的威胁也就越大。

这可不是一个好兆头！

……

高台上。

燕京大学的学霸们，一个个上台做学术报告。

可惜的是……

他们的表现，距离哈佛大学的迈克，还有一些距离。

如果没有学生比迈克更优秀。

那这场计算机学术交流，燕京大学就算输了！

报告厅内。

气氛越来越凝重。

学生们心急如焚，希望能出现一位大神，带来燕京大学反败为胜。

全场注视下。

陆尘神态轻松的走上高台。

燕大学子见状，顿时一愣。

哥哥哟！

您这个时候凑什么热闹啊！

这是学术交流会议，可不是企业家交流会议。

陆尘用英文说道：“我准备了一篇论文，原本准备投稿《姑苏大学计算机期刊》的。趁着此次交流会议，我就献丑了。”

说完，他将u盘放进usb接口，论文标题出现在大屏幕上。

《mip*=re》！

陆尘缓缓开口道：“爱因斯坦有句名言：量子力学应该允许两个物体在遥远的距离上瞬间影响彼此的行为，他称之为‘幽灵般的超距作用’，也就是量子纠缠。

他去世后的几十年，实验证明量子纠缠。

但是直到今天，人们仍不清楚大自然究竟允许远距离物体之间，有多大程度的协调。

今天，我就用纯数学和算法联系，证明mip*=re！

经典验证与多个量子理论验证相互作用而确定的语言类别mip，等同于递归可枚举语言类re。”

说完，他开始讲解自己长达165页的ppt。

学术报告厅内非常安静，只剩下陆尘一个人的声音在回荡。

……

学生们聚精会神的看着论文，脸上时不时带有恍然大悟的表情。

想要听懂论文，得从计算机之父“阿兰·图灵”提出的第一个关于计算机的一般理论说起。

图灵证明计算机不是全能的，有些问题根本不可能用计算机得出结果。

而复杂性理论就是根据解决问题的难易程度，而对问题进行分类的计算问题的集合。

一个问题的难易程度是根据计算这个问题所需持续的时间来衡量的。

基于这种衡量标准。

它将问题分成不同的类型，mip*和re所代表的便是其中的两类。

……

高台上，陆尘不断的讲解ppt。

一道道公式出现在屏幕上。

时间缓缓流逝。

一个小时。

两个小时。

……

最终，当陆尘证明mip*=re成立时，现场陷入疯狂之中！

在场的教授们，脸上都透着不可思议的表情。

mip*=re成立！

陆尘从冯·诺依曼代数理论角度，反驳了法兰西菲尔兹奖得主connes的嵌入猜想理论，一举解决纯数学、量子力学以及计算机科学分支一个被称为“复杂性理论”的许多相关问题。

……

“amazing！真是个美妙的结论！”

哈佛大学教授莱斯利，慨叹道：“我真没想到在我有生之年，能看到这个问题被人解决！”

杨冬清笑呵呵的说道：“小陆是真正的天才！从今以后，数学家和量子物理界有的忙了……”

connes嵌入猜想，理论，是上世纪70年代的算子代数理论的中心猜想。

探讨的是无穷矩阵能否用有限矩阵近似。

该猜想已经存在40多年，数学家都希望这个猜想是正确的。

因为猜想正确，就可以证明其他的许多数学工具也是正确的。

现在陆尘的论文表明。

connes嵌入猜想就是错的！

你们以为的数学工具也是错的！

……

1993年，数学家boristsirelson指出了量子物理学中的一个问题。

他表明有两种不同的用于描述量子力学中的某个情况的数学形式，实际上是等价的。

一直以来，物理学家利用tsirelson的这个理论，成功地解释了亚原子世界。

但是陆尘的论文表明。

你们的理论也是错的！

……

莱斯利神情复杂的说道：“mip*=re的证明，意味着利用量子逻辑来计算的量子计算机，可以从理论上验证大量问题的答案。

也就是说，mip*=re多方交互式证明、加上量子纠缠的计算能力，给图灵停机问题提供了一个思路。

两台机器相互纠缠、相互验证，可以用于解决图灵停机问题。

计算机科学中的一个证明，对量子物理学界和数学家产生了深远的影响。

陆尘的论文，很快就会轰动学术界。

至于今天的计算机学术交流会议。

你们燕京大学赢了！”

“承让！”

杨冬清微微额首。

她已经想好了。

等会儿就找来陆尘，收为关门弟子。

让陆尘在计算机领域深耕细作，未来成为一名伟大的计算机学家。

……

当常春藤联盟宣布，今天获胜者为燕京大学时。

学术报告厅，彻底沸腾！

燕京大学赢了哈佛大学！

燕京大学赢了常春藤联盟！

上千名燕大学子，高呼陆尘的名字，庆祝这一值得纪念的时刻。

喊着喊着，名字就变成了“陆神”。

然而，学生们没喊多久，却发现主人公不见了？

互相询问后才知道。

原来陆尘已经离开，前往常春藤和燕京大学的数学学术交流会议了……

燕大学生有些不得劲。

陆神你是计算机学院的，前往数学学术交流会议干啥呀！

事了拂衣去，的确很装哔。

但我们此刻都想说：陆神，你快回来呀！