Les problèmes du millénaire sont sept grands défis mathématiques annoncés en 2000 par le Clay Mathematics Institute. Ils s’inscrivent dans la tradition des problèmes de Hilbert, présentés à Paris en 1900. Un seul problème est officiellement résolu : la conjecture de Poincaré, démontrée par Grigori Perelman.
1. De Hilbert aux problèmes du millénaire
En 1900, lors du Congrès international des mathématiciens à Paris, David Hilbert présente une liste de vingt-trois problèmes. Ces questions ne sont pas de simples exercices difficiles : elles dessinent un programme de recherche pour le XXe siècle.
Le destin de ces problèmes est très varié. Certains ont été résolus, parfois de manière spectaculaire ; d’autres ont été partiellement résolus, reformulés, ou ont donné naissance à des théories entières. Quelques-uns restent encore ouverts.
Un exemple célèbre est le dixième problème de Hilbert. Il demandait s’il existait une méthode générale pour décider si une équation diophantienne possède une solution entière. En 1970, Yuri Matiyasevich démontre qu’un tel algorithme n’existe pas, en complétant les travaux de Martin Davis, Hilary Putnam et Julia Robinson.
En 2000, le Clay Mathematics Institute reprend cette idée : choisir un petit nombre de problèmes profonds, capables de marquer durablement la recherche. La liste est plus courte que celle de Hilbert — sept problèmes — mais chaque problème représente un domaine entier des mathématiques modernes.
2. Deux institutions au cœur de l’annonce
Le Clay Mathematics Institute
Le Clay Mathematics Institute, souvent abrégé en CMI, est un institut privé de recherche mathématique fondé à Cambridge, dans le Massachusetts. Il soutient la recherche de haut niveau, finance des chercheurs, organise des programmes scientifiques et contribue à faire connaître les grandes questions mathématiques.
En 2000, le CMI annonce les sept problèmes du millénaire et crée un fonds de 7 millions de dollars : un million de dollars est associé à la résolution de chacun des sept problèmes. Le prix ne récompense pas une annonce médiatique : une solution doit être publiée, examinée par la communauté mathématique et reconnue selon les règles du CMI.
Le Collège de France
L’annonce a lieu à Paris, au Collège de France, le 24 mai 2000. Le choix du lieu est symbolique : Paris avait déjà accueilli la conférence de Hilbert en 1900.
Fondé en 1530 sous François Ier, le Collège de France occupe une place singulière dans l’histoire intellectuelle française. Ses professeurs sont élus sur des chaires correspondant aux savoirs en train de se construire. Les cours sont gratuits, ouverts au public, sans inscription, dans la limite des places disponibles.
Parmi les figures liées à son histoire, on peut citer Guillaume Budé, qui inspira sa création, Oronce Finé, premier lecteur royal en mathématiques, puis plus récemment Claude Lévi-Strauss, Pierre-Gilles de Gennes, Alain Connes ou Pierre-Louis Lions.
3. Les sept problèmes en un coup d’œil
Au sens officiel du Clay Mathematics Institute, la conjecture de Poincaré est le seul problème du millénaire résolu. Les autres problèmes restent des frontières majeures de la recherche, même lorsque des annonces récentes ou des progrès importants existent.
| Problème | Domaine | Question centrale | Statut |
|---|---|---|---|
| \(P\) contre \(NP\) | Informatique théorique | Ce qui est facile à vérifier est-il facile à trouver ? | Ouvert |
| Hypothèse de Riemann | Théorie des nombres | Comprendre la répartition fine des nombres premiers. | Ouvert |
| Navier–Stokes | Analyse, mécanique des fluides | Les équations des fluides restent-elles toujours régulières ? | Annonce récente à vérifier |
| Yang–Mills et gap de masse | Physique mathématique | Construire rigoureusement une théorie quantique des champs. | Ouvert |
| Conjecture de Hodge | Géométrie algébrique | Relier géométrie algébrique et topologie. | Ouvert |
| Birch et Swinnerton-Dyer | Courbes elliptiques | Relier solutions rationnelles et fonctions \(L\). | Ouvert |
| Conjecture de Poincaré | Topologie | Reconnaître la sphère de dimension 3. | Résolu |
La prudence sur les statuts est essentielle : une preuve proposée, même accompagnée d’une formalisation informatique, ne devient pas automatiquement une résolution officielle d’un problème du millénaire. Elle doit être relue, discutée et validée par les spécialistes.
4. Les sept problèmes du millénaire
1. Le problème \(P\) contre \(NP\)
Ouvert Informatique théorique
Niveau 1 — Vulgarisation.
Certains problèmes sont très difficiles à résoudre, mais très faciles à vérifier une fois qu’on a une solution. Un sudoku difficile peut prendre longtemps à compléter, mais une grille remplie se vérifie rapidement. Le problème \(P\) contre \(NP\) demande si tout problème facile à vérifier est aussi facile à résoudre.
Niveau 2 — Complexité, algorithmes et cryptographie
La classe \(P\) désigne les problèmes que l’on peut résoudre en temps polynomial. La classe \(NP\) désigne les problèmes pour lesquels une solution proposée peut être vérifiée en temps polynomial.
La question est donc :
\[ P = NP \quad ? \]Si \(P=NP\), de nombreux problèmes d’optimisation et de décision deviendraient théoriquement beaucoup plus accessibles. Cela aurait aussi des conséquences majeures en cryptographie. La plupart des spécialistes pensent que \(P\neq NP\), mais aucune preuve n’est connue.
Lien Math93. Voir aussi la page sur les problèmes NP-complets.
2. L’hypothèse de Riemann
Ouvert Théorie des nombres
Niveau 1 — Vulgarisation.
Les nombres premiers semblent répartis de manière irrégulière. Pourtant, ils obéissent à des lois profondes. L’hypothèse de Riemann affirme que certaines oscillations cachées de la fonction zêta sont parfaitement alignées. Elle donnerait une compréhension très fine de la répartition des nombres premiers.
Niveau 2 — Fonction zêta, zéros et droite critique
Bernhard Riemann introduit en 1859 la fonction zêta :
\[ \zeta(s)=\sum_{n=1}^{+\infty}\frac{1}{n^s}, \]d’abord définie lorsque la partie réelle de \(s\) est strictement supérieure à \(1\), puis prolongée à presque tout le plan complexe.
Les zéros non triviaux de cette fonction sont situés dans la bande critique. L’hypothèse de Riemann affirme qu’ils ont tous une partie réelle égale à :
\[ \frac12. \]Cette propriété contrôlerait très finement les erreurs dans les formules qui approchent le nombre de nombres premiers inférieurs à une valeur donnée.
Lien Math93. Voir aussi la page consacrée à Bernhard Riemann.
3. Les équations de Navier–Stokes
Annonce récente à vérifier Analyse et fluides
Niveau 1 — Vulgarisation.
Les équations de Navier–Stokes décrivent le mouvement des fluides : eau, air, fumée, océans ou atmosphère. Le problème demande si, en dimension 3, ces équations donnent toujours des solutions régulières, ou si une singularité peut apparaître en temps fini.
Niveau 2 — Existence, régularité et singularités
Les équations de Navier–Stokes incompressibles peuvent s’écrire :
\[ \frac{\partial u}{\partial t} +(u\cdot\nabla)u = -\nabla p+\nu \Delta u+f, \]avec la condition d’incompressibilité :
\[ \nabla\cdot u=0. \]Ici, \(u\) représente le champ de vitesse du fluide, \(p\) la pression, \(\nu\) la viscosité cinématique et \(f\) une force extérieure.
Le cœur du problème est de savoir si des données initiales régulières peuvent conduire à une solution globale régulière, ou si une singularité peut apparaître en temps fini. Le terme non linéaire \((u\cdot\nabla)u\) est l’une des principales difficultés.
En 2026, OpenAI a annoncé une preuve assistée par intelligence artificielle liée à Navier–Stokes, accompagnée d’un texte mathématique et d’une formalisation en Lean. Cette annonce doit être distinguée de la validation par la communauté mathématique et du statut officiel du Clay Mathematics Institute.
Une page liée pourra développer ce point : formulation exacte du problème, singularités, rôle de l’IA, formalisation, crédit scientifique et processus de validation.
4. Yang–Mills et le gap de masse
Ouvert Physique mathématique
Niveau 1 — Vulgarisation.
Les théories de Yang–Mills décrivent certaines forces fondamentales de la physique. Les physiciens les utilisent avec succès, mais les mathématiciens cherchent encore une construction rigoureuse complète montrant l’existence d’un gap de masse.
Niveau 2 — Champs quantiques et gap de masse
En physique moderne, les particules et les interactions sont décrites par des champs quantiques. Les théories de Yang–Mills jouent un rôle central dans le modèle standard.
Le problème consiste à construire rigoureusement une théorie quantique de Yang–Mills en dimension 4 et à démontrer l’existence d’un gap de masse : une énergie minimale strictement positive pour produire certaines excitations du champ.
5. La conjecture de Hodge
Ouvert Géométrie algébrique
Niveau 1 — Vulgarisation.
Certaines formes géométriques sont définies par des équations polynomiales. La conjecture de Hodge demande si certains objets topologiques associés à ces formes proviennent toujours d’objets algébriques plus concrets.
Niveau 2 — Cycles algébriques et cohomologie
La géométrie algébrique étudie les ensembles définis par des équations polynomiales. Ces ensembles peuvent aussi être étudiés avec des outils de topologie, qui décrivent des cycles et des structures globales.
La théorie de Hodge relie ces deux points de vue. La conjecture affirme, dans un cadre précis, que certaines classes de cohomologie doivent provenir de cycles algébriques.
6. La conjecture de Birch et Swinnerton-Dyer
Ouvert Courbes elliptiques
Niveau 1 — Vulgarisation.
Les courbes elliptiques sont des équations de degré 3 qui possèdent une structure arithmétique très riche. La conjecture cherche à relier le nombre de solutions rationnelles d’une courbe elliptique au comportement d’une fonction associée à cette courbe.
Niveau 2 — Rang et fonctions \(L\)
Une courbe elliptique peut souvent s’écrire sous la forme :
\[ y^2=x^3+ax+b. \]On s’intéresse aux solutions rationnelles, c’est-à-dire aux points dont les coordonnées sont des nombres rationnels. Ces points forment un groupe, dont une partie importante est mesurée par le rang de la courbe.
À chaque courbe elliptique, on associe une fonction \(L\). La conjecture de Birch et Swinnerton-Dyer affirme que l’ordre d’annulation de cette fonction en un point particulier encode précisément le rang de la courbe.
Les courbes elliptiques ont joué un rôle central dans la démonstration du dernier théorème de Fermat par Andrew Wiles.
7. La conjecture de Poincaré
Résolu Grigori Perelman
Niveau 1 — Vulgarisation.
La conjecture de Poincaré cherche à reconnaître la sphère de dimension 3. En dimension 2, une surface fermée sans trou est essentiellement une sphère. Poincaré a demandé si une propriété analogue permettait de reconnaître la sphère en dimension 3.
Niveau 2 — Variétés, simple connexité et flot de Ricci
Une variété est un espace qui ressemble localement à un espace euclidien. La conjecture de Poincaré affirme qu’une variété compacte de dimension 3, sans bord et simplement connexe, est homéomorphe à la sphère \(S^3\).
Grigori Perelman a démontré ce résultat au début des années 2000 en utilisant le flot de Ricci, une méthode introduite par Richard Hamilton. Sa preuve s’inscrit dans le cadre plus large de la conjecture de géométrisation de Thurston.
Le Clay Mathematics Institute lui a attribué le Millennium Prize en 2010, mais Perelman l’a refusé.
5. Pourquoi la conjecture de Poincaré est-elle à part ?
La conjecture de Poincaré est le seul problème du millénaire officiellement résolu. Elle est aussi particulière parce qu’elle appartient à la topologie, un domaine où l’on étudie les formes par leurs propriétés globales : trous, connexité, déformations.
La preuve de Perelman est longue, difficile et profondément liée au flot de Ricci. L’idée générale est de faire évoluer une géométrie comme on ferait diffuser de la chaleur, afin de lisser progressivement les irrégularités d’un espace.
Cette résolution ne règle pas seulement une question isolée : elle confirme une vision beaucoup plus vaste de la géométrie des espaces de dimension 3.
6. Intelligence artificielle, Navier–Stokes et validation scientifique
Les progrès récents de l’intelligence artificielle posent une question nouvelle : une IA peut-elle produire une preuve mathématique d’un très haut niveau ? Peut-elle seulement aider à trouver une stratégie, ou peut-elle aller jusqu’à proposer une démonstration complète ?
L’actualité autour de Navier–Stokes rend cette question particulièrement sensible. En 2026, OpenAI a annoncé une preuve liée à ce problème, avec un texte mathématique et une formalisation en Lean. Une telle annonce est majeure, mais elle ne suffit pas à elle seule à clore un problème du millénaire.
Il faut distinguer plusieurs niveaux :
- produire une intuition ou une piste ;
- écrire une preuve mathématique complète ;
- formaliser tout ou partie de cette preuve dans un assistant comme Lean ;
- faire relire et valider la preuve par les spécialistes ;
- obtenir éventuellement une reconnaissance officielle du Clay Mathematics Institute.
Cette distinction sera essentielle dans la page liée consacrée à Navier–Stokes : on y séparera l’équation, le problème officiel, les idées mathématiques, le rôle des chercheurs humains, l’apport de l’IA, et le processus de validation.
7. Sources et références
Les sources ci-dessous distinguent les références institutionnelles, les références historiques et les sources liées à l’actualité récente sur Navier–Stokes et l’intelligence artificielle.
Sources institutionnelles
- Clay Mathematics Institute — The Millennium Prize Problems. Source officielle pour la liste des sept problèmes, leur statut et les règles générales du prix.
https://www.claymath.org/millennium-problems/ - Clay Mathematics Institute — The Millennium Prize Problems, volume de référence. Présentation du lien avec Hilbert, de l’annonce au Collège de France et du fonds de 7 millions de dollars.
https://www.claymath.org/resource/book-title-the-millennium-prize-problems/ - Clay Mathematics Institute — Paris Millennium Event. Documents liés à l’événement de Paris, organisé au Collège de France les 24 et 25 mai 2000.
https://www.claymath.org/lectures/the-millennium-prize-problems-i/ - Clay Mathematics Institute — Poincaré Conjecture. Page officielle du problème résolu.
https://www.claymath.org/millennium/poincare-conjecture/ - Collège de France — Le Collège de France aujourd’hui. Source officielle sur le rôle de l’institution, ses missions de recherche et d’enseignement.
https://www.college-de-france.fr/fr/le-college/le-college-de-france-aujourd-hui - Collège de France — 5 siècles d’histoire. Source officielle sur la création de l’institution en 1530 et les premiers lecteurs royaux.
https://www.college-de-france.fr/fr/institution-et-son-histoire/5-siecles-histoire
Sources historiques et mathématiques
- David Hilbert — Mathematical Problems. Texte issu de la conférence de Hilbert au Congrès international des mathématiciens de Paris en 1900.
https://en.wikisource.org/wiki/Mathematical_Problems - MacTutor History of Mathematics — Hilbert’s Problems. Présentation historique des problèmes de Hilbert et de leur influence.
https://mathshistory.st-andrews.ac.uk/Extras/Hilbert_Problems/ - Clay Mathematics Institute — Poincaré Chair. Page rappelant que Grigori Perelman a reçu le Millennium Prize en 2010 pour la conjecture de Poincaré.
https://www.claymath.org/news/poincare-chair/
Sources sur Navier–Stokes et l’actualité IA
- OpenAI — On the Navier–Stokes Millennium Prize Problem. Annonce officielle d’OpenAI présentant une preuve proposée et une formalisation en Lean.
https://openai.com/index/navier-stokes-solution/ - Nature — OpenAI claims huge maths breakthrough on a famed Millennium Problem. Article de presse scientifique présentant l’annonce et les réactions prudentes de la communauté scientifique.
https://www.nature.com/articles/d41586-026-02842-5