Quel est le nombre premier le plus grand connu en 2023 ?
La réponse
En savoir plus
En 2023, le plus grand nombre premier connu est 2^82 589 933 - 1. Son écriture compacte masque une taille extraordinaire : développé en notation décimale, il comporte plus de 24 millions de chiffres, exactement 24 862 048. Il ne s’agit pas du plus grand nombre premier qui puisse exister, car les nombres premiers sont en quantité infinie, mais du plus grand découvert et vérifié à cette date. Ce record illustre à la fois la puissance des méthodes mathématiques spécialisées et les capacités de calcul mobilisées par la recherche contemporaine.
Un nombre premier de Mersenne
Le nombre 2^82 589 933 - 1 appartient à la famille des nombres de Mersenne, définis par la forme 2^p - 1. Pour qu’un tel nombre puisse être premier, son exposant p doit lui-même être un nombre premier ; toutefois, cette condition ne suffit pas à garantir que 2^p - 1 soit premier. Les nombres de Mersenne sont particulièrement intéressants parce que leur structure permet d’utiliser des procédures de vérification adaptées, notamment le test de Lucas-Lehmer. Au lieu d’examiner une à une toutes les divisions possibles, les chercheurs appliquent ainsi un calcul spécialement conçu pour cette forme de nombres.
Le rôle du projet GIMPS
La découverte de ce record est due au projet GIMPS, sigle de Great Internet Mersenne Prime Search. Lancé en 1996, ce projet repose sur une recherche informatique distribuée : des milliers d’ordinateurs, appartenant à des participants répartis dans le monde, effectuent chacun une partie des calculs nécessaires. Cette organisation permet de tester de très grands nombres de Mersenne sans concentrer toute la tâche sur une seule machine. Lorsqu’un candidat est identifié, des calculs de vérification établissent son caractère premier avec le niveau de rigueur requis pour annoncer un nouveau record.
Un record exprimé sous forme compacte
Écrire intégralement ce nombre n’apporterait guère d’information supplémentaire : sa représentation décimale s’étend sur 24 862 048 chiffres. La formule 2^82 589 933 - 1 est donc à la fois sa définition et le moyen le plus lisible de le désigner. La performance tient moins à la possibilité de conserver une longue suite de chiffres qu’à la capacité de calculer et de vérifier la primalité d’un nombre de cette ampleur. Les recherches du GIMPS montrent ainsi comment une question classique de théorie des nombres peut mobiliser des algorithmes spécialisés et une puissance informatique répartie à très grande échelle.
