第443章 我们来做一下尝试吧 (第2/2页)
　　
　　“有很大的机会。”
　　
　　霍克从桌上抽出一张画满了逻辑推导线的草稿纸，递给查理。
　　
　　“在过去的几天里，我尝试将这套高维模型代入到传统的张益唐界点理论中。我发现，原本那些在离散分布中无法被消除的误差项，在经过高维空间的折叠逼近后，被有效地收敛了。”
　　
　　“至少在使用这一套工具之后，我们可以比之前走的远得多。甚至，我们有可能真正摸到那个闭环的边缘。”
　　
　　查理看着草稿纸上的推导脉络，眼中闪过一丝微光，但他并没有盲目乐观。
　　
　　“理论上是可行的。但如果要将这个模型完全铺开，去验证无穷区间内的素数分布密度，这中间涉及到的极端矩阵计算量，单靠我们两把老骨头用纸笔去推，就算算到死也算不完。”
　　
　　“所以我才需要你的加入。”
　　
　　霍克语气从容，显然早有盘算，“人力算不完，机器可以。”
　　
　　“我们所在的，是麻省理工学院。这里有全球算力最顶级的超级计算机中心。”
　　
　　“如果我们将这套解析模型转化为计算机算法，让超算去帮我们进行海量的穷举验证和边界排查，从而辅助我们的理论推导。那我们的进度，将会是不可估量的。”
　　
　　霍克看着查理，继续说道：“至于超算的使用权限和经费，只要我们两个人联名向学院提交立项申请，说明我们要冲击的是孪生素数猜想。我相信，学院的审核委员会明天一早就会把批复文件送到我们的办公桌上。”
　　
　　对于任何一所顶尖高校来说，如果本校的教授能够证明出世界级的数学猜想，这种名留青史的荣誉，是绝对让人无法拒绝的。
　　
　　查理没有立刻回答。
　　
　　他看着窗外那光秃秃的橡树枝桠，脑海中盘算着霍克提出的构想。
　　
　　这套来自大洋彼岸的新模型，确实为那个困死了无数人的死局，提供了一条极具可行性的新路。
　　
　　良久。
　　
　　查理转过头，看着霍克，微微点了点头。
　　
　　“我可以与你一起。”
　　
　　“不过，我目前手里还有一个关于素数极值分布的延展课题没有收尾。这套新工具，刚好能帮我解决那个课题里的几个问题。”
　　
　　“霍克，你可以先去向学院申请立项，把超算中心的排期和基础算法的转化工作做起来。等我用这套新模型尽快把手头的课题结题，我就加入你的课题组。”
　　
　　“好。”
　　
　　霍克听到老友答应，紧绷的面部线条也随之舒缓下来，嘴角露出一丝笑意，“立项和走流程的事交给我，你安心收尾。”
　　
　　正事谈完，书房里的气氛变得轻松了许多。
　　
　　查理看着桌上那份单薄的资料，又看了看对面头发同样花白的霍克，忍不住感叹了一声。
　　
　　“几十年前，我们在普林斯顿的研讨会上第一次认识的时候，就在为了孪生素数的边界问题争得面红耳赤。”
　　
　　查理自嘲地笑了笑，“没想到老了老了，在快要退休的年纪，还能距离这个东西这么近。”
　　
　　“是啊。”
　　
　　霍克端起那杯冷掉的咖啡，向着查理微微举起。
　　
　　“我们两个老头，可是又要开始并肩作战了。”
　　
　　咖啡杯在半空中轻轻碰在了一起，发出一声沉闷的脆响。