OpenAI fait craquer Navier-Stokes

OpenAI affirme avoir résolu l’un des sept problèmes du millénaire en démontrant qu’une force extérieure peut conduire un fluide à une singularité. Le résultat, accueilli favorablement mais avec prudence par le Clay Mathematics Institute, ne règle pas le cas des fluides sans forçage.

Les équations de Navier-Stokes décrivent le mouvement des fluides, des courants océaniques aux volutes de fumée en passant par le jet d’un tuyau d’arrosage. Savoir si leurs solutions en trois dimensions restent toujours régulières et finies, ou si elles peuvent diverger jusqu’à perdre tout sens mathématique, constitue l’un des sept problèmes du millénaire posés par le Clay Mathematics Institute. Le 8 septembre, OpenAI a publié un manuscrit de 166 pages, accompagné d’une preuve formelle vérifiable par une machine, qui prétend apporter une solution. Trois jours plus tard, Clay a estimé que le problème « semble avoir été résolu » : une réaction particulièrement favorable, mais encore expressément provisoire.

La portée exacte de cette annonce est plus étroite que ne le laisse entendre une partie des commentaires. Le résultat d’OpenAI concerne des fluides soumis à un forçage : une poussée extérieure, régulière et soigneusement construite, conduit en un temps fini un fluide initialement immobile vers une singularité, c’est-à-dire un point où les équations ne donnent plus de résultat fini. La preuve ne dit pas si un fluide ordinaire, abandonné à sa propre dynamique, peut atteindre spontanément un tel état. Toute l’interprétation du résultat repose sur cette distinction.

Pourquoi le forçage est décisif

L’énoncé officiel du problème prévoit quatre voies de résolution. Deux consistent à démontrer que les écoulements réguliers le restent toujours. Les deux autres, les options C et D, autorisent la construction d’une situation dans laquelle cette régularité finit nécessairement par disparaître ; dans ces deux cas, Clay permet explicitement l’intervention d’une force extérieure régulière.

OpenAI a choisi cette seconde voie. Selon son manuscrit, quel que soit le niveau de viscosité — la propriété qui fait couler le miel plus lentement que l’eau —, une force régulière spécialement conçue peut mener un fluide au repos vers une singularité tout en maintenant son énergie cinétique totale à un niveau borné. Si le raisonnement résiste à l’examen, il répond bien aux conditions fixées par Clay.

La méthode prolonge des travaux antérieurs. Les mathématiciens espagnols Diego Córdoba et Luis Martínez-Zoroa, avec Fan Zheng, avaient déjà montré dans une prépublication qu’un forçage pouvait provoquer une singularité dans une version affaiblie des équations, où l’effet régularisateur de la viscosité avait été artificiellement réduit. L’avancée revendiquée par OpenAI consiste à faire fonctionner cette stratégie avec les équations complètes, sans modification.

Ce que Lean vérifie réellement

Le dépôt Lean 4 qui accompagne le manuscrit donne à l’annonce son caractère inhabituel. Lean est un assistant de preuve : le programme rejette toute étape logique qui ne découle pas des définitions encodées et des règles admises. Chaque inférence passe ainsi par un noyau logiciel restreint, conçu pour être fiable.

Ce dispositif facilite considérablement le contrôle du raisonnement par rapport à la seule lecture d’une démonstration rédigée. Sa garantie reste toutefois circonscrite à la cohérence interne : Lean vérifie que les conclusions découlent des définitions introduites dans le système. Il revient encore aux spécialistes de la mécanique des fluides de déterminer si ces définitions traduisent fidèlement toutes les conditions de l’énoncé de Clay. Le manuscrit et le dépôt ont été publiés par l’entreprise, sans évaluation par les pairs, et aucun audit indépendant de l’intégralité du code n’avait été rendu public au 14 septembre.

OpenAI affirme qu’un système propriétaire réunissant plusieurs instances d’intelligence artificielle travaillant en parallèle a produit le résultat analytique, avant que son modèle GPT-6 Astra ne le formalise dans Lean (OpenAI). Les chiffres avancés par l’entreprise sur l’ampleur et la rapidité du travail ne peuvent pas être reproduits de manière indépendante : les chercheurs extérieurs peuvent examiner le résultat, mais pas recréer le processus qui l’a engendré.

Quanta Magazine a rapporté qu’environ douze heures avant l’annonce d’OpenAI, Tristan Buckmaster, de NYU, et Levent Alpöge, affilié à Anthropic, avaient publié des résultats connexes, obtenus avec l’aide de l’intelligence artificielle sur des équations de fluides voisines. Eux aussi s’appuyaient sur la stratégie de Córdoba et Martínez-Zoroa. La convergence de deux laboratoires privés vers une piste ouverte par des universitaires relativise donc le récit d’une percée produite par l’IA seule.

La suite du processus

Le règlement du prix impose une publication dans une revue à comité de lecture reconnue, au moins deux années d’examen par la communauté scientifique et la constatation d’un consensus général avant même qu’un comité spécial commence ses délibérations. À ce stade, aucune soumission du manuscrit d’OpenAI à une revue n’a été identifiée.

Si l’examen indépendant valide la preuve, celle-ci établira que les équations tridimensionnelles ordinaires de Navier-Stokes, lorsqu’elles sont soumises à un forçage régulier, peuvent produire une singularité en un temps fini. Le cas sans forçage restera ouvert : on ignorera toujours si un fluide régi par sa seule dynamique peut spontanément diverger. OpenAI aurait ainsi tranché l’une des deux branches d’une question vieille de plusieurs siècles, sans épuiser le problème physique et mathématique qui lui donne toute sa portée.