波利尼亚克猜想实际上是孪生素数猜想的推广形式：对所有自然数K，存在无穷多个素数对（p，p+2k）。当K=1时，波利尼亚克猜想与孪生素数猜想等同。
只要证明了波利尼亚克猜想，那么孪生素数猜想自然是不证自明。