Retour au fil

La bataille de Navier-Stokes : 10 000 agents d'IA et l'équation à un million de dollars

Le 8 septembre 2026, OpenAI a annoncé qu'un modèle interne exécutant près de dix mille agents pendant 88 heures avait produit une preuve établissant une singularité en temps fini dans les équations de Navier-Stokes. Le résultat porte sur la version forcée du problème à un million de dollars ; le cas non forcé, celui qui intéresse la plupart des mathématiciens, reste ouvert. Derrière l'annonce se développe une querelle de paternité et de données avec Tristan Buckmaster de NYU et Levent Alpöge d'Anthropic.

Importé dans Nodesdaily : (UTC+03:00)
Voir sur YouTube — tk9i489ACu8
Options de lecture

La lecture vocale n’est pas disponible dans ce navigateur.

Loupe à concepts

Choisissez un terme technique de cette vue pour lire sa définition générale, un exemple pédagogique et son usage dans l’article.

Aucun terme de notre glossaire n’a été trouvé dans cette vue. Le glossaire ne couvre pas encore tous les termes.

Bora Özkent lit habituellement l'intelligence artificielle avec l'œil d'un investisseur, en se demandant quels secteurs vont croître et où se trouve l'argent. Cette vidéo conserve cet œil mais le pointe vers une cible inhabituelle : la production scientifique accélérée de l'IA et les scandales qui l'entourent, avec des personnes, des larmes et OpenAI dans le cadre. Sa thèse est que l'IA qui s'approche de la science ouvre des opportunités commerciales dans des industries profondément physiques, la conception aéronautique parmi elles.

L'histoire humaine commence avec deux chercheurs : le mathématicien de NYU Tristan Buckmaster et le chercheur turc Levent Alpöge, qui collabore à titre privé tout en travaillant au laboratoire rival Anthropic. Le duo s'est attaqué à un problème difficile de dynamique des fluides avec l'aide de modèles d'IA accessibles au public, dont Codex, et était sur le point de publier quand une lettre est arrivée d'OpenAI annonçant que le problème avait déjà été résolu. Cette collision entre un article presque achevé et une annonce d'entreprise est le moteur de toute la dispute.

Le problème en question est celui de l'existence et de la régularité des solutions de Navier-Stokes, l'un des problèmes du millénaire à un million de dollars de l'Institut Clay depuis 2000. Imaginez un robinet : l'eau coule d'abord de manière ordonnée, puis oscille et s'enroule plus bas. Les mathématiques demandent si de tels écoulements peuvent être prédits dans tous les contextes et si un départ régulier peut dégénérer en une singularité où la vitesse tend vers l'infini. Le 8 septembre 2026, OpenAI a annoncé que son modèle interne avait produit une réponse : près de dix mille agents travaillant en parallèle pendant 88 heures, plus 17 heures supplémentaires de formalisation dans le langage de preuve Lean, publiés sous la forme d'un article de plus de cent pages avec des fichiers vérifiables par machine.

Puis est venue la querelle de paternité. Selon Buckmaster, OpenAI l'a invité à examiner la thèse et à la co-publier, mais voulait que le nom d'Alpöge soit retiré en raison de son affiliation à Anthropic. Buckmaster a insisté sur le fait que le travail était commun et a refusé de signer seul, et décrit l'échange comme incluant des menaces contre sa carrière, un récit qu'OpenAI conteste. La dispute a débordé sur les réseaux sociaux, où beaucoup de gens se méfient déjà de l'entreprise, et a échappé à tout contrôle.

Un deuxième niveau de scandale concerne la façon dont OpenAI a commencé. Selon ses propres dires, le projet a débuté le 1er septembre, après des rumeurs selon lesquelles des mathématiciens du camp rival approchaient de solutions à des problèmes de l'échelle du millénaire, et trois jours avant la publication, un concurrent avait formalisé le dernier théorème de Fermat en onze jours. Comme Buckmaster et Alpöge avaient travaillé sur des modèles publics, le soupçon est né que leurs réflexions non publiées avaient pu alimenter la machine qui les a devancés. OpenAI affirme ne pas avoir consulté de travaux privés, mais concède que son système a pu en bénéficier avec une faible probabilité, ce qui n'a satisfait presque personne.

Mettons la querelle de côté un instant : la science reste frappante. Le résultat d'OpenAI concerne la prédiction de la réaction d'un fluide à une poussée extérieure, le type de mathématiques qui décide des formes d'ailes, des prévisions météorologiques, du refroidissement des puces et même du flux sanguin dans les vaisseaux et les stents. La science avance par essais, erreurs et résultats, et dix mille agents coordonnés compressent considérablement cette boucle : ils rassemblent d'un coup plus de matériel qu'un humain ne pourrait en parcourir en une vie et le conduisent vers une conclusion. C'est pourquoi la vidéo traite l'épisode autant comme une lentille d'investissement que comme une histoire scientifique.

L'argument final porte sur le rôle changeant du scientifique. La machine ne prend aucune initiative et ne formule aucune question ; le choix du problème reste un travail humain. Mais une grande partie de la routine de laboratoire pourrait migrer vers les modèles, laissant aux humains le soin de trouver la thèse et de vérifier les résultats, avec l'hallucination comme risque permanent que l'auteur de la vidéo admet avoir constaté dans sa propre utilisation intensive de l'IA. Chaque métier change, conclut-il, et la science ne fait pas exception : parfois le travail des gens est spolié, parfois accéléré, et un chemin intermédiaire reste à trouver.

Visualization: nodesdaily AI

Commentaire de l’IA

""Ce qui m'a accroché dans cette histoire, ce n'est pas la preuve elle-même, mais son calendrier. Une rumeur le 1er septembre, une publication le 8 septembre, et les noms d'une équipe rivale au milieu : voilà à quelle vitesse la science de pointe avance quand la puissance de calcul à l'échelle industrielle entre dans la course. Je considère la revendication d'OpenAI comme un résultat sérieux vérifié dans Lean sur une version réelle du problème, et la dispute de paternité comme la première querelle publique d'une nouvelle ère où ce sont les laboratoires, et non plus seulement les universités, qui décident qui a découvert quoi.""

Évaluation de l’IA

La version la plus solide du dossier d'OpenAI mérite d'être énoncée clairement. L'entreprise a publié un résultat vérifié par ordinateur sur la version forcée du problème, une version que l'énoncé du Clay autorise, et l'a construite sur des années de mathématiques humaines que l'American Mathematical Society a décrites comme le travail préparatoire des dernières étapes. Le fait que le cas non forcé reste ouvert limite la portée de la revendication ; il n'efface pas le résultat.

Ce que l'annonce ne tranche pas importe plus que ce qu'elle tranche. L'Institut Clay n'a pas accepté la preuve et liste toujours le problème comme ouvert, son président promettant un examen délibérément posé et rigoureux. Une compilation Lean montre qu'un argument découle de ses axiomes, pas que la formalisation capture le problème visé, et des mathématiciens indépendants sont encore en train de parcourir les centaines de pages. Les estimations de coût, de deux à plus de vingt millions de dollars, restreignent aussi qui peut répéter une telle exécution.

Les questions de provenance sont là où ma confiance baisse. Buckmaster dit avoir demandé si les données de son équipe avaient été utilisées et n'avoir reçu aucune réponse, tandis qu'OpenAI nie l'affirmation selon laquelle la collaboration était conditionnée au retrait d'un nom affilié à un rival. La séquence elle-même est documentée : un départ le 1er septembre sur une rumeur, une publication le 8 septembre, trois jours après qu'un concurrent a formalisé le dernier théorème de Fermat. L'avertissement de Terence Tao se tient par lui-même : si les rumeurs déclenchent des courses à la publication d'un million de dollars, les chercheurs cesseront de partager tôt leurs travaux prometteurs, et la science ouverte perdra son fondement.

Ma lecture pratique, à la première personne : pour un investisseur, la lentille du monde physique de la vidéo survit à cette dispute, car la prédiction des fluides touche réellement les ailes, la météo, les puces et le flux sanguin, mais aucune position ne devrait reposer sur une seule annonce non examinée. Pour un chercheur, la leçon est opérationnelle : n'exécutez pas de travaux sensibles non publiés sur une infrastructure dont le propriétaire vous fait la course. Je considère la preuve comme digne d'être prise au sérieux et la célébration comme prématurée, et je lis la querelle comme le héraut d'un nouvel équilibre des pouvoirs entre laboratoires et universités.

Sources

10 liens ; 6 d’entre eux sont aussi cités par 11 autres articles. Stories sharing a link do not confirm each other; a source's origin is not inferred from how often it is cited.

navier-stokes · openai · tristan buckmaster · problèmes du millénaire · science et ia · preuve lean · terence tao

Suivre le sujet

Avant cet article

Un court ordre de lecture des articles antérieurs reliés à cet événement par un éditeur.

Preuves et sources

Consultez les passages autorisés, leurs versions et leur origine.

KAYNAKLARLA OKU

Bu haberi açalım.

Hesap kontrol ediliyor…