Great Internet Mersenne Prime Search
Le Great Internet Mersenne Prime Search, ou GIMPS, est un projet de calcul partagé où les volontaires utilisent un logiciel client pour chercher les nombres premiers de Mersenne.
Le projet a été fondé par George Woltman, qui est aussi le créateur du logiciel de calcul distribué employé.

L'algorithme utilisé est le test de primalité de Lucas-Lehmer pour les nombres de Mersenne.

Ce projet a permis de trouver les quinze plus grands nombres premiers de Mersenne connus qui sont aussi les quinze plus grands nombres premiers connus. Le plus grand connu depuis  est 2 − 1, un nombre de  24 862 048 chiffres.

Ainsi, le GIMPS a pu remporter le , la première récompense de  offerte par l'Electronic Frontier Foundation pour la découverte du premier nombre premier de plus d'un million de chiffres (avec M6 972 593 de  chiffres). Des règles de répartition de la récompense sont prévues par le GIMPS entre l'internaute qui trouve le nombre, le GIMPS, des œuvres caritatives et les autres internautes qui participent au GIMPS et trouvent des nombres premiers. L'Electronic Frontier Foundation offre d'autres récompenses de 100 000,  et de  pour, respectivement, la découverte de nombres premiers de plus de 10, 10 et 10 chiffres. Le GIMPS ayant trouvé le , M43 112 609, un nombre premier de  chiffres, a remporté le second prix de .

Nombres premiers découverts 

Un nombre premier de Mersenne, noté Mp, est un nombre premier s'écrivant sous la forme , p étant un nombre premier. 

Avec la notation Mn, n est le rang du nombre de Mersenne. Au , M44 (2-1) est le plus grand nombre premier de Mersenne pour lequel on sait qu'il n'y a pas d'autre nombre premier de Mersenne plus petit encore inconnu. La vérification est en cours pour les nombres plus grands. Notons que les nombres ne sont pas forcément découverts dans l'ordre croissant, puisque la découverte se fait par un travail collaboratif de milliers d'ordinateurs.  Au  tous les exposants inférieurs à 47 730 973 ont été testés et contrôlées ce qui garantit que M46 est bien le 46 M et tous les exposants inférieurs à 84 589 913 ont été testés au moins une fois ce qui pré-garantit que tous les nombres de Mersenne inférieur à M51 ont été trouvés.

Note

Voir aussi 
 Prime95
 Calcul distribué
 Plus grand nombre premier connu
 Nombre de Mersenne premier

Liens externes 

  Site officiel en anglais
  Wiki officiel 

Calcul distribué
Nombre premier de Mersenne
Test de primalité