Great Internet Mersenne Prime Search

thumb|right|Logo de GIMPS 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 . 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.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (6)

Séances de cours associées (2)

Courbes paramétrées en 2D : Exemples et propriétés

Explore les courbes paramétrées en 2D, y compris les segments, les lignes droites et les cercles avec des fonctions trigonométriques.

Modèles Vision-Langue-Action : Formation et applications

Se penche sur la formation et les applications des modèles Vision-Language-Action, en mettant l'accent sur le rôle des grands modèles linguistiques dans le contrôle robotique et le transfert des connaissances web. Les résultats des expériences et les orientations futures de la recherche sont mis en évidence.

vignette|redresse=1.2|Le supercalculateur IBM Blue Gene/P de l'Argonne National Laboratory fonctionne avec utilisant un système de refroidissement standard par air, groupé dans et interconnectés par un réseau de fibre optique à haute vitesse (2007). vignette|redresse=1.2|Le superordinateur Columbia du centre de recherche Ames Research Center de la NASA, composé de Intel Itanium 2, regroupés en de , et exécutant un système d'exploitation Linux (2006).

Le nombre d'opérations en virgule flottante par seconde ( ou FLOPS) est une unité de mesure de la rapidité de calcul d'un système informatique et donc d'une partie de sa performance. Les opérations en virgule flottante (additions ou multiplications) sont des opérations qui permettent des calculs représentant de très grands et de très petits nombres représentés par une mantisse et un exposant. De telles opérations prennent plus de temps de calcul que des opérations sur les nombres entiers et sont utilisées dans certains types d'applications.