En bref : OpenAI affirme qu’un de ses modèles internes, épaulé par environ 10 000 agents, a produit une démonstration liée aux équations de Navier-Stokes, un problème mathématique majeur. Le résultat porterait sur l’existence d’une « singularité » en temps fini. Il n’est pas encore vérifié de façon indépendante et fait déjà l’objet d’une controverse sur la paternité des travaux.

Les équations de Navier-Stokes, un pilier de la physique des fluides

Écrites au milieu du XIXe siècle, les équations de Navier-Stokes décrivent la manière dont se déplacent les fluides : l’eau d’un fleuve, l’air autour d’un avion, les courants océaniques ou encore les masses d’air de la météo. Elles traduisent, pour un fluide en mouvement, les lois de la mécanique héritées de Newton : à chaque instant, la vitesse et la pression du fluide évoluent selon des règles précises.

Ces équations sont utilisées quotidiennement par les ingénieurs et les scientifiques, en aéronautique, en météorologie ou en médecine. Mais un mystère demeure : on sait s’en servir pour calculer, sans être certain qu’elles se comportent toujours « bien » sur le plan mathématique. C’est précisément ce point théorique qui reste ouvert depuis des décennies.

Les problèmes du prix du millénaire, sept défis à un million de dollars

En l’an 2000, le Clay Mathematics Institute, aux États-Unis, a désigné sept « problèmes du prix du millénaire » : sept questions réputées parmi les plus difficiles des mathématiques modernes. Chacune est dotée d’une récompense d’un million de dollars pour qui apporte une solution acceptée par la communauté.

À ce jour, un seul de ces problèmes a été officiellement résolu : la conjecture de Poincaré, démontrée par le mathématicien Grigori Perelman, qui avait d’ailleurs refusé le prix. L’existence et la régularité des solutions de Navier-Stokes figurent parmi les six problèmes restants—d’où l’écho considérable de toute avancée annoncée dans ce domaine.

Que demande précisément le problème Navier-Stokes ?

La question posée est la suivante : en trois dimensions, en partant de conditions « lisses » (une situation régulière, sans à-coup), les solutions des équations restent-elles toujours lisses au fil du temps, ou peuvent-elles « casser » ? Cette rupture porte un nom : une singularité. Concrètement, cela reviendrait à voir, dans le modèle, la vitesse du fluide grimper vers l’infini en un temps fini.

Répondre « oui, tout reste lisse » ou « non, une singularité peut apparaître » reviendrait, dans les deux cas, à trancher le problème. Trouver une singularité constituerait donc un contre-exemple qui, s’il est validé, résoudrait la question par la négative.

Ce qu’OpenAI dit avoir fait avec son système Astra

Selon OpenAI, l’effort aurait démarré le 1er septembre 2026, après la rumeur selon laquelle deux problèmes du millénaire venaient d’être résolus. L’entreprise aurait alors lancé sur le sujet un modèle interne décrit comme « nettement plus capable » que GPT-6 Astra, en le couplant à une nuée d’environ 10 000 agents travaillant en parallèle.

D’après les chiffres communiqués, le résultat aurait été atteint en près de 88 heures, avec quelque 2,7 millions de messages échangés entre agents et de l’ordre de 130 milliards de tokens produits, pour un coût chiffré en millions de dollars. Le système aurait abouti à une démonstration selon laquelle les équations de Navier-Stokes tridimensionnelles peuvent développer une singularité en temps fini. Pour la vérification, une formalisation en Lean—un logiciel qui permet de faire contrôler une preuve par la machine, ligne à ligne—aurait été réalisée. Ces éléments sont, à ce stade, ceux fournis par OpenAI et doivent être considérés au conditionnel.

Vérification, prudence et controverse

Plusieurs mises en garde s’imposent. D’abord, au moment de l’annonce, la preuve complète n’avait pas été rendue publiquement consultable, et aucune vérification indépendante large n’avait été menée. La reconnaissance officielle par le Clay Mathematics Institute, elle, suppose une publication et un examen par les pairs qui prennent du temps. Le périmètre exact de ce qui aurait été démontré—et son lien précis avec l’énoncé du prix du millénaire—reste à évaluer par les spécialistes.

Ensuite, l’annonce est arrivée peu après celle du mathématicien Tristan Buckmaster (université de New York) et de Levent Alpöge (Anthropic), qui avaient publié des prépublications sur des problèmes étroitement liés, accompagnées de formalisations en Lean vérifiables. Une controverse sur la paternité et le crédit a éclaté : selon le récit de Tristan Buckmaster, contesté par OpenAI, des échanges tendus auraient porté sur la publication, l’attribution et l’exclusion de son co-auteur en raison de son emploi chez Anthropic. Ces affirmations émanent d’une seule des parties et n’ont pas été indépendamment établies ; elles doivent donc être prises avec précaution.

Pourquoi cette annonce est marquante

Au-delà du bruit médiatique, l’épisode illustre un basculement possible : l’emploi de l’IA non plus seulement pour de petites tâches, mais tout au long d’un flux de recherche mathématique exigeant, de l’exploration d’idées jusqu’à la formalisation vérifiable par machine. Le recours à Lean est ici central : il permet, en théorie, de contrôler une preuve sans avoir à croire l’auteur sur parole.

Reste une question de fond : peut-on travailler sur des découvertes non publiées à l’aide des outils des grands laboratoires d’IA sans risque pour la confidentialité et le crédit scientifique ? Si l’avancée d’OpenAI est confirmée, elle marquera une étape ; dans le cas contraire, elle restera un rappel utile : en mathématiques, seule une vérification patiente fait foi. Cet emballement s’inscrit aussi dans une année de levées de fonds record dans l’IA, qui alimente une course effrénée à la puissance de calcul.

Ce qu’il faut retenir

• OpenAI affirme qu’un de ses modèles internes, aidé d’environ 10 000 agents, a contribué à une avancée sur les équations de Navier-Stokes, annoncée le 8 septembre 2026.
• Le résultat porterait sur l’existence d’une singularité en temps fini, ce qui, si c’est validé, trancherait ce problème du prix du millénaire (doté d’un million de dollars).
• Les problèmes du prix du millénaire sont sept défis posés en 2000 par le Clay Mathematics Institute ; un seul a été résolu à ce jour (la conjecture de Poincaré).
• Les chiffres avancés (88 heures, environ 130 milliards de tokens, coût en millions) et l’usage d’une formalisation en Lean proviennent d’OpenAI et restent à confirmer.
• La preuve n’a pas encore été vérifiée de façon indépendante et l’annonce s’accompagne d’une controverse sur la paternité des travaux : prudence de rigueur.