Seventeen or Bust: Difference between revisions
further editing after the new find |
→Progress of the search: more edits due to the recent new find |
||
| Line 126: | Line 126: | ||
|} |
|} |
||
{{As of|2016| |
{{As of|2016|11}} the largest of these primes, 10223·2<sup>31172165</sup>+1, is the [[largest known prime number]] that is not a [[Mersenne prime]].<ref>{{cite web |url=http://primes.utm.edu/top20/page.php?id=3 |title=The Top Twenty Largest Known Primes|work=[[Prime Pages|The Prime Pages]]|accessdate=7 November 2016}}</ref> The primes on this list over one million digits in length are the six known Colbert Numbers.<ref>[http://mathworld.wolfram.com/ColbertNumber.html Colbert Number - from Wolfram MathWorld]. Mathworld.wolfram.com (2009-04-05). Retrieved on 2014-05-11.</ref><ref>[http://primes.utm.edu/glossary/xpage/ColbertNumber.html The Prime Glossary: Colbert number]. Primes.utm.edu. Retrieved on 2014-05-11.</ref> |
||
Each of these numbers has enough digits to fill up a medium-sized [[novel]], at least. The project is dividing numbers among its active users, in hope of finding a prime number in each of the six remaining sequences: |
Each of these numbers has enough digits to fill up a medium-sized [[novel]], at least. The project is dividing numbers among its active users, in hope of finding a prime number in each of the six remaining sequences: |
||
:''k''·2<sup>''n''</sup>+1, for ''k'' = |
:''k''·2<sup>''n''</sup>+1, for ''k'' = 21181, 22699, 24737, 55459, 67607. |
||
==See also== |
==See also== |
||
Revision as of 23:18, 6 November 2016
Seventeen or Bust was a distributed computing project started in March 2002 to solve the last seventeen cases in the Sierpinski problem. The project solved eleven cases before a server loss in April 2016 forced it to cease operations. Five cases remain unsolved as of November 2016.[1] Work on the Sierpinski problem is now being done at PrimeGrid.
Goals
The goal of the project was to prove that 78557 is the smallest Sierpinski number, that is, the least odd k such that k·2n+1 is composite (i.e. not prime) for all n > 0. When the project began, there were only seventeen values of k < 78557 for which the corresponding sequence was not known to contain a prime.
For each of those seventeen values of k, the project searched for a prime number in the sequence
- k·21+1, k·22+1, …, k·2n+1, …
testing candidate values n using Proth's theorem. If one was found, it proved that k was not a Sierpinski number. If the goal had been reached, the conjectured answer 78557 to the Sierpinski problem would be proven true.
There is also the possibility that some of the sequences contain no prime numbers. In that case, the search would continue forever, searching for prime numbers where none can be found. However, there is some empirical evidence suggesting the conjecture is true.[2]
Every known Sierpinski number k has a small covering set, a finite set of primes with at least one dividing k·2n+1 for each n>0. For example, for the smallest known Sierpinski number, 78557, the covering set is {3,5,7,13,19,37,73}. For another known Sierpinski number, 271129, the covering set is {3,5,7,13,17,241}. Each of the remaining sequences has been tested and none has a small covering set, so it is suspected that each of them contains primes.
The second generation of the client was based on Prime95, which is used in the Great Internet Mersenne Prime Search.
The Seventeen or Bust server went down on April, 2016, the server and backups were lost. The project is no longer active. Work on the Sierpinski problem continues at PrimeGrid.[3][4]
Progress of the search
Seventeen or Bust, including PrimeGrid's SoB project, has found twelve prime numbers to date:[1]
| k | n | Digits of k·2n+1 | Date of discovery | Found by |
|---|---|---|---|---|
| 46,157 | 698,207 | 210,186 | 26 Nov 2002 | Stephen Gibson |
| 65,567 | 1,013,803 | 305,190 | 03 Dec 2002 | James Burt |
| 44,131 | 995,972 | 299,823 | 06 Dec 2002 | deviced (nickname) |
| 69,109 | 1,157,446 | 348,431 | 07 Dec 2002 | Sean DiMichele |
| 54,767 | 1,337,287 | 402,569 | 22 Dec 2002 | Peter Coels |
| 5,359 | 5,054,502 | 1,521,561 | 06 Dec 2003 | Randy Sundquist |
| 28,433 | 7,830,457 | 2,357,207 | 30 Dec 2004 | Anonymous |
| 27,653 | 9,167,433 | 2,759,677 | 08 Jun 2005 | Derek Gordon |
| 4,847 | 3,321,063 | 999,744 | 15 Oct 2005 | Richard Hassler |
| 19,249 | 13,018,586 | 3,918,990 | 26 Mar 2007 | Konstantin Agafonov |
| 33,661 | 7,031,232 | 2,116,617 | 13 Oct 2007 | Sturle Sunde |
| 10,223 | 31,172,165 | 9,383,761 | 31 Oct 2016[5] | Péter Szabolcs |
| 21,181 | > 29,500,000 | > 8,880,389 | (Search in progress) | |
| 22,699 | > 29,500,000 | > 8,880,389 | (Search in progress) | |
| 24,737 | > 29,500,000 | > 8,880,389 | (Search in progress) | |
| 55,459 | > 29,500,000 | > 8,880,389 | (Search in progress) | |
| 67,607 | > 29,500,000 | > 8,880,389 | (Search in progress) | |
As of November 2016[update] the largest of these primes, 10223·231172165+1, is the largest known prime number that is not a Mersenne prime.[6] The primes on this list over one million digits in length are the six known Colbert Numbers.[7][8]
Each of these numbers has enough digits to fill up a medium-sized novel, at least. The project is dividing numbers among its active users, in hope of finding a prime number in each of the six remaining sequences:
- k·2n+1, for k = 21181, 22699, 24737, 55459, 67607.
See also
- Riesel Sieve, a related distributed computing project for numbers of the form k·2n−1
- List of distributed computing projects
- PrimeGrid - biggest search for primes.
- Computer-assisted proof
References
- ^ a b Seventeen or Bust: Project Stats
- ^ Chris Caldwell. "Sierpinski number".
- ^ Michael Goetz. "Re: Server down?".
- ^ Michael Goetz. "Re: Update on seventeenorbust.com".
- ^ PrimeGrid Forum thread
- ^ "The Top Twenty Largest Known Primes". The Prime Pages. Retrieved 7 November 2016.
- ^ Colbert Number - from Wolfram MathWorld. Mathworld.wolfram.com (2009-04-05). Retrieved on 2014-05-11.
- ^ The Prime Glossary: Colbert number. Primes.utm.edu. Retrieved on 2014-05-11.