17或胸围

十七或胸围是一个分布式计算要证明的项目这个Sierpinski猜想。它有一个网站在http://www.十七orbust.com.

项目开始时，共有17个候选人 西尔宾斯基数还有什么要挑战的猜想; 该项目着手于找到一个数字n个对于其中的每一个k个值so那个k个^.2^n个+1是质数。如果所有17个候选词都有素数定理将经过证实的；如果猜测是真的错误的，搜索将永无止境，因此得名“十七岁或半身像”。

到目前为止，已有五名候选人被淘汰SoB公司，截至2003年1月4日：

• 44131^.2⁹⁹⁵⁹⁷²+1是首要的
• 46157^.2⁶⁹⁸²⁰⁷+1是首要的
• 54767^.2^1337287+1是首要的
• 65567^.2^1013803+1是首要的
• 69109^.2^1157446+1是首要的

12月20日更新，发现第六个：
5359^.2^5054502+1是首要的.

证明这种形式的数是素数是相当地容易，因为普罗斯定理但对于这么大的数字（54767有402569个数字！），这仍然需要很长时间。

为了更快n个首先消除每个值k个由SoB团队使用算法被称为埃拉托西内斯筛.确保候选人人数不“小”因素在美国（比如说，没有一家低于2000000000），他们的数量大大减少。

其余号码发送至互联网参与项目的用户，数以千计的演员他们可以使用普罗斯定理测试每个数字，这个过程根据计算机的速度需要花费数小时或数天。

预计还需要几年时间才能完成。

他们的客户端基于GIMPS公司创始人乔治·沃尔特曼此外，该项目很可能永远不会成功，坦率地说，可能需要对一些要消除的数字进行进一步测试，而目前的硬件在不到几个月的时间内就无法进行测试。

此外，他们实际上筛得远远高于20亿。原因是可以使用特殊软件，如新PGen一次筛选整个范围的数字。特别是对于表单k个.2^n个+如上所述，一个候选因子可以与所有候选因子进行比较质数s与给定的k个马上。这意味着筛选出万亿或万亿是有意义的，因为你仍然需要考虑大量的候选人。在“NewPGen”上搜索更多信息。