Le 8 septembre, OpenAI a publié la résolution de l'équation de Navier-Stokes — l'un des sept problèmes du prix du Millénaire de l'institut Clay, doté d'un million de dollars chacun, et non résolu depuis près de 90 ans. Le détail qui a fait le tour de X : la preuve n'est pas la sortie d'un modèle interrogé une fois, mais « a group of agents » (OpenAI, X, 8 septembre 2026) travaillant ensemble.

Le problème, en clair

Navier-Stokes décrit le mouvement des fluides en trois dimensions — de l'air autour d'une aile d'avion au refroidissement d'un réacteur à fusion. La question, ouverte depuis 90 ans : cette description peut-elle « casser », c'est-à-dire cesser d'être valable au bout d'un temps fini ? Les répercussions attendues touchent l'aéronautique, les semi-conducteurs et l'énergie de fusion.

Ce qu'ils ont vraiment démontré

La réponse est oui, dans certains cas précis : les agents ont construit une configuration où un tourbillon se resserre et accélère indéfiniment en un temps fini — un phénomène que les mathématiciens appellent un « blow-up » — pendant que l'énergie du fluide, elle, reste bornée. Autrement dit : ce n'est pas la réalité physique qui déraille, c'est le modèle mathématique qui atteint sa limite. C'est exactement ce que le problème demandait de trancher.

L'ampleur du calcul

Environ 10 000 agents ont travaillé en parallèle pendant 88 heures pour produire la preuve ; puis GPT-6 Astra a passé 17 heures supplémentaires à la formaliser et la vérifier via Lean, un langage qui permet de contrôler automatiquement chaque étape du raisonnement plutôt que de faire confiance sur parole. Le calcul seul aurait coûté plusieurs millions de dollars, selon le responsable recherche d'OpenAI Mark Chen — mais le chercheur Noam Brown rappelle que ce genre de coût s'effondre vite : un benchmark qui coûtait 500 000 $ à faire tourner avec o3 revient aujourd'hui à 20 $ avec Astra. OpenAI a précisé ne pas vouloir réclamer le million de dollars du prix.

Une histoire à deux voix

L'annonce n'a pas fait que des heureux. Le mathématicien Tristan Buckmaster (NYU, déjà récompensé du prix Clay pour des travaux sur Navier-Stokes) et son collaborateur Levent Alpöge (Anthropic) affirment avoir approché la même solution par leurs propres moyens, et soupçonnent OpenAI d'avoir eu vent de leur méthode avant de la reproduire en un seul prompt. Sebastien Bubeck, chercheur chez OpenAI, dément fermement ces accusations.

Ce qu'on en retient

Que la controverse se règle ou non, un déplacement s'est déjà opéré : le résultat qui compte n'est plus la réponse d'un modèle à une question, mais le travail coordonné d'une population d'agents sur plusieurs jours. C'est cette bascule qu'on retrouve, à plus petite échelle, dans les agents qu'on conçoit pour nos clients : moins un chatbot qui répond, plus un système à qui on confie une tâche complète, du début à la fin.

*Sources : OpenAI · Yahoo Tech · The Decoder · OfficeChai · @OpenAI sur X