OpenAI a déclaré le 8 septembre 2026 que son système d'IA interne avait résolu l'un des sept problèmes du millénaire — le problème de l'existence et de la régularité des solutions des équations de Navier-Stokes.
Selon l'entreprise, la preuve montre qu'un fluide lisse au repos sous l'effet d'une force lisse peut développer une singularité en un temps fini, tout en conservant une énergie finie.
La solution a été obtenue grâce à des milliers d'agents d'IA travaillant pendant environ 88 heures, et formalisée en Lean.
L'annonce a immédiatement suscité des controverses au sein de la communauté mathématique.
Le professeur Tristan Buckmaster de l'Université de New York et le chercheur d'Anthropic Levent Alpöge avaient peu de temps auparavant publié des résultats sur des problèmes connexes, considérés comme des étapes importantes vers la résolution du problème de Navier-Stokes.
Buckmaster a exprimé son inquiétude que OpenAI ait pu prendre connaissance de l'orientation de leurs travaux et accélérer ses propres efforts en utilisant une approche similaire.
L'entreprise a rejeté les accusations d'accès à des données ou à des brouillons d'autrui, affirmant avoir agi sur la base de rumeurs publiques concernant les progrès dans d'autres problèmes du millénaire.
La manière dont les agents d'IA sont parvenus à la preuve et si l'on peut considérer cela comme une percée indépendante font désormais l'objet de discussions parmi les mathématiciens et les experts en IA.
Il est intéressant de se demander si cet épisode affectera la confiance des chercheurs dans l'utilisation de modèles commerciaux pour travailler sur des résultats non publiés.
OpenAI a souligné qu'elle n'avait pas l'intention de prétendre au prix d'un million de dollars de l'Institut Clay.
Cet événement est un autre exemple de la rapidité avec laquelle les capacités de l'IA en mathématiques évoluent, mais il a également soulevé des questions sur l'éthique et la paternité dans la collaboration entre l'homme et la machine.
