Jump to content

Riesel Sieve

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 49.218.1.135 (talk) at 18:08, 20 October 2016 (For the remaining k's in the Riesel problem base 2, k = 342847 and 444637 at n = 10M, other ks at n = 8M). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Riesel Sieve is a distributed computing project, running in part on the BOINC platform. Its aim is to prove that 509,203 is the smallest Riesel number, by finding a prime of the form k × 2n − 1 for all odd k smaller than 509,203.

Progress of the project

At the start of the project in August 2003, there were 101 k less than 509,203 for which no prime k × 2n − 1 was known. As of May 2016, 51 of these k had been eliminated by Riesel Sieve or outside persons; the largest prime found by this project is 502,573 × 27,181,987 − 1 of 2,162,000 digits,[1] and it is known that for none of the remaining k there is a prime with n < 8,000,000. (For k = 342,847 and 444,637, there is even no prime with n < 10,000,000.

The project proceeds in the same way as other prime-hunting projects like GIMPS or Seventeen or Bust: sieving eliminates pairs (k, n) with small factors, and then a deterministic test, in this case the Lucas-Lehmer-Riesel test based on the Lucas-Lehmer test, is used to check primality of numbers without small factors. Users can choose whether to sieve or to run LLR tests on candidates sieved by other users; heavily-optimised sieving software is available.

Riesel Sieve maintains lists of the primes that have been found[2] and the k whose status is still unknown.[3]

From 2010 onward, the investigation has been taken over by another distributed computing project, PrimeGrid.[4]

References

  1. ^ Riesel Sieve Project at The Prime Pages. Retrieved 2008-08-04.
  2. ^ Riesel Sieve, Project Prime Finder Hall of Fame.
  3. ^ PrimeGrid, Current k Status.
  4. ^ "Definition and status of the problem". Prothsearch.net. Retrieved 2011-02-20.