De l'ascenseur au vortex : pourquoi l'équation de Navier-Stokes s'est emballée et ce que revendique OpenAI

La vidéo s'ouvre sur la deuxième loi de Newton, la relation compacte F=ma que la plupart d'entre nous ont croisée pour la dernière fois en classe, et la relie à la revendication d'OpenAI sur le problème de régularité de Navier-Stokes. Un exemple d'ascenseur résolu pas à pas porte l'intuition : une cabine de 1 000 kg soumise à une gravité de 9,8 m/s2 subit une traction d'environ 9 800 N, le câble doit donc la compenser, et 1 000 N supplémentaires accélèrent toute la cabine à 1 m/s2.

Ce calcul reste simple parce qu'un corps solide se déplace d'un seul bloc, et que deux points quelconques de la cabine partagent la même accélération. Les fluides refusent cette commodité : des parcelles d'eau voisines peuvent partir dans des directions différentes, à des vitesses et des accélérations différentes, simultanément. Chacune de ces différences locales doit être représentée dans les mathématiques, et c'est là que les ennuis commencent.

Appliquer la loi de Newton à un fluide donne l'équation de Navier-Stokes, assemblée progressivement par de nombreux contributeurs au fil de l'histoire. Un côté de la relation rassemble les forces agissant sur une petite région de fluide, notamment la pression, la viscosité et, généralement, la gravité. L'autre côté décrit comment le fluide répond à ces forces à travers son accélération et sa densité.

Un tuyau d'arrosage rend le côté des forces concret : l'eau près du robinet est à une pression plus élevée que l'eau sortant de l'embout, si bien qu'un écart de pression pousse l'écoulement vers l'avant. La viscosité ralentit par frottement la couche collée à la paroi du tuyau tandis que le courant central file plus vite. La gravité ou d'autres forces imposées peuvent encore pencher la balance, et l'équation les additionne toutes.

L'accélération dans un fluide se divise en deux canaux qu'il faut distinguer. Ouvrir le robinet modifie la vitesse en un point fixe au fil du temps, tandis qu'un entonnoir accélère l'eau simplement parce que le canal se rétrécit en aval. La densité complète le tableau en enregistrant la masse contenue dans un volume donné, la raison pour laquelle l'eau salée et l'eau douce se comportent différemment.

L'équation mérite sa réputation : depuis environ deux siècles, elle guide la conception des canalisations, la prévision météorologique et la modélisation des courants océaniques avec un vrai succès d'ingénierie. Pourtant, on n'a jamais démontré que les mathématiques restent bien élevées dans toutes les conditions licites, et ce fossé est la fameuse question à un million de dollars. Soit une preuve montre que les solutions régulières persistent toujours en trois dimensions, soit un contre-exemple montre que les équations peuvent exploser en une singularité.

OpenAI affirme la seconde voie, en présentant une configuration où les équations se brisent, trouvée avec environ 10 000 agents travaillant ensemble et 130 milliards de tokens dépensés. Si une vérification indépendante confirme cette revendication, ce serait un jalon historique, et cela laisserait entrevoir à quoi ressemble le travail mathématique de pointe quand une orchestration massive d'agents rejoint l'effort.

Le prétendu contre-exemple est représenté comme un tourbillon enroulé : le fluide tourne autour d'une ligne centrale tout en étant aspiré vers l'intérieur et étiré vers le haut en même temps. Le cousin quotidien le plus proche est la tornade, même si la configuration est bien plus étrange que tout ce qu'on observe habituellement. La formulation du Millénaire exige exactement cette rigueur : couvrir tout état de départ tridimensionnel valide ou exhiber une explosion en temps fini.

Pour comprendre pourquoi des chercheurs rivaux crient à la faute, la vidéo rembobine jusqu'à Euler, dont l'ancienne équation d'écoulement omet la viscosité. Tristan Buckmaster et Levent Alpoege d'Anthropic ont passé environ un an à y chercher un mécanisme d'explosion, en s'appuyant sur des travaux antérieurs, et ils ont annoncé une solution forcée. Forcée signifie qu'une poussée externe ajoutée a contribué à déclencher la rupture ; le résultat était donc une avancée plutôt qu'une preuve achevée, la viscosité restant hors du compte.

OpenAI a ensuite avancé vite sur la même piste : une explosion d'Euler non forcée en environ 50 heures avec 100 agents, suivie d'un cas Navier-Stokes complet en à peu près 88 heures. La dispute est devenue personnelle quand Buckmaster s'est vu proposer, selon les rapports, un crédit partagé à condition que le nom d'Alpoege soit laissé de côté, et quand des journaux de messages ont surgi aux côtés de dénégations. L'accusation la plus grave, niée à plusieurs reprises par OpenAI, est que l'inspiration ait été tirée des historiques de conversation de chercheurs au sein de Codex. La vidéo se clôt sur une inquiétude plus profonde : qui a le droit de faire des découvertes quand 10 000 agents exigent le budget d'un laboratoire de pointe, et où les règles des prix, écrites pour des humains, n'ont aucune ligne pour les auteurs machines.