Une IA d'OpenAI résout le problème du millénaire de Navier-Stokes

Résumé

OpenAI publie une solution au problème d’existence et de régularité de Navier–Stokes, produite par un système d’IA interne et formalisée dans l’assistant de preuve Lean.

Les faits

OpenAI annonce partager « une solution au problème d’existence et de régularité de Navier–Stokes, l’un des problèmes du millénaire ». L’entreprise précise que la démonstration, produite par « un système interne d’OpenAI », montre que « la dynamique des équations de Navier–Stokes pour le mouvement d’un fluide peut développer une singularité en temps fini ». Elle publie à la fois un exposé détaillé de la preuve et « une formalisation dans Lean ». Le billet rappelle que les problèmes du millénaire constituent « certaines des questions les plus profondes à la frontière des mathématiques » et que la possibilité de rupture d’un écoulement fluide tridimensionnel lisse « est restée non résolue pendant environ 90 ans ». Les équations de Navier–Stokes, issues de la deuxième loi de Newton « F = ma », décrivent le mouvement des fluides considérés comme des milieux continus et sont utilisées « pour la conception d’avions, la prévision météorologique et l’étude de l’écoulement sanguin ». OpenAI affirme que son système a produit « une preuve analytique et une formalisation en Lean » établissant qu’« un fluide initialement lisse au repos peut développer une singularité en un temps fini ». Le fluide est soumis à « une force lisse » et « son énergie reste finie pendant toute la dynamique, du repos jusqu’à la formation de la singularité ». Selon OpenAI, ce résultat « résout le problème du millénaire Navier–Stokes » en établissant les énoncés « C » et « D » de la formulation officielle. La solution décrite prend la forme d’un vortex, « un tourbillon de fluide en rotation » qui « s’enroule vers l’intérieur et devient de plus en plus allongé, comme des spaghettis ». La région centrale se contracte tout en accélérant, « de manière à ce que son énergie reste finie », conformément aux lois de la physique. La difficulté technique consiste à faire apparaître cette rupture par la seule dynamique du fluide : les termes des équations de Navier–Stokes liés à « l’accélération, aux gradients de pression, au transport de quantité de mouvement et à la viscosité » doivent devenir très grands tout en « se compensant » précisément, de sorte que la force externe reste lisse alors même que la vitesse du fluide devient sans borne.

Pourquoi c’est important

OpenAI présente ce travail comme aligné sur « un objectif majeur » : « permettre aux scientifiques de faire progresser la recherche et la technologie au bénéfice de toute l’humanité ». Pour résoudre le problème de Navier–Stokes, l’équipe a utilisé « un modèle interne sensiblement plus performant que GPT‑6 Astra » et indique vouloir « informer le monde du rythme des progrès de l’IA et de ce qu’il faut attendre des modèles à venir ». L’annonce donne ainsi un aperçu du niveau atteint par les systèmes d’IA sur des questions mathématiques réputées inaccessibles. Sur le plan méthodologique, OpenAI décrit un dispositif multi-agents de grande ampleur. Depuis le 28 août, l’entreprise entraînait « un nouveau modèle interne » dont les performances, y compris en mathématiques, se sont révélées « sans précédent ». À partir du 1er septembre, elle lance une évaluation « sur l’ensemble des problèmes du millénaire encore ouverts » à l’aide de groupes d’agents capables de lire une version mise en cache d’internet et d’exécuter du code. Le groupe qui a abouti à la résolution Navier–Stokes impliquait « de l’ordre de 10 000 agents concurrents », opérant sous « les mêmes garde-fous stricts » que pour les évaluations de modèles de pointe. Cette approche illustre une nouvelle étape dans l’usage coordonné de milliers d’agents d’IA pour explorer systématiquement des problèmes scientifiques complexes.

Questions fréquentes

Quel problème OpenAI affirme-t-il avoir résolu ?

OpenAI annonce une solution au problème d’existence et de régularité de Navier–Stokes, l’un des problèmes du millénaire en mathématiques.

Quel est le résultat principal sur les équations de Navier–Stokes ?

La preuve montre qu’un fluide incompressible tridimensionnel initialement lisse au repos peut développer une singularité en un temps fini, avec énergie finie.

Quel type de solution de fluide est mis en avant ?

OpenAI décrit un vortex, un tourbillon qui s’enroule vers l’intérieur et s’allonge comme des spaghettis, dont la région centrale se contracte tout en accélérant.

Quel modèle d’IA OpenAI a-t-il utilisé ?

OpenAI indique avoir utilisé un modèle interne « significativement plus performant que GPT‑6 Astra » pour résoudre le problème.

Combien d’agents d’IA ont collaboré sur ce problème ?

Le groupe d’agents ayant produit la résolution de Navier–Stokes comptait « de l’ordre de 10 000 agents concurrents » selon OpenAI.

Source

Auteur

Rédaction spécialisée dans la veille et l'analyse de l'actualité de l'intelligence artificielle, des puces IA, des robots, des agents IA et de la recherche.