编辑“Seventeen or Bust”（章节）

=='''项目介绍'''==
Seventeen or Bust（直译：“十七或者破产”），是一个解决[[谢尔宾斯基问题]]的[[分布式计算]]项目。

这个项目的目的就是证明78557是最小的[[谢尔宾斯基数]]，要做到这一点，所有的小于78557的奇数都需要排除掉。如果一个数''k2<sup>n</sup> + 1''被证明是[[素数]]，那么''k''就不可是谢尔宾斯基数。在这个项目开始之前，只17个数列有待排除。

如果这个目的达到，那么这个关于[[谢尔宾斯基数|谢尔宾斯基问题]]的猜想就被证明为真。现在已经有11个数列被排除，还有6个有待排除。

现在仍然有这种可能，剩下的序列当中包含有非素数，如果这种可能性不存在，那么这个问题将变的没有吸引力了。如果有这样的序列，这个项目就将因寻找不存在的素数而无法停止。但是，因为没有数学家成功地证明剩下的数列仅包含有[[合数]]，这个猜想也通常被认为是真的。

尽管如此，我们仍然可以通过观察得到对这个猜想的一些支持。 已知的每一个[[谢尔宾斯基数]]都有一个很小的“覆盖集”，由一组数字组成，而且它们之中总有一个能够整除与该[[谢尔宾斯基数]]相关的 ''k''·2<sup>''n''</sup>+1 型数。 例如，对已知的最小的[[谢尔宾斯基数]]，其覆盖集就是 <nowiki>{3,5,7,13,19,37,73}</nowiki>。 对另外一个已知的[[谢尔宾斯基数]]而言，覆盖集则是 <nowiki>{3,5,7,13,17,241}</nowiki>.  剩下的待检测的数列均没有这么小的覆盖集（这很容易检测），因此有理由相信它们全部包含反例。