OpenAI formalise Navier-Stokes avec 10 000 agents

OpenAI finalise Le 6 septembre 2026, OpenAI a achevé un projet consacré au problème de Navier-Stokes. L’entreprise a également terminé sa vérification en Lean. Son modèle interne a produit une preuve formalisée dans ce langage. OpenAI indique que cette preuve a été créée par environ 10 000 agents d’IA coordonnés pendant 88 heures. Le travail s’inscrit dans une séquence commencée le 28 août. Ce jour-là, OpenAI a commencé l’entraînement d’un nouveau modèle doté de capacités avancées en mathématiques. Le travail consacré à Navier-Stokes a débuté le 1er septembre. OpenAI présente les détails techniques dans sa publication dédiée et dans le document PDF associé.

Buckmaster contacte OpenAI Le 3 septembre 2026, Tristan Buckmaster a contacté un mathématicien chez OpenAI. En septembre, Buckmaster et Alpöge travaillaient avec plusieurs modèles d’IA. Leur travail utilisait notamment Claude d’Anthropic et Codex d’OpenAI. Buckmaster affirme ensuite qu’OpenAI l’a pressé de retirer Alpöge de la liste des auteurs. Cette affirmation concerne directement l’attribution du travail mathématique. Bubeck affirme qu’OpenAI reconnaît la priorité des travaux d’Alpöge et de Buckmaster. Il affirme également qu’OpenAI n’avait pas vu leurs travaux avant leur publication publique. OpenAI rejette les allégations formulées par Buckmaster. Le récit détaillé figure dans l’article du Decoder.

OpenAI formalise sa preuve

Une approche distincte Ven Chandrasekaran affirme que la solution d’OpenAI diffère fondamentalement de l’approche suivie par Buckmaster et Alpöge. Cette distinction porte sur la méthode mathématique employée. Le modèle interne d’OpenAI a produit une preuve formalisée en Lean. La vérification Lean constitue également un jalon du projet achevé le 6 septembre. OpenAI avait commencé son travail sur Navier-Stokes le 1er septembre. La chronologie relie donc le nouveau modèle mathématique lancé le 28 août au projet terminé quelques jours plus tard. Les travaux des chercheurs et ceux d’OpenAI sont au centre du différend rapporté. Les déclarations de Bubeck, Buckmaster et OpenAI présentent des versions différentes de cette séquence.

Dix mille agents coordonnés OpenAI attribue la production de sa preuve à environ 10 000 agents d’IA. Ces agents ont travaillé de manière coordonnée pendant 88 heures. Le résultat a ensuite été formalisé en Lean. Noam Brown affirme qu’Astra peut aujourd’hui exécuter des tâches pour environ 20 dollars. Cette déclaration porte sur le coût annoncé des tâches réalisées par Astra. Elle ne décrit pas directement le coût du projet Navier-Stokes. Buckmaster estime pour sa part qu’OpenAI a utilisé des données de clients pour améliorer ses modèles. OpenAI rejette les allégations de Buckmaster. Le débat associe ainsi preuve mathématique, attribution scientifique et usage allégué des données.

Les auteurs contestent la méthode

Une controverse persistante Buckmaster affirme qu’OpenAI a exercé une pression pour retirer Alpöge de la liste des auteurs. OpenAI rejette cette accusation. Bubeck affirme qu’OpenAI reconnaît la priorité d’Alpöge et de Buckmaster. Il affirme aussi qu’OpenAI n’a découvert leurs travaux qu’après leur publication publique. Chandrasekaran affirme que la solution d’OpenAI repose sur une approche fondamentalement différente. Ces prises de position ne décrivent donc pas un accord complet sur l’attribution ou la méthode. La chronologie reste structurée par quatre dates. OpenAI a lancé son entraînement le 28 août, commencé Navier-Stokes le 1er septembre, échangé avec Buckmaster le 3 septembre, puis terminé sa vérification le 6 septembre.