« Une avancée majeure dans la compréhension des nombres premiers », « une démonstration aux conséquences puissantes sur les théories mathématiques »... Voici quelques-uns des commentaires lus ou entendus, depuis quelques semaines, sur les forums et les sites spécialisés en mathématiques, depuis que deux jeunes mathématiciens, l'un anglais et l'autre australien, Ben Green et Terence Tao, ont rendu publique leur démonstration sur les « progressions arithmétiques de longueurs arbitraires dans les nombres premiers ».Une démonstration qui vient d'être couronnée, après vérification par des experts anonymes, par un accord de parution à venir dans la revue internationale de référence dans le domaine des mathématiques, les Annals of Mathematics.
Alors, de quoi s'agit-il ? Pour l'expliquer, il faut tout d'abord faire un détour par les nombres premiers, ces briques élémentaires de l'univers des nombres. En effet, les nombres premiers n'étant divisibles que par un et par eux-mêmes, c'est inévitablement à l'un d'entre eux qu'on aboutit lorsqu'on divise d'autres nombres entre eux.« Les nombres premiers sont aux nombres ce que les atomes sont à la matière », résume Jean-Christophe Yoccoz, mathématicien spécialiste des systèmes dynamiques et professeur au Collège de France. Mais au-delà de cette propriété principale, les nombres premiers ne cessent, depuis la nuit des temps, de fasciner les mathématiciens. Ils possèdent en effet de nombreuses autres propriétés, observables mais pas toujours démontrables, qui, mises bout à bout, dessinent une étonnante harmonie, un tout à la fois complexe, régulier et ordonné. Ainsi, on sait depuis une démonstration lumineuse du mathématicien grec Euclide, au IIIe siècle avant J.-C., que la série des nombres premiers se poursuit à l'infini... même s'il est par définition impossible de les écrire tous sur le papier ou dans un ordinateur !
Plus récemment, au XIXe siècle, le mathématicien allemand Riemann ajoutait sa pierre à l'édifice en reliant leur répartition aux propriétés analytiques d'une fonction mathématique... Précisant en cela, de façon spectaculaire, l'observation déjà faite auparavant que la fréquence d'apparition des nombres premiers diminue lorsque l'on avance dans les nombres.
Plus étonnant encore, les mathématiciens se sont aperçus, sans pouvoir le démontrer, que les intervalles qui séparent les nombres premiers entre eux répondent eux aussi à des règles précises. C'est là que l'on se rapproche du résultat récent de Green et Tao. Les mathématiciens ont observé qu'il existe une infinité de paires de nombres premiers qui ne sont séparées que par un nombre, comme par exemple la paire 3 et 5. On sait aussi, sans l'avoir encore démontré, qu'il existe à l'infini des séries de trois nombres premiers dont celui du milieu est à égale distance des deux autres.
Avancé à la fin de l'année 2004, puis vérifié depuis par des dizaines de mathématiciens à travers le monde, le résultat de Green et Tao démontre une autre forme, bien plus puissante encore, de régularité dans les suites de nombres premiers. Une harmonie dont les mathématiciens se doutaient, sans jamais avoir pu en apporter la preuve : en parcourant la succession infinie des nombres, on trouvera toujours des suites plus ou moins longues formées de deux, de trois ou plus de nombres premiers, séparés entre eux par des intervalles identiques. D'apparence banale, cette affirmation renforce aux yeux des mathématiciens le caractère fascinant de régularité des nombres premiers.
Pour les chercheurs, cette relative simplicité d'une démonstration clôturant un problème après lequel courent les mathématiciens depuis plus d'un siècle, ne la rend que plus belle. De conjecture, c'est-à-dire d'une intuition basée sur l'observation, la « progression arithmétique de longueur arbitraire des nombres premiers » est donc devenue un théorème, démontré en bonne et due forme.
Pour les chercheurs comme Jean-Christophe Yoccoz, ce résultat confirme que les nombres sont des objets à part entière, comme les atomes ou les molécules... Même si leur nature diffère, ils existent indépendamment de l'esprit qui les étudie, le cerveau des mathématiciens ne créant que les outils théoriques qui permettent de les appréhender.
