Seventeen or Bust
Seventeen or Bust 是通过分布式计算找寻最小的谢尔宾斯基数 (Sierpinski numbers) 。我们的系统利用世界各地空闲的计算能力，组成一张巨大的计算网络来解决这个数学问题。欲加入此项目，请前往项目主页下载相应平台客户端。
项目介绍[编辑]
Seventeen or Bust（直译：“十七或者破产”），是一个解决谢尔宾斯基问题的分布式计算项目。
这个项目的目的就是证明78557是最小的谢尔宾斯基数，要做到这一点，所有的小于78557的奇数都需要排除掉。如果一个数k2n + 1被证明是素数，那么k就不可是谢尔宾斯基数。在这个项目开始之前，只17个数列有待排除。
如果这个目的达到，那么这个关于谢尔宾斯基问题的猜想就被证明为真。现在已经有11个数列被排除，还有6个有待排除。
现在仍然有这种可能，剩下的序列当中包含有非素数，如果这种可能性不存在，那么这个问题将变的没有吸引力了。如果有这样的序列，这个项目就将因寻找不存在的素数而无法停止。但是，因为没有数学家成功地证明剩下的数列仅包含有合数，这个猜想也通常被认为是真的。
尽管如此，我们仍然可以通过观察得到对这个猜想的一些支持。 已知的每一个谢尔宾斯基数都有一个很小的“覆盖集”，由一组数字组成，而且它们之中总有一个能够整除与该谢尔宾斯基数相关的 k·2n+1 型数。 例如，对已知的最小的谢尔宾斯基数，其覆盖集就是 {3,5,7,13,19,37,73}。 对另外一个已知的谢尔宾斯基数而言，覆盖集则是 {3,5,7,13,17,241}. 剩下的待检测的数列均没有这么小的覆盖集（这很容易检测），因此有理由相信它们全部包含反例。
项目进展[编辑]
这个项目发现的素数有：
| # | k | n | Digits of k·2n+1 | Date of discovery | Found by |
|---|---|---|---|---|---|
| 1 | 4,847 | 3,321,063 | 999,744 | 15 Oct 2005 | Richard Hassler |
| 2 | 5,359 | 5,054,502 | 1,521,561 | 06 Dec 2003 | Randy Sundquist |
| 3 | 10,223 | ||||
| 4 | 19,249 | 13,018,586 | 3,918,990 | 26 Mar 2007 | Konstantin Agafonov |
| 5 | 21,181 | ||||
| 6 | 22,699 | ||||
| 7 | 24,737 | ||||
| 8 | 27,653 | 9,167,433 | 2,759,677 | 08 Jun 2005 | Derek Gordon |
| 9 | 28,433 | 7,830,457 | 2,357,207 | 30 Dec 2004 | Anonymous |
| 10 | 33,661 | 7,031,232 | 2,116,617 | 13 Oct 2007 | Sturle Sunde |
| 11 | 44,131 | 995,972 | 299,823 | 06 Dec 2002 | deviced (nickname) |
| 12 | 46,157 | 698,207 | 210,186 | 26 Nov 2002 | Stephen Gibson |
| 13 | 54,767 | 1,337,287 | 402,569 | 22 Dec 2002 | Peter Coels |
| 14 | 55,459 | ||||
| 15 | 65,567 | 1,013,803 | 305,190 | 03 Dec 2002 | James Burt |
| 16 | 67,607 | ||||
| 17 | 69,109 | 1,157,446 | 348,431 | 07 Dec 2002 | Sean DiMichele |
这些数字当中每一个的位数都至少有一篇中篇小说那么大。目前，这个项目将这些数分配给他们的用户，希望在余下这些数列当中找到素数。
- 10223×2n +1
- 21181×2n +1
- 22699×2n +1
- 24737×2n +1
- 55459×2n +1
- 67607×2n +1
项目组[编辑]
这个项目在2002年4月开始，是由 美国密歇根大学 的 Louis Helm 和 美国伊利诺伊大学 的David Norris 合作创立. 不计其数的个人也为本项目贡献了许多。 George Woltman (GIMPS 寻找最大质数的项目的创立者) 提供了 blindingly-fast 源代码。 Michael Garrison 维护这项目的核心服务器。我们感谢对于这些项目作出贡献的人。