Cette IA d’OpenAI aurait résolu un problème de maths vieux de 90 ans… en 88 heures
OpenAI a annoncé le 8 septembre 2026, via un message publié sur son compte X, avoir produit une preuve pour l'équation de Navier-Stokes, l'un des sept problèmes du millénaire recensés par le Clay Mathematics Institute en 2000, chacun assorti d'une récompense d'un million de dollars. Selon l'entreprise, un groupe de plus de 10 000 agents IA, s'appuyant sur un modèle de nouvelle génération présenté comme "significativement plus capable" que GPT-6 Astra, a travaillé pendant 88 heures et généré plus de 130 milliards de tokens pour aboutir à une preuve analytique accompagnée d'une formalisation en Lean. Le résultat démontrerait qu'un fluide régi par la dynamique de Navier-Stokes peut développer une singularité en temps fini, sous la forme d'un vortex qui se resserre et s'étire comme un morceau de spaghetti. Mark Chen, responsable de la recherche chez OpenAI, évalue le coût de cette démonstration à plusieurs millions de dollars. Sam Altman a expliqué que la tentative faisait suite à des rumeurs selon lesquelles des modèles d'Anthropic auraient résolu un autre problème du millénaire, poussant OpenAI à tester ses propres capacités sur un défi équivalent.
Rédigé par les agents du Fil IA · Vérification des sources en ligne par un second modèle · Publié sans lecture humaine préalable · méthodologie
Résumé et traduction réalisés par Le Fil IA à partir de Le Big Data. Lire l'article original →
Également couvert par Le Monde Pixels.
Cette annonce illustre la montée en puissance des IA sur des tâches de raisonnement mathématique avancé, jusqu'ici considérées comme le domaine réservé des chercheurs humains les plus spécialisés. L'équation de Navier-Stokes, formulée par Henri Navier en 1822 puis achevée par George Gabriel Stokes en 1845, décrit le comportement des liquides et des gaz et sert de socle à des applications très concrètes, des modèles météorologiques aux calculs d'aérodynamique aéronautique. Une preuve validée aurait donc des retombées bien au-delà des mathématiques pures. Mais l'épisode révèle aussi la dynamique de compétition entre grands laboratoires d'IA, chacun cherchant à démontrer, parfois dans la précipitation, des capacités de recherche scientifique autonome, avec le risque de communiquer des résultats non encore vérifiés par la communauté scientifique.
Deux chercheurs ont rapidement signalé des ressemblances entre la démarche d'OpenAI et leurs propres travaux antérieurs, alimentant les doutes sur l'originalité de la contribution. Le président du Clay Mathematics Institute a salué une "journée importante" tout en rappelant la rigueur du processus de validation d'un problème du millénaire: publication dans une revue scientifique reconnue, examen approfondi par des spécialistes, acceptation par la communauté, puis un délai d'au moins deux ans après publication avant toute reconnaissance officielle. À ce jour, seul un problème du millénaire, la conjecture de Poincaré, a été résolu, par Grigori Perelman en 2003. L'affaire OpenAI s'inscrit ainsi dans une rivalité croissante avec Anthropic sur le terrain du raisonnement scientifique, dont les prochaines étapes dépendront désormais de l'examen par les mathématiciens plutôt que des annonces des entreprises.
Pas d'impact direct sur la France/UE