第180章 那束超越标准模型的光
波利尼亚克猜想属于孪生素数的强猜想,对所有自然数k,存在无穷多个素数对(,+2k)。而k=1的情况就是孪生素数猜想,即存在无穷多个素数,使得+2是素数。
后者已经在今年二月份,被陆舟运用拓扑学对筛法的补充方法证明。
而在此之前,张益唐等数学家对“素数间的有界距离”的研究,已经完成了从七千万到246的证明。而这些结论,都属于(,+2k)形式,为波利尼亚克猜想的证明也提供了有力的线索。
到目前为止,“k=1”和“k=123、……、35x107”的部分已经完成。明眼人都能看出来,这块拼图已经被完成的七七八八。
现在只差最后一步,就是将“k=1”推广到“无穷大”。
如果说孪生素数猜想只是让陆舟拿到18年菲尔茨奖的提名,那么完成了波利尼亚克猜想的证明,拿下18年的菲尔茨奖几乎是稳了。
不过,虽然说起来很简单,但真要将“k=1”推广到“无穷大”,其中的难度还是不小的。
单从方法上来讲,这便是一个全新的工作。孪生素数猜想的结论和证明过程,可能仅仅只能给陆舟提供一条思路而已。要想证明波利尼亚克猜想,也许他得像在普林斯顿时那样,开创一条全新的证明方法也说不定。
即便现在他的数学等级已经从lv2升到了lv3,想要完成这项工作也存在不小的难度。
而且最要命的是,系统限制了完成时间,要求在16年之前。
也就是说,想要拿到任务奖励,就必须在15年之内解决这个问题。
另一方面,这次的奖励也存在很大的随机性。不过陆舟觉得,孪生素数猜想都拿到了四万多的经验,这个孪生素数的强猜想,怎么也不会低于这个数字吧?
更何况还是奖励任务。
所以,对于这个奖励,他还是相当期待的。
……