波利尼亚克猜想属于孪生素数的强猜想，对所有自然数k，存在无穷多个素数对p，p+2k。而k=1的情况就是孪生素数猜想，即存在无穷多个素数p，使得p+2是素数。

        后者已经在今年二月份，被陆舟运用拓扑学对筛法的补充方法证明。

        而在此之前，张益唐等数学家对“素数间的有界距离”的研究，已经完成了从七千万到246的证明。而这些结论，都属于p，p+2k形式，为波利尼亚克猜想的证明也提供了有力的线索。

        到目前为止，“k=1”和“k=123、……、3.5x10^7”的部分已经完成。明眼人都能看出来，这块拼图已经被完成的七七八八。

        现在只差最后一步，就是将“k=1”推广到“无穷大”。

        如果说孪生素数猜想只是让陆舟拿到18年菲尔茨奖的提名，那么完成了波利尼亚克猜想的证明，拿下18年的菲尔茨奖几乎是稳了。

        不过，虽然说起来很简单，但真要将“k=1”推广到“无穷大”，其中的难度还是不小的。

        单从方法上来讲，这便是一个全新的工作。孪生素数猜想的结论和证明过程，可能仅仅只能给陆舟提供一条思路而已。要想证明波利尼亚克猜想，也许他得像在普林斯顿时那样，开创一条全新的证明方法也说不定。

        即便现在他的数学等级已经从lv2升到了lv3，想要完成这项工作也存在不小的难度。

        而且最要命的是，系统限制了完成时间，要求在16年之前。

        也就是说，想要拿到任务奖励，就必须在15年之内解决这个问题。

        内容未完，下一页继续阅读