Le problème du prix du millénaire Navier-Stokes résolu par IA

OpenAI avance avoir résolu le problème d'existence et de régularité des équations Navier-Stokes, l'un des sept problèmes du millénaire définis par l'Institut Clay. La démonstration établit qu'un fluide initialement au repos et soumis à une force lisse peut développer une singularité en temps fini. Concrètement, la vitesse du fluide augmente jusqu'à devenir infinie dans une zone précise, bien que l'énergie totale du système reste finie et que la force externe appliquée reste douce. Cette singularité se manifeste par la formation d'un vortex qui s'enroule et s'étire axialement, réduisant son rayon tout en accélérant, comparable à un filament de spaghetti en rotation. Ce résultat invalide la possibilité d'une solution toujours lisse pour ce type de fluide incompressible en trois dimensions, répondant ainsi aux énoncés C et D de la formulation officielle du prix.

La méthode employée repose sur une approche computationnelle massive, dépassant les capacités des modèles précédents comme GPT-6 Astra. OpenAI a déployé un système multi-agents comptant environ 10 000 entités opérant en parallèle. Ces agents, subdivisés en groupes avec la capacité de communiquer et de partager des outils, ont généré environ 130 milliards de tokens de sortie et échangé 2,7 millions de messages sur une période de 88 heures. La stratégie consistait à soumettre différents groupes à des variantes de l'énoncé, notamment les versions visant une preuve ou une réfutation, afin d'explorer l'espace des possibilités mathématiques. Une fois la solution heuristique trouvée, la vérification a été assurée par une formalisation dans l'assistant de preuve Lean, réalisée en 17 heures supplémentaires, garantissant la validité logique de la démonstration.

Cette percée technique s'accompagne de controverses scientifiques et éthiques notables. L'initiative du projet a été déclenchée par des rumeurs circulant le 1er septembre concernant la résolution de deux problèmes du millénaire par Levent Alpöge (Anthropic) et Tristan Buckmaster (NYU). OpenAI admet s'être lancée sur cette voie après avoir entendu ces rumeurs, bien que l'entreprise affirme que ses agents n'ont pas eu accès aux travaux non publiés des chercheurs. Cependant, l'entreprise concède qu'elle ne peut exclure totalement que des données désidentifiées issues de l'utilisation de ses produits par ces chercheurs aient pu indirectement améliorer ses modèles. Si la preuve mathématique finalisée diffère des résultats d'Alpöge et Buckmaster — ces derniers ayant travaillé sur le problème d'Euler forcé alors qu'OpenAI a résolu le cas Euler non forcé puis Navier-Stokes — la question de la priorité scientifique et des influences directes reste posée.

L'épisode soulève des questions structurelles sur l'évolution de la recherche mathématique. L'usage de 10 000 agents et de ressources de calcul évaluées à plus de 40 millions de dollars pour parvenir à ce résultat illustre une concentration des capacités de découverte entre les mains d'entités privées. OpenAI précise qu'elle ne compte pas réclamer le prix d'un million de dollars associé au problème du millénaire, considérant ce travail comme une démonstration des capacités de ses modèles plutôt que comme l'objectif final. L'accent est mis sur l'accélération de la recherche scientifique via l'IA, mais cette domination technique interroge la place des chercheurs humains dans un processus où l'itération et l'intuition sont déléguées à des systèmes autonomes, opacifiant les étapes intermédiaires de la découverte. La validation par la communauté mathématique traditionnelle reste désormais l'étape critique pour confirmer l'exactitude de cette preuve assistée par machine.