Les problèmes du prix du millénaire expliqués simplement : sept questions qui ont changé les mathématiques

En 2000, une fondation privée du Massachusetts, le Clay Mathematics Institute, a mis 1 million de dollars en jeu pour la résolution de chacune de sept questions mathématiques. Pas des questions faciles : de celles sur lesquelles les meilleurs mathématiciens vivants avaient déjà échoué, parfois depuis plus d'un siècle. Vingt-six ans plus tard, six sont toujours ouvertes, une a été résolue, et une autre se trouve, au 2 octobre 2026, dans une situation intermédiaire vraiment intéressante. Voici ce que chacune des sept demande réellement, en langage clair, et où chacune en est exactement aujourd'hui.

1. L'hypothèse de Riemann

La question, en une phrase : existe-t-il un motif caché et exact derrière la façon dont les nombres premiers (2, 3, 5, 7, 11, 13…) se raréfient à mesure que les nombres grandissent ?

Pris un par un, les nombres premiers semblent dispersés et imprévisibles, mais il existe un objet mathématique particulier, la fonction zêta de Riemann, dont le comportement est directement lié à la répartition des nombres premiers. L'hypothèse de Riemann prédit que tous les « zéros non triviaux » de cette fonction (des points précis où elle vaut zéro) se trouvent sur une seule droite bien déterminée. Si c'est vrai, cela fixerait exactement la régularité avec laquelle les nombres premiers sont répartis, bien plus précisément que tout ce qui est démontré aujourd'hui.

Là où l'analogie s'arrête : il est tentant d'imaginer qu'il s'agit de « trouver un motif dans les nombres premiers eux-mêmes », mais l'hypothèse porte en réalité sur une autre fonction, construite, qui encode des informations sur les nombres premiers ; ce n'est pas une règle directe du type « un nombre premier sur deux est… ».

Pourquoi c'est important : de vastes pans de la théorie des nombres supposent déjà que l'hypothèse de Riemann est vraie et s'appuient dessus ; une démonstration ferait instantanément passer des centaines de résultats existants de « vrai si RH est vraie » à simplement « vrai ».

Statut : ouverte. Plus de 10 000 milliards de ces zéros ont été vérifiés par ordinateur, et chacun se trouve exactement sur la droite prédite. Aucune exception n'a jamais été trouvée, mais aucune démonstration qu'il ne peut jamais en exister non plus.

2. P contre NP

La question, en une phrase : si la solution d'un problème est rapide à vérifier une fois qu'on l'a, est-elle toujours aussi rapide à trouver au départ ?

Pensez à un sudoku géant, ou à la recherche du meilleur itinéraire de livraison passant par 500 villes. Vérifier un sudoku complété, ou vérifier qu'un itinéraire donné reste sous une certaine longueur, ne prend presque pas de temps. Le résoudre vraiment à partir de zéro semble prendre un temps considérablement plus long à mesure que le casse-tête grandit : le nombre de possibilités explose. P contre NP demande si cet écart entre vérifier et résoudre est un fait fondamental et inévitable des mathématiques, ou simplement le signe que personne n'a encore trouvé une méthode assez astucieuse.

Pourquoi c'est important : presque chaque mot de passe, chaque site sécurisé, chaque donnée chiffrée repose sur le fait que certains problèmes sont faciles à vérifier mais difficiles à résoudre. S'il était démontré que P = NP, et qu'une méthode vraiment rapide existait, la majeure partie de la cryptographie moderne devrait être reconstruite de zéro.

Statut : ouvert. L'immense majorité des informaticiens pense que P ≠ NP (que l'écart est réel et permanent), mais personne ne l'a démontré dans un sens ou dans l'autre.

3. Le problème d'existence et de régularité de Navier-Stokes

La question, en une phrase : les équations qui décrivent le mouvement des fluides (l'eau, l'air, tout ce qui s'écoule) restent-elles toujours bien comportées, ou un écoulement initial parfaitement régulier peut-il soudain « exploser » vers une vitesse infinie ou une turbulence en un temps fini ?

Les équations de Navier-Stokes sont les mathématiques qui sous-tendent les modèles météorologiques, la conception des avions et les courants océaniques ; physiciens et ingénieurs les utilisent constamment, avec un immense succès pratique. Ce qui n'a jamais été démontré, c'est si les équations elles-mêmes sont mathématiquement fiables dans tous les cas. Partant de conditions initiales régulières et raisonnables, produisent-elles toujours des réponses régulières et sensées indéfiniment ? Ou les mathématiques elles-mêmes peuvent-elles dérailler (une « singularité ») alors que rien de physiquement aberrant ne se produit ?

Statut, au 2 octobre 2026 : véritablement intermédiaire. En septembre 2026, un résultat portant sur ce problème a été annoncé (présenté par plusieurs médias comme lié à un travail de recherche d'OpenAI), proposant un cas où un écoulement initial régulier explose bel et bien en un temps fini. Le Clay Mathematics Institute a répondu le 11 septembre 2026 que le problème a « apparemment été réglé » (« apparently been settled »), tout en précisant clairement que son processus d'évaluation est « délibérément sans hâte » (« deliberately unhurried »). Ce n'est pas la même chose qu'une attribution officielle du prix : voir l'encadré ci-dessous.

4. Le problème d'existence de Yang-Mills et du saut de masse

La question, en une phrase : les mathématiques qui sous-tendent le Modèle standard de la physique des particules peuvent-elles être posées sur des bases entièrement rigoureuses et, si oui, prédisent-elles correctement que la particule la plus légère qu'elles autorisent a une masse strictement positive (un « saut de masse »), exactement comme l'observent les expériences ?

Approfondissement master

Les physiciens utilisent déjà constamment la théorie de Yang-Mills, et elle concorde avec les expériences avec une précision extraordinaire. Il manque deux choses. D'abord, une construction mathématique entièrement rigoureuse de la théorie elle-même (le genre de fondation inattaquable qu'exigent les mathématiciens, plus que les physiciens). Ensuite, une démonstration que la théorie impose réellement l'existence de ce saut de masse, au lieu qu'il soit seulement observé en pratique.

Pourquoi c'est important : ce problème se situe exactement à la jonction de la physique et des mathématiques pures ; une solution serait l'une des confirmations les plus profondes à ce jour que la structure mathématique de la physique moderne est logiquement solide, et pas seulement efficace empiriquement.

Statut : ouvert. De nombreux mathématiciens le considèrent comme l'un des plus difficiles et des plus exigeants techniquement des sept.

5. La conjecture de Hodge

La question, en une phrase : pour une certaine famille de formes bien comportées construites à partir d'équations polynomiales, toutes leurs structures internes « naturelles » proviennent-elles vraiment de pièces algébriques plus simples, comme on s'y attend ?

Approfondissement master

Cette question relève de la géométrie algébrique, l'étude des formes définies par des équations polynomiales (la même famille d'objets que les courbes elliptiques, plus bas). Certaines formes ont des caractéristiques internes que l'on peut décrire avec la topologie (l'étude des formes dans un sens très souple, où l'on peut étirer et plier). La conjecture de Hodge prédit que, pour une classe bien précise de ces formes, chacune de ces caractéristiques topologiques peut aussi être construite directement à partir de pièces algébriques (des sous-formes qui sont elles-mêmes solutions d'équations polynomiales). La question est de savoir si deux façons différentes de regarder la même forme, topologique et algébrique, concordent toujours.

Statut : ouverte, et largement considérée comme l'une des plus difficiles à énoncer précisément pour un public non spécialiste ; démontrée dans de nombreux cas particuliers, mais pas en règle générale.

6. La conjecture de Birch et Swinnerton-Dyer

La question, en une phrase : pour un type particulier de courbe (une « courbe elliptique »), peut-on prédire combien elle a de solutions entières ou fractionnaires simplement en observant le comportement d'une fonction associée ?

Les courbes elliptiques sont des équations de la forme y² = x³ + ax + b, d'apparence trompeusement simple, et centrales en cryptographie moderne (y compris le chiffrement qui protège la plupart des applications bancaires) ainsi que dans la célèbre démonstration du dernier théorème de Fermat par Andrew Wiles. Certaines courbes elliptiques ont une infinité de solutions rationnelles ; d'autres n'en ont qu'un nombre fini. La conjecture affirme que l'on peut savoir à quel type on a affaire, et même estimer la « richesse » de ses solutions, uniquement à partir du comportement, près d'un point précis, d'une fonction distincte construite à partir de la courbe (sa fonction L).

Pourquoi c'est important : elle transformerait une question aujourd'hui traitée au cas par cas, souvent difficile à calculer (« combien de solutions cette courbe a-t-elle ? »), en quelque chose qu'on pourrait trancher grâce à une règle claire et démontrable.

Statut : ouverte, bien que vérifiée par ordinateur pour un très grand nombre de courbes elliptiques individuelles : chaque courbe testée jusqu'ici se comporte exactement comme le prédit la conjecture.

7. La conjecture de Poincaré, celle qui est résolue

La question, en une phrase : si une forme à 3 dimensions n'a aucun trou (en un sens topologique précis) et se comporte bien par ailleurs, doit-elle forcément être une sphère (de dimension supérieure), éventuellement étirée ou déformée ?

En deux dimensions, c'est presque évident : toute boucle tracée sur la surface d'une sphère peut être resserrée jusqu'à un point sans quitter la surface, alors qu'une boucle tracée autour du trou d'un beignet ne peut jamais se réduire à un point en restant sur le beignet ; une sphère et un beignet sont donc réellement des formes différentes. La conjecture de Poincaré demandait si la même règle, « pas de trou signifie que c'est en secret une sphère », vaut une dimension plus haut, pour des formes à 3 dimensions vivant dans un espace à 4 dimensions : bien plus difficile à se représenter, et bien plus difficile à démontrer.

Statut : résolue. Grigori Perelman l'a démontrée en 2002–2003, à l'aide d'une technique appelée flot de Ricci (développée par Richard Hamilton) qui « lisse » progressivement la géométrie d'une forme, étape par étape, jusqu'à ce que sa véritable structure apparaisse.

Tableau récapitulatif

À vous d'essayer : indices ou démonstration ?

Plusieurs de ces problèmes (les zéros de Riemann, les questions de type Goldbach, la conjecture de Collatz) partagent le même piège : des preuves numériques écrasantes qui donnent l'impression d'une démonstration, mais n'en sont pas une. Faites glisser le curseur ci-dessous pour comprendre pourquoi.

Pour aller plus loin

Cet article couvre les sept problèmes officiels du prix du millénaire. Les mathématiques comptent bien d'autres questions ouvertes célèbres hors de cette liste (la conjecture des nombres premiers jumeaux, la conjecture de Collatz, la conjecture abc et d'autres), chacune avec son propre statut, souvent très différent. Notre centre Mystères mathématiques non résolus les présente toutes côte à côte, avec le même soin pour distinguer ce qui est réellement démontré de ce qui est seulement soupçonné. Et si vous vous demandez si l'IA pourrait résoudre l'un de ces problèmes à notre place, L'IA sait-elle vraiment faire des maths ? se penche précisément sur cette question.