We kijken naar de volgende formule: N = k * 2^n + 1. Als we een willekeurige oneven k nemen en een n >= 1 dan levert dit algoritme zogenaamde Proth getallen op. Nu is het zo dat voor bepaalde waarden van k, elke willekeurige n een composiet (niet priem-) getal oplevert. Deze getallen (k) noemen we Sierpinski getallen. Het probleem waar we hier mee bezig zijn draait om de vraag: Wat is het kleinste Sierpinski getal.
40 jaar geleden bewees ene John Selfridge dat k = 78.557 een Sierpinski getal is. Veel wiskundigen geloven dat dit het kleinst mogelijke getal is, maar hier is nog geen bewijs voor geleverd. Om dit bewijs te leveren moet voor elk getal kleiner dan 78.557 worden bewezen dat het niet een Sierpinski getal is. Bij aanvang van dit project waren er nog 17 mogelijke kandidaten voor (k). Inmiddels zijn er daarvan al meer dan de helft gevonden.