波利尼亚克猜想属于孪生素数的强猜想,对所有自然数k,存在无穷多个素数对(p,p+2k)
而k=1的情况就是孪生素数猜想,即存在无穷多个素数p,使得p+2是素数
后者已经在今年二月份,被陆舟运用扑拓学对筛法的补充方法证明
而在此之前,张益唐等数学家对“素数间的有界距离”的研究,已经完成了从七千万到246的证明
而这些结论,都属于(P,P+2K)形式,为波利尼亚克猜想的证明也提供了有力的线索
到目前为止,“k=1”和“k=123、……、3.5X10^7”的部分已经完成
明眼人都能看出来,这块拼图已经被完成的七七八八
现在只差最后一步,就是将“k=1”推广到“无穷大”
如果说孪生素数猜想只是让陆舟拿到18年菲尔茨奖的提名,那么完成了波利尼亚克猜想的证明,拿下18年的菲尔茨奖几乎是稳了