The project Seventeen or Bust, searching for Proth primes with a certain formula_22 to prove that 78557 is the smallest Sierpinski number (Sierpinski problem), has found 11 large Proth primes by 2007, of which 5 are megaprimes.