Un problème vieux d'un siècle résolu en 88 heures
Les équations de Navier-Stokes modélisent le mouvement des fluides et sous-tendent tout, des courants océaniques au flux d'air sur une aile. Pendant près d'un siècle, les mathématiciens se sont heurtés à leur comportement fondamental, en particulier l'existence et la régularité des solutions — un Millennium Prize Problem à 1 million de dollars qui échappe à l'humanité depuis 90 ans.
Récemment, OpenAI a annoncé une percée monumentale. Un modèle d'IA interne, non publié, s'est attaqué aux équations de Navier-Stokes avec une échelle sans précédent. Cet effort colossal a impliqué 10 000 agents IA simultanés, travaillant pendant 88 heures d'affilée.
Les ressources de calcul seules ont coûté environ 10 millions de dollars, aboutissant à une preuve dense de 165 pages. GPT-6 Astra a ensuite formellement vérifié cette preuve exhaustive en 17 heures supplémentaires, confirmant la rigueur de la solution.
La découverte de l'IA s'est concentrée sur une singularité en temps fini, un phénomène jusqu'alors non prouvé où la vitesse d'un fluide peut devenir infinie en un temps fini. Cette découverte bouleverse des hypothèses de longue date sur le comportement des fluides et promet de révolutionner divers domaines, de l'ingénierie aérospatiale beaucoup plus efficace à des prévisions météorologiques bien plus précises.
Découvrez le modèle qui fait paraître GPT-6 vieux
La révélation fracassante d'OpenAI accompagnait la solution de Navier-Stokes : la percée provient d'un modèle interne non publié. Ce système est "nettement plus performant" que GPT-6 Astra, un modèle qui venait d'être lancé à peine quatre jours plus tôt. L'annonce du 8 septembre 2026 a effectivement rendu la version de pointe d'OpenAI du 4 septembre obsolète en un clin d'œil.
Astra représentait en soi une réalisation monumentale, saluée comme le "modèle le plus intelligent et le plus aligné" d'OpenAI à ce jour. Il a introduit une nouvelle technique de raisonnement par "profondeur récurrente", permettant des performances de pointe sur des benchmarks exigeants comme FrontierMath. Astra a démontré une maîtrise sans précédent en tant qu'"opérateur informatique", maîtrisant des tâches complexes allant de l'ingénierie logicielle à la cybersécurité et à la recherche scientifique.
Cette obsolescence rapide souligne la vitesse époustouflante de l'IA. Le successeur anonyme, déjà "nettement plus performant", est toujours en cours d'entraînement. Cela signifie que le fossé de performance entre lui et Astra n'est pas statique ; il se creuse chaque jour, repoussant les limites des capacités de l'IA à un rythme sans précédent.
Génie, controverse et vérification par l'IA
La controverse a rapidement émergé autour de l'annonce d'OpenAI. Le mathématicien Tristan Buckmaster de NYU a affirmé qu'OpenAI avait précipité sa déclaration publique après avoir découvert les progrès significatifs de son équipe sur le problème de Navier-Stokes, alléguant qu'ils avaient tiré parti des outils de développement d'OpenAI. Cela a soulevé des questions pointues sur l'accès aux données et la concurrence éthique dans les poursuites scientifiques à enjeux élevés.
OpenAI a répondu en niant tout accès direct aux données spécifiques des utilisateurs pour obtenir un avantage concurrentiel dans ce cas précis. Ils ont précisé que les données agrégées et anonymisées des utilisateurs contribuent aux améliorations généralisées des modèles sur leurs plateformes, une pratique courante dans l'industrie. Cette distinction vise à séparer les projets individuels des utilisateurs des améliorations plus larges du système.
Au-delà de la controverse, le processus de vérification lui-même a marqué un changement de paradigme profond. Le modèle avancé et non nommé a produit la preuve complète de 165 pages pour le problème de l'existence et de la régularité de Navier-Stokes, que GPT-6 Astra a ensuite formellement vérifiée en seulement 17 heures grâce à un flux de travail innovant AI-to-AI. Cette validation rapide et automatisée annonce une nouvelle ère pour la vérification mathématique complexe, comme détaillé dans des rapports tels que OpenAI claims it solved elusive math problem with a $1 million prize - The Washington Post.
Cet article vous plaît ? Recevez-en un comme celui-ci chaque matin.
un e-mail par jour · désinscription en deux clics · aucun traqueur tiers
La science n'est plus un jeu réservé aux humains
Cette percée transcende la résolution d'un seul Millennium Prize Problem. L'exploit d'OpenAI signale un changement de paradigme profond : l'IA ne fonctionne plus seulement comme un assistant de recherche, mais comme un moteur de découverte primaire. Pendant 88 heures, 10 000 agents IA simultanés ont travaillé, générant 130 milliards de jetons pour dériver la preuve de 165 pages, un témoignage de sa capacité de résolution de problèmes autonome.
Les équations de Navier-Stokes, autrefois un défi mathématique abstrait, sous-tendent le tissu même de la dynamique des fluides. Leur résolution débloque des avancées tangibles dans de nombreux domaines, de la conception d'avions et de voitures plus efficaces à la création de meilleurs médicaments en modélisant le flux sanguin avec une précision sans précédent.
Cette évolution rapide laisse même les observateurs chevronnés sous le choc. Matthew Berman, réfléchissant au rythme des événements, a exprimé un sentiment partagé par beaucoup : « Je me remets encore d'Astra. » Sa déclaration souligne comment les progrès exponentiels de l'IA, illustrés par un système « nettement plus capable » que GPT-6 Astra apparu seulement quatre jours après la sortie d'Astra, redéfinissent continuellement les limites du possible, dépassant la compréhension humaine.
Questions fréquemment posées
Quel problème mathématique l'IA d'OpenAI a-t-elle résolu ?
Le modèle d'IA interne d'OpenAI a résolu le problème de l'existence et de la régularité de Navier-Stokes, l'un des sept Millennium Prize Problems, qui était resté sans solution pendant près d'un siècle.
Qu'est-ce que GPT-6 Astra ?
GPT-6 Astra est le dernier modèle phare d'OpenAI annoncé publiquement, sorti en septembre 2026. Il est conçu pour des tâches complexes telles que l'ingénierie logicielle et l'analyse scientifique et a été utilisé pour vérifier formellement la preuve mathématique.
Le nouveau modèle de résolution de problèmes d'OpenAI est-il disponible pour le public ?
Non. Le modèle qui a résolu le problème de Navier-Stokes est un modèle interne non publié qu'OpenAI a décrit comme étant « nettement plus capable » que GPT-6 Astra et qui est toujours en cours d'entraînement.
OpenAI a-t-il réclamé le prix d'un million de dollars pour la résolution du problème ?
Non. Malgré la résolution de l'un des Millennium Prize Problems du Clay Mathematics Institute, OpenAI a déclaré qu'il n'avait pas l'intention de réclamer le prix d'un million de dollars.