
OpenAI affirme avoir résolu le problème mathématique de Navier-Stokes vieux de 90 ans en utilisant 10 000 agents d'IA
OpenAI a annoncé qu'un modèle interne non publié a résolu le problème d'existence et de régularité de Navier-Stokes en 88 heures, suscitant des préoccupations en matière de propriété intellectuelle de la part de chercheurs indépendants.
Modèle non publié et exécution de calcul de 88 heures
Le 8 septembre 2026, OpenAI a annoncé qu'un système d'intelligence artificielle interne avait résolu le problème d'existence et de régularité de Navier-Stokes en 88 heures. L'entreprise avait commencé à entraîner le modèle sous-jacent le 28 août, le décrivant comme nettement plus performant que son récent GPT-6 Astra. Après avoir reçu des rapports le 1er septembre selon lesquels des chercheurs progressaient sur les problèmes du Prix du Millénaire, OpenAI a déployé environ 10 000 agents autonomes pour cibler les équations. Au cours de l'exécution, les bots ont échangé près de 3 millions de messages et consommé 130 milliards de jetons de sortie, un effort estimé à environ 10 millions de dollars aux tarifs standards de l'entreprise. Mark Chen, responsable de la recherche chez OpenAI, a déclaré lors d'une conférence de presse que les coûts de calcul avaient atteint des millions de dollars.
C'est une étape importante dans la recherche en IA. C'est la promesse qu'il deviendra possible de répondre à d'autres questions parmi les plus complexes.
- OpenAI commence l'entraînement d'un modèle interne non publié avec des capacités mathématiques avancées.
- OpenAI déploie 10 000 agents d'IA pour s'attaquer aux problèmes du Prix du Millénaire après avoir entendu des rumeurs de progrès.
- OpenAI termine son exécution de calcul de 88 heures produisant une preuve de Navier-Stokes.
- Les mathématiciens Tristan Buckmaster et Levent Alpöge publient des résultats préliminaires sur un problème connexe.
- OpenAI annonce publiquement sa solution tandis que Buckmaster soulève des inquiétudes concernant l'accès aux données.
Le problème d'existence et de régularité de Navier-Stokes
Formulées par l'ingénieur français Henri Navier en 1822 et le physicien George Gabriel Stokes en 1845, les équations décrivent l'écoulement des fluides et des gaz. Elles servent d'outils fondamentaux pour les prévisions météorologiques, la modélisation climatique et la conception des ailes d'avion. En 2000, l'Institut Clay des mathématiques a désigné la question de l'existence et de la régularité de Navier-Stokes comme l'un des sept problèmes du Prix du Millénaire, offrant une récompense d'un million de dollars pour une solution. Le problème central demande si un mouvement fluide initial régulier en trois dimensions peut se briser et développer une singularité en un temps fini. La preuve d'OpenAI affirme que les équations peuvent développer de telles singularités, suggérant des conditions théoriques sous lesquelles les vitesses des fluides pourraient devenir infinies.
Existe-t-il une configuration fluide initiale où l'eau éclabousse et, à un moment donné, toute l'énergie implose et envoie toutes les particules d'eau à une vitesse infinie ? Pourrait-on mettre un fluide en mouvement, le regarder s'écouler, puis le voir exploser ?
Allégations d'accès aux données et course au calcul
L'annonce a coïncidé avec un différend impliquant le professeur de mathématiques de l'Université de New York Tristan Buckmaster et le chercheur d'Anthropic Levent Alpöge. Les deux avaient publié des résultats sur un problème connexe le 7 septembre après avoir travaillé avec Codex d'OpenAI et Claude d'Anthropic. Buckmaster a déclaré qu'après avoir appris qu'OpenAI avait entendu parler de leurs progrès, il avait découvert que l'entreprise poursuivait une preuve suivant la même voie mathématique. Il s'est demandé si OpenAI avait accédé à des brouillons stockés dans des sessions Codex pour éclairer ses recherches. OpenAI a déclaré qu'aucune donnée spécifique d'utilisateur n'avait été consultée, mais n'a pas pu exclure que des données d'utilisation de produits anonymisées aient contribué à l'entraînement du modèle.
Nous n'avons vu aucun de leurs travaux jusqu'à ce qu'ils les aient rendus publics hier soir. On peut voir rétrospectivement que nos preuves diffèrent considérablement et même les résultats précis prouvés sont différents.
Vérification et réponse académique
Le responsable de la recherche mathématique d'OpenAI, Sebastien Bubeck, a qualifié les accusations de fausses et incendiaires, déclarant que l'entreprise avait suivi les normes académiques. Avant la revendication d'OpenAI, les mathématiciens n'avaient résolu qu'un seul des sept problèmes du Prix du Millénaire depuis leur désignation en 2000. L'Institut Clay des mathématiques n'a pas encore vérifié ni accepté la solution proposée par OpenAI. Des mathématiciens indépendants et des réviseurs par les pairs doivent examiner la preuve générée avant toute acceptation formelle ou distribution du prix. OpenAI a déclaré qu'elle prévoyait de présenter davantage de détails techniques à la communauté scientifique au fur et à mesure de la vérification.


