Sierpiński number

In mathematics, a Sierpinski number is a positive, odd, number k such that integers of the form k2ⁿ + 1 are composite (i.e. not prime) for all natural numbers n.

In other words, when k is a Sierpinski number, all members of the following set are composite:

$\left\{\,k2^{n}+1:n\in \mathbb {N} \,\right\}$

In 1960 Waclaw Sierpinski proved that there are an infinite number of odd integers that when used as k produce no primes.

The Sierpinski Problem is: "What is the smallest Sierpinski number?"

In 1962, John Selfridge proposed what is known as Selfridge's conjecture: that 78,557 was the answer to the Sierpinski problem. Selfridge found that when 78,557 was used as k in the equation, none of the numbers produced by the equation were prime. In other words, Selfridge demonstrated that 78,557 is a Sierpinski number. 78,557 has the factors 17 and 4,621.

To show that 78,557 really is the smallest Sierpinski number, one must show that all the odd numbers smaller than 78,557 are not Sierpinki numbers. As of 2000, all but seventeen of these numbers had been shown to produce primes, and were thus eliminated as possible Sierpinski numbers.

Seventeen or Bust, a distributed computing project, began testing these seventeen numbers to see if they could be eliminated as possible Sierpinski numbers. If the project finds that all of these numbers do generate a prime number when used as k, the project will have found a proof to Selfridge's conjecture.

In the first year of its existence the project succeeded in finding 6 more primes; hence there are 11 more ks to be tested.