- Seventeen or Bust
-
« Seventeen or Bust » (Dix-sept ou arrêt) est un projet de calcul distribué, pour résoudre le problème de Sierpiński.
Le but de ce projet est de prouver que 78 557 est le plus petit nombre de Sierpiński. Pour ce faire, tous les nombres impairs inférieurs à 78 557 doivent être éliminés de la liste des nombres de Sierpinski possibles. Si on arrive à trouver un nombre n tel que
soit premier, alors on a prouvé que k n'est pas un nombre de Sierpiński. Avant que le projet ne commence, tous les nombres inférieurs à 78 557 sauf dix-sept avaient été éliminés.
Si le but est atteint, la conjecture du problème de Sierpiński sera démontrée. Pour le moment, des nombres premiers ont été trouvés dans onze suites, laissant six à tester.
Il existe aussi la possibilité que certaines des suites restantes ne contiennent aucun nombre premier ; si cette possibilité n'était pas présente, le problème ne serait pas intéressant. S'il existe une telle suite, le projet tournerait pour l'éternité, cherchant des nombres premiers où aucun ne peuvent être trouvés. Toutefois, puisqu'aucun mathématicien essayant de démontrer que les suites restantes contenant seulement des nombres composés n'a jamais réussi, la conjecture est généralement considérée comme plausible.
Le projet est actuellement en train de diviser les nombres parmi ses utilisateurs actifs, avec l'espoir de trouver un nombre premier dans les suites restantes. Les nombres premiers trouvés par le projet sont :
Nombres k de n de Chiffres Date 4847×23321063+1 4 847 3 321 063 999 744 15 octobre 2005 5359×25054502+1 5 359 5 054 502 1 521 561 6 décembre 2003 10223×2n+1 10 223 ??? ??? ??? 19249×213018586+1 19 249 13 018 586 3 918 990 5 mai 2007 21181×2n+1 21 181 ??? ??? ??? 22699×2n+1 22 699 ??? ??? ??? 24737×2n+1 24 737 ??? ??? ??? 27653×29167433+1 27 653 9 167 433 2 759 677 8 juin 2005 28433×27830457+1 28 433 7 830 457 2 357 207 30 décembre 2004 33661×27031232+1 33 661 7 031 232 2 116 617 17 octobre 2007 44131×2995972+1 44 131 995 972 299 823 6 décembre 2002 46157×2698207+1 46 157 698 207 210 186 27 novembre 2002 54767×21337287+1 54 767 1 337 287 402 569 22 décembre 2002 55459×2n+1 55 459 ??? ??? ??? 65567×21013803+1 65 567 1 013 803 305 190 3 décembre 2002 67607×2n+1 67 607 ??? ??? ??? 69109×21157446+1 69 109 1 157 446 348 431 7 décembre 2002 Liens externes
Wikimedia Foundation. 2010.