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