La preuve de Navier-Stokes par OpenAI ne bouleversera pas la dynamique des fluides, selon les ingénieurs

Le 8 septembre, OpenAI a annoncé qu'un système d'IA interne non publié avait produit une preuve que les équations de Navier-Stokes en trois dimensions peuvent développer une singularité en temps fini, résolvant potentiellement l'un des six problèmes du prix du millénaire posés par le Clay Mathematics Institute en 2000. L'entreprise a publié un document de 166 pages et une vérification formelle dans l'assistant de preuve Lean, bien que le résultat attende encore une évaluation indépendante par des experts.OpenAI+3

Ce que prétend la preuve

Les équations de Navier-Stokes, qui décrivent le mouvement des fluides comme l'air et l'eau, sont utilisées depuis près de deux siècles dans des applications allant de la conception aéronautique aux prévisions météorologiques. La question mathématique de longue date était de savoir si des solutions lisses à ces équations pouvaient s'effondrer, produisant des vitesses infinies physiquement impossibles.scientificamerican+1

OpenAI affirme que son système a construit un scénario dans lequel un fluide commençant au repos, soumis à une force externe lisse, forme un vortex qui s'enroule vers l'intérieur et développe une vitesse illimitée en un temps fini, tout en conservant une énergie finie. "Notre preuve montre qu'il existe des fluides qui commencent de manière parfaitement normale et, selon les équations de Navier-Stokes, atteignent en fait une vitesse infinie en un temps fini", a déclaré le chercheur en informatique d'OpenAI, Ven Chandrasekaran, lors d'un point de presse, comme rapporté par Nature. L'entreprise a déclaré qu'elle n'avait pas l'intention de réclamer le prix d'un million de dollars.nature+3

L'effort de calcul a impliqué environ 10 000 agents d'IA simultanés fonctionnant sur un modèle décrit comme plus performant que GPT-6 Astra. Les agents ont atteint le résultat après environ 88 heures de travail à partir du 1er septembre, avec 17 heures supplémentaires pour la formalisation dans Lean.thebrighterside+1

Un conflit de priorité

L'annonce a déclenché un conflit concernant la priorité mathématique. Le mathématicien de NYU Tristan Buckmaster et le chercheur d'Anthropic Levent Alpöge avaient progressé sur des problèmes d'explosion étroitement liés en utilisant des outils d'IA, notamment Codex d'OpenAI. Dans une déclaration publique, Buckmaster a écrit : "Je n'ai pas vu la preuve d'OpenAI. Je ne sais pas ce que leur modèle a fait, ni comment. Je ne sais pas si nos données ont été utilisées. Je n'accuse personne de quoi que ce soit". Le New York Times a rapporté qu'OpenAI a déclaré qu'il était "catégoriquement" impossible que son système ait été influencé par les travaux récents de Buckmaster.nytimes+2

Des implications réelles encore lointaines

Les ingénieurs affirment que le résultat, s'il est confirmé, ne change pas grand-chose à court terme. "En bref, pas grand-chose", a déclaré Justin Beroz, PDG de la société d'ingénierie ReynKo, concernant l'effet sur le travail pratique en dynamique des fluides. Le professeur adjoint de NYU, Florian Schaefer, a noté que les équations sont déjà comprises comme étant une approximation et que le scénario de singularité construit est trop artificiel pour affecter les applications du monde réel.scientificamerican

Le médaillé Fields Terence Tao a soulevé des préoccupations plus larges concernant le rythme des découvertes mathématiques pilotées par l'IA. "C'est un peu comme aller voir un film et sauter directement des dix premières minutes aux dix dernières", a déclaré Tao à The Brighter Side of News. "Techniquement, toutes les intrigues sont résolues, mais la majeure partie de la valeur de l'expérience a été perdue". Le Clay Mathematics Institute continue de lister Navier-Stokes parmi ses problèmes non résolus, et l'acceptation formelle de la preuve reste une question ouverte.popularai+1