L’Institut de mathématiques Clay réagit aux affirmations d’OpenAI sur Navier-Stokes

OpenAI a annoncé le 8 septembre qu'un modèle d'IA interne non publié, déployant environ 10 000 agents autonomes pendant 88 heures, avait produit une démonstration selon laquelle les équations de Navier-Stokes tridimensionnelles peuvent développer une singularité en temps fini : un résultat qui, s'il est validé, résoudrait l'un des six problèmes du prix du millénaire encore non résolus, posés par l'Institut de mathématiques Clay en 2000. Cette annonce a toutefois été obscurcie par un différend croissant avec Tristan Buckmaster, mathématicien à NYU, et Levent Alpöge, chercheur chez Anthropic, au sujet de la paternité des travaux et du rôle potentiel de données privées.nature+2

Une avancée revendiquée en dynamique des fluides

Les équations de Navier-Stokes décrivent le mouvement de fluides comme l'eau et l'air, et la question de savoir si leurs solutions restent toujours régulières ou peuvent « exploser », générant des vitesses infinies physiquement impossibles, reste ouverte depuis des décennies. OpenAI a affirmé que sa preuve démontre qu'un fluide initialement régulier et au repos peut développer une telle singularité sous l'effet d'un forçage externe régulier, le résultat ayant été vérifié à l'aide de Lean, un langage de démonstration formelle de théorèmes. Cette opération a coûté des « millions de dollars » en puissance de calcul, selon des responsables d'OpenAI lors d'une conférence de presse.axios+3

Scientific American S&P Global Inc. ↗ 0.07% a rapporté que la vérification par Lean « garantit presque » l'exactitude de la preuve, bien que l'ensemble de la communauté mathématique n'ait pas encore terminé l'évaluation par les pairs. L'Institut de mathématiques Clay a déclaré le 11 septembre qu'il « partage l'enthousiasme » à mesure que le résultat est « analysé et interrogé », sans pour autant déclarer le problème résolu.scientificamerican+1

La querelle sur l'attribution des travaux

Cette avancée survient sur fond d'accusations formulées par Tristan Buckmaster. Ce dernier affirme qu'OpenAI a accéléré ses travaux après avoir eu connaissance de recherches connexes qu'il menait avec Levent Alpöge, en partie à l'aide de l'outil Codex d'OpenAI. Buckmaster et Alpöge ont publié leurs propres résultats le 7 septembre, montrant une explosion en temps fini pour des équations de fluides similaires mais simplifiées. Selon un article de TechRepublic, Buckmaster soutient qu'OpenAI lui a proposé la paternité exclusive de la solution sur Navier-Stokes à condition de retirer le nom d'Alpöge, une affirmation démentie par le chercheur d'OpenAI Sébastien Bubeck.techrepublic+3

OpenAI a déclaré que ses chercheurs et ses agents « n'ont eu connaissance de leurs travaux par aucun moyen avant leur publication officielle » et qu'« aucune donnée d'utilisateur spécifique n'a été consultée pour résoudre ce problème ». L'entreprise a toutefois reconnu qu'elle « ne peut exclure que des données anonymisées issues de l'utilisation de ses produits aient contribué à améliorer ses modèles ». Buckmaster a publiquement qualifié la version de Bubeck de « totalement fausse », et Bubeck a par la suite présenté des excuses pour une remarque formulée lors de leurs échanges, d'après The Next Web.thenextweb+4

Des répercussions plus larges

Le différend a fait des vagues au sein de la communauté mathématique. Une lettre ouverte signée par de éminents mathématiciens critique les entreprises d'IA pour s'être précipitées à résoudre des problèmes célèbres sans attribution adéquate. Deng Yu, lauréat de la médaille Fields, a plaisanté sur les réseaux sociaux en déclarant que si l'IA résout tous les problèmes mathématiques, « je rentrerai chez moi écrire mon roman yuri », tout en prévenant que l'IA a créé « un climat d'agitation et d'impatience dans les milieux mathématiques ». La réponse officielle de l'Institut de mathématiques Clay a notamment salué la possibilité d'une « nouvelle compréhension humaine », sans toutefois mentionner l'éligibilité au prix.thenews+1