"k"，使得对所有"n" > 0，"k"·2+1都是合数。在这个项目开始之前，只有17个数有待排除。对这17个"k"而言，这个项目利用普罗斯定理在以下数列中寻找质数如果找到了，那这个数就不是谢尔宾斯基数，如果所有17个数都被排除，那么这个关于谢尔宾斯基问题的猜想就被证明为真。也有可能这些数列中不存在质数，那么寻找质数的过程将永不停止。然而有些经验法则暗示这个猜想是对的。所有已知的谢尔宾斯基数"k"皆有一个小的有限质因数覆盖集，含有至少一个"k"·2+1的质因数。对目前已知最小的谢尔宾斯基数78