孪生素数猜想是数论中的著名未解決问题。这个猜想最初由欧几里得在大约公元前300年提出,可以这样描述:
素数对 (p, p + 2) 称为孪生素数。数学家们相信这个猜想是成立的。
1849年,波林那克(en:Alphonse de Polignac)提出了更一般的猜想:对所有自然数 k,存在无穷多个素数对 (p, p + 2k)。k = 1 的情况就是孪生素数猜想。