Le Clay Mathematics Institute a reconnu publiquement pour la première fois que le problème d'existence et de régularité de Navier-Stokes – l'un des sept problèmes du Prix du Millénaire – « a apparemment été résolu ». La déclaration, publiée vendredi sur le site Internet de l'institut, place l'une des histoires d'IA et de mathématiques les plus contestées de l'année dans le processus formel d'évaluation des prix de l'institut, tout en précisant également qu'aucun prix n'a été attribué ni aucune preuve approuvée.
"Aujourd'hui, le CMI partage l'enthousiasme de la communauté mathématique mondiale alors que nous envisageons l'annonce selon laquelle le problème Navier-Stokes a apparemment été résolu", a écrit l'institut dans le communiqué daté du 11 septembre 2026. "Nous espérons voir des vagues de nouvelle compréhension humaine se déchaîner à mesure que les innovations derrière ce travail seront analysées et interrogées." Pour plus de contexte sur cette histoire, consultez notre tendances IA.
Pourquoi la déclaration est importante
Le langage mesuré de l'institut fait beaucoup de travail, et chaque mot a été analysé en quelques heures sur Hacker News, où l'annonce a rassemblé plus de 100 points. Ce que la déclaration ne dit pas est aussi important que ce qu'elle dit : le Clay Mathematics Institute ne nomme pas OpenAI, ne confirme pas qu'une preuve spécifique est correcte et ne déclenche pas l'attribution d'un prix.
Le contexte explique la retenue. Le 8 septembre, OpenAI a publié une solution revendiquée au problème Navier-Stokes, déclarant qu'un système d'IA interne – décrit par l'entreprise comme nettement plus performant que son modèle GPT-6 Astra – avait produit à la fois une preuve analytique et une vérification formelle dans l'assistant de preuve Lean. L'annonce est immédiatement devenue autant une question de crédit que de calcul, car deux mathématiciens universitaires ont publié le même jour des articles étroitement liés et les chercheurs ont fait pression sur OpenAI pour savoir dont les travaux avaient informé les résultats de la machine.
L'institut reconnaissant désormais que le problème "est apparemment réglé", le différend change de terrain : du ping-pong des communiqués de presse à la procédure d'évaluation du prix du millénaire, que l'institut qualifie de "délibérément tranquille".
Ce que demande le problème Navier-Stokes
Le problème concerne l’existence et la fluidité des solutions aux équations de Navier-Stokes dans l’espace euclidien tridimensionnel – les équations qui décrivent le mouvement des fluides tels que l’eau et l’air. Bien que ces équations soient utilisées quotidiennement par les ingénieurs, les météorologues et les aérodynamiciens, les mathématiciens n’ont jamais prouvé que des solutions fluides et physiquement raisonnables existent toujours en trois dimensions, ou qu’elles se comportent de manière prévisible plutôt que de développer des singularités.
Le Clay Mathematics Institute a dévoilé les problèmes du Prix du Millénaire lors d'une réunion à Paris en 2000, attribuant un prix d'un million de dollars à chacun des sept problèmes, qui incluent également l'hypothèse de Riemann et P contre NP. Dans sa déclaration de vendredi, l'institut a réitéré sa raison d'être initiale : sensibiliser le public au fait que la frontière mathématique est ouverte et reconnaître « les réalisations mathématiques d'une ampleur historique ».
Un seul des sept problèmes, la conjecture de Poincaré, a été résolu — par Grigori Perelman dans un travail publié en 2002 et 2003, pour lequel il a refusé à la fois la médaille Fields et le prix en argent.
Une évaluation « délibérément sans hâte » à venir
L'annonce de l'institut indique que les règles des prix constituent le cadre directeur de la suite des événements. "Les règles régissant les prix décrivent le processus d'évaluation de ce qui a été réalisé et d'attribution de crédits", indique le communiqué. "Le processus est volontairement lent, mais nous fournirons des mises à jour."
Cette formulation laisse ouvertes plusieurs questions dont la communauté mathématique débat désormais ouvertement. La vérification est le premier obstacle : une preuve de la régularité Navier-Stokes prendrait normalement plusieurs mois à un comité d'experts pour vérifier ligne par ligne. L'affirmation d'OpenAI selon laquelle son résultat inclut une formalisation vérifiée automatiquement dans Lean pourrait, en principe, réduire considérablement ce délai, puisque la vérification formelle réduit la question de l'exactitude à ce qu'un assistant de preuve acceptera. Mais l’institut n’a pas précisé si une telle formalisation lui avait été soumise, qui en étaient les arbitres, ni comment les crédits seraient répartis entre le système d’IA, ses créateurs chez OpenAI et les mathématiciens universitaires dont les articles concernés étaient parus la même semaine.
La déclaration ne précise pas non plus si une solution attribuable en grande partie à un système d'IA est admissible à un prix destiné, dans la langue fondatrice de l'institut, à reconnaître les réalisations mathématiques humaines – une question sans précédent dans les 26 ans d'histoire du prix.
La tension derrière l'annonce
L’annonce arrive à un moment extraordinairement délicat pour l’intersection de l’IA et des mathématiques. Vendredi, un groupe de 25 médaillés Fields, dont Terence Tao, a publié une déclaration formelle avertissant que la course à la présentation des systèmes d'IA sur des critères mathématiques porte préjudice à la fois à la science et à la communauté qui la soutient – une déclaration qui a rassemblé plus de 1 300 soutiens supplémentaires en une journée, comme l'a rapporté précédemment AI Buzz Wire.
Les deux documents se lisent presque comme des réponses l’un à l’autre. La déclaration des mathématiciens met en garde contre le fait de considérer les problèmes profonds comme des trophées de référence ; L'annonce de l'institut, tout en appréciant le résultat, cadre clairement le moment autour de la compréhension plutôt que de la victoire, dans l'espoir de voir « des vagues de nouvelle compréhension humaine se déchaîner à mesure que les innovations derrière ce travail sont analysées et interrogées ».
Même le propre récit de l'institut sur le domaine environnant reconnaît ce changement : « La capacité croissante des nouvelles technologies à accélérer la recherche mathématique a accru ce sentiment d'anticipation », note le communiqué, attribuant aux récentes percées dans des domaines adjacents – certaines reconnues par le Clay Research Award – l'espoir que Navier-Stokes pourrait bientôt tomber.
Ce qui vient ensuite
Pour l’instant, les conclusions pratiques sont limitées mais réelles : l’institut à qui appartient le problème a déclaré officiellement qu’il considérait le problème apparemment réglé et s’est engagé à publier des mises à jour au fur et à mesure de son évaluation. Si le travail survit à un examen minutieux, ce serait le deuxième problème du millénaire résolu, le premier en deux décennies – et le premier de l’histoire attribuable en partie à un système d’IA, une distinction qui façonnera la manière dont les institutions mathématiques traiteront la prochaine affirmation de ce type.
L'institut a demandé de la patience. Étant donné que le processus est, par conception, délibérément lent, les questions de la communauté – sur la preuve, le crédit et le rôle de la machine qui l'a produite – trouveront leur réponse dans le calendrier de l'institut, et non dans le cycle de l'actualité.
---
Restez à la Pointe de l'IALes dernières actualités, analyses et percées en IA — au même endroit.
Lire plus d'actualités IA →
