第二类谢尔宾斯基数是满足 谢尔宾斯基合数定理 的数 ,即,一个 普罗斯数 使得对于每个 , 是 合数。
已知的最小例子是 ,由 J. Selfridge 在 1962 年证明,但在确定此数字为最小的此类数字之前,仍有许多较小的候选数有待确定。截至 1996 年,仍有 35 个候选数(Ribenboim 1996, p. 358),到 2002 年初,这个数字已减少到 17 个(Peterson 2003)。
2002 年 3 月,L. K. Helm 和 D. A. Norris 发起了一项名为“十七或破灭”的分布式计算工作,以消除剩余的候选数。在全球合作者的帮助下,截至 2003 年 12 月,这个数字已减少到 12 个(Peterson 2003,Helm 和 Norris)。下表总结了随后被“十七或破灭”项目发现为素数的数字,截至 2016 年 11 月,仅剩下五个候选数。
日期 | 参与者 | 数字 |
12 月 6 日,2003 年 | ||
6 月 8 日,2005 年 | D. Gordon | |
10 月 15 日,2005 年 | R. Hassler | |
5 月 5 日,2007 年 | K. Agafonov | |
10 月 30 日,2007 年 | S. Sunde | |
11 月 6 日,2016 年 | P. Szabolcs |
下表列出了已知的素数以及截至 2008 年 1 月仍然存在的唯一候选数,即六个数字 10223、21181、22699、24737、55459 和 67607。Caldwell 也维护着该项目发现的素数列表 (http://primes.utm.edu/bios/page.php?id=429)。
素数 | 位数 | Caldwell | |
4847 | 999744 | http://primes.utm.edu/primes/page.php?id=75994 | |
5359 | 1521561 | http://primes.utm.edu/primes/page.php?id=67719 | |
10223 | 9383761 | http://primes.utm.edu/primes/page.php?id=122473 | |
19249 | 3918990 | http://primes.utm.edu/primes/page.php?id=80385 | |
21181 | |||
22699 | |||
24737 | |||
27653 | 2759677 | http://primes.utm.edu/primes/page.php?id=74836 | |
28433 | 2357207 | http://primes.utm.edu/primes/page.php?id=73145 | |
33661 | 2116617 | http://primes.utm.edu/primes/page.php?id=82804 | |
44131 | 299823 | http://primes.utm.edu/primes/page.php?id=62867 | |
46157 | 210186 | http://primes.utm.edu/primes/page.php?id=62865 | |
54767 | 402569 | http://primes.utm.edu/primes/page.php?id=62869 | |
55459 | |||
65567 | 305190 | http://primes.utm.edu/primes/page.php?id=62866 | |
67607 | |||
69109 | 348431 | http://primes.utm.edu/primes/page.php?id=62868 |
现在考虑将第二类谢尔宾斯基数限制为素数 。最小的已证明的素数谢尔宾斯基数是 271129。一个分布式计算项目正在进行中,以寻找 是素数的例子,其中 小于已证明的下限 (Caldwell)。请注意,最小的候选数包括来自“十七或破灭”列表的三个素数候选数:10223、22699、67607。Caldwell 也维护着该项目发现的素数列表 (http://primes.utm.edu/bios/page.php?id=564)。
设 为使 为 素数 的最小 ,则前几个值是 0, 1, 1, 2, 1, 1, 2, 1, 3, 6, 1, 1, 2, 2, 1, 8, 1, 1, 2, 1, 1, 2, 2, 583, ... (OEIS A046067)。第二小的 由 1, 2, 3, 4, 2, 3, 8, 2, 15, 10, 4, 9, 4, 4, 3, 60, 6, 3, 4, 2, 11, 6, 9, 1483, ... 给出 (OEIS A046068)。即使对于小的 ,也可能需要相当大的 才能获得第一个素数。例如,形式为 的最小素数是 。
存在无限多个为 素数 的谢尔宾斯基数。
最小的奇数 使得对于所有 , 是 合数 的是 773, 2131, 2491, 4471, 5101, ... (OEIS A033919)。
对于 和 高斯整数 、 和 , 始终是合数。(E. Pegg Jr.,私人通讯,2003 年 2 月 6 日;Broadhurst 2005)。