十七或者破產
维基百科,自由的百科全书
十七或者破产(Seventeen or Bust),是一个解决谢尔宾斯基问题的分布式计算项目。
这个项目的目的就是证明78557是最小的谢尔宾斯基数,要做到这一点,所有的小于78557的奇数都需要排除掉。如果一个数k2n + 1被证明是質数,那么k就不可是谢尔宾斯基数。在这个项目开始之前,只17个数列有待排除。
如果这个目的达到,那么这个关于谢尔宾斯基问题的猜想就被证明为真。现在已经有11个数列被排除,还有6个有待排除。
现在仍然有这种可能,剩下的序列当中包含有非質数,如果这种可能性不存在,那么这个问题将变的没有吸引力了。如果有这样的序列,这个项目就将因寻找不存在的質数而无法停止。但是,因为没有数学家成功地证明剩下的数列仅包含有合数,这个猜想也通常被认为是真的。
这个项目发现的質数有:
| k | n | k2n+1的位数 | 发现日期 |
|---|---|---|---|
| 33661 | 7031232 | 2116617 | 2007年10月13日 |
| 19249 | 13018586 | 3918990 | 2007年3月26日 |
| 4847 | 3321063 | 999744 | 2005年10月15日 |
| 27653 | 9167433 | 2759677 | 2005年6月15日 |
| 28433 | 7830457 | 2357207 | 2004年12月30日 |
| 5359 | 5054502 | 1521561 | 2003年12月6日 |
| 44131 | 995972 | 299823 | 2002年12月6日 |
| 46157 | 698207 | 210186 | 2002年11月27日 |
| 54767 | 1337287 | 402569 | 2002年12月22日 |
| 65567 | 1013803 | 305190 | 2002年12月3日 |
| 69109 | 1157446 | 348431 | 2002年12月7日 |
注:这些数字当中每一个的位数都至少有一篇中篇小说那么大。目前,这个项目将这些数分配给他们的用户,希望在下面这些数列当中找到素数。
- 10223×2n +1
- 21181×2n +1
- 22699×2n +1
- 24737×2n +1
- 55459×2n +1
- 67607×2n +1