式在第八个问题上提出了它，并进行了规范描述。

存在无穷多个素数p，使得p+2是素数。

这就是孪生素数猜想。

由于其于哥德巴赫猜想的高度相关性，使得近百年来，无数数学家不断地朝发起挑战，而最近的一次阶段性胜利，是张益唐提出了一种有限间隔的方法，证明了“无穷多个素数p，p+7000万”。而随后一众大神们根据他的方法，把7000万缩小成了246。

而别说要证明它，