Un modèle d’OpenAI a récemment attiré l’attention en présentant ce qui est décrit comme une solution à un problème mathématique ancien lié aux équations de Navier‑Stokes, d’après un article de La Recherche. La nouvelle a provoqué une forte mobilisation de spécialistes, qui examinent avec rigueur la démonstration proposée avant toute conclusion.
Les équations de Navier‑Stokes servent de base à la modélisation des écoulements de fluides en mécanique des fluides et en physique. En dimension trois, des questions fondamentales d’existence et de régularité des solutions restent non résolues et figurent parmi les problèmes du prix du millénaire énoncés par le Clay Mathematics Institute. La nature et la difficulté historique de ce dossier expliquent la prudence observée dans la communauté scientifique.
La démonstration mise en avant émane d’un modèle développé par OpenAI. Les auteurs du signalement présentent un raisonnement mathématique produit par l’outil, qui fait l’objet d’une revue approfondie par des mathématiciens spécialisés. À ce stade, il s’agit d’une proposition de preuve qui nécessite des contrôles de validité, une formalisation et une publication dans des canaux académiques reconnus pour être définitivement acceptée.
La vérification d’une telle démonstration implique des étapes strictes : relecture par pairs, reproduction des arguments, formalisation rigoureuse et, éventuellement, vérification assistée par des outils de preuve formelle. Ces procédures sont essentielles pour distinguer une preuve complète d’une heuristique convaincante ou d’une simplification inexacte. Le processus peut être long et mobiliser plusieurs équipes à travers le monde.
Au-delà du cas concret, cette annonce met en lumière le rôle croissant de l’intelligence artificielle dans la recherche mathématique et scientifique. Si la démonstration proposée devait être validée, elle constituerait un jalon notable pour l’utilisation d’outils d’IA dans la production de résultats formels ; dans tous les cas, l’événement relance le débat sur les méthodes et les garde‑fous nécessaires pour intégrer ces technologies dans les pratiques académiques.