Quand les machines revendiquent un problème du millénaire

Le 8 septembre 2026 à midi, OpenAI a annoncé avoir résolu l'un des problèmes les plus célèbres des mathématiques, ouvert depuis près de quatre-vingt-dix ans. L'entreprise affirme que ses systèmes ont tranché la question de l'existence et de la régularité pour Navier-Stokes, un défi du millénaire assorti d'une récompense d'un million de dollars . Le résultat décrit un écoulement régulier, poussé par une force extérieure régulière, qui développe pourtant une singularité en temps fini, dans les cas classés (C) et (D) par Charles Fefferman. Un manuscrit de 166 pages accompagne une preuve vérifiée par machine avec Lean, issue d'un modèle interne présenté comme nettement plus puissant que GPT-6 Astra.

Les équations de Navier-Stokes gouvernent le mouvement des fluides visqueux, où vitesse et pression évoluent sous l'effet de la friction, de l'inertie et des forces appliquées. Une singularité, parfois imaginée comme un tourbillon filiforme qui se resserre, signifierait que des conditions initiales parfaitement lisses s'effondrent en un pic infiniment aigu. La viscosité semblait devoir empêcher une telle rupture en adoucissant les gradients, si bien qu'une explosion en temps fini bousculerait une intuition profonde. La question moderne de la régularité remonte à Jean Leray, qui construisit en 1934 des solutions faibles globales en laissant ouverte la persistance de la régularité. L'institut Clay en fit l'un des sept défis officiels du millénaire.

Dix mille agents et quatre-vingt-huit heures

Le calcul revendiqué a mobilisé un modèle interne entraîné depuis le 28 août, réorienté le 1er septembre vers tous les problèmes du millénaire ouverts après la rumeur de deux solutions. Environ 10 000 agents simultanés ont fonctionné pendant 88 heures, du 1er au 5 septembre, échangeant 2,7 millions de messages et produisant 130 milliards de jetons, pour une facture d'électricité de plusieurs millions. Après une répétition sur Euler sans force, le dispositif bascula vers Navier-Stokes avant 17 heures de vérification Lean. La même exécution coûterait environ 15 millions de dollars à un client externe, une ampleur décrite par NewScientist dans une analyse de septembre consacrée à cette campagne de calcul intensif.

En parallèle, Tristan Buckmaster, enseignant à l'institut Courant de NYU, et Levent Alpöge, mathématicien chez Anthropic, exploraient la même frontière en secret depuis près d'un an. Les deux partenaires présentent leur travail comme une collaboration strictement personnelle , nullement comme une alliance entre institutions, menée avec les modèles des deux laboratoires. Chaque brouillon vivait dans des sessions Codex, devenues ensuite le centre du différend sur ce que la vaste flotte d'agents aurait pu absorber. Ils visaient les variantes forcées de modèles de fluides voisins, une voie jugée plus porteuse que les constructions sans force déjà célébrées. La discrétion restait volontaire, car ils voulaient un article lisible avant toute annonce.

Le 15 août, le duo obtint des résultats forcés réguliers pour les systèmes d'Euler, IPM et Boussinesq, vérifiés avec Lean environ une semaine plus tard après un contrôle soigneux. Les deux mathématiciens retinrent la publication car ils voulaient un exposé que les praticiens puissent lire, vérifier et enseigner, plutôt qu'un simple objet formel. Leur échafaudage s'appuyait sur les avancées de Diego Córdoba, Luis Martínez-Zoroa et Fan Zheng autour d'Euler forcé et de Navier-Stokes hypodissipatif, ainsi que sur les indices numériques de Luo et Hou en 2013 qui suggéraient une voie d'explosion plausible. Le contexte général des défis du millénaire et l'historique de la régularité sont rassemblés par Wikipedia dans un vaste panorama de la liste des problèmes primés.

L'étincelle publique vint d'Alpöge, dont la note du 31 août intitulée Augustus Mirabilis célébrait des progrès éclatants et fut lue en ligne comme l'annonce de deux problèmes du millénaire déjà résolus chez Anthropic. La rumeur virale circula vite sur les réseaux et les messageries, poussant la direction d'OpenAI à lancer le 1er septembre sa propre offensive totale. Ce qui n'était qu'un mémo de laboratoire enthousiaste devint ainsi une course que personne n'avait planifiée, avec un calendrier soudain compressé en jours. L'ironie reste vive : un message fêtant un mois d'août merveilleux propulsa un laboratoire rival en surrégime en quelques heures.

Lettres, rencontre et déclaration de minuit

Avertis d'une fuite possible, les deux partenaires écrivirent séparément à OpenAI : Alpöge tard le 2 septembre, puis Buckmaster le 3 septembre au chercheur Sébastien Bubeck. Le 6 septembre, Bubeck répondit que l'effort utilisait très peu d'apports humains et proposa de tout partager, directives humaines incluses, avant une rencontre l'après-midi à laquelle Alpöge n'assista pas. Buckmaster y reconnut son programme, issu de Córdoba et Martínez-Zoroa, dans la trajectoire suivie par la machine, ce qui cadrait mal avec un guidage minimal et une grande équipe déclarée sans spécialiste de Navier-Stokes. Tout accès direct aux fichiers fut refusé, tandis que des déclarations ultérieures admettaient l'usage de données dérivées anonymisées dans l'entraînement. L'échange laissa la question irrésolue : inspiration, coïncidence ou ingestion.

Peu avant minuit le 7 septembre, Buckmaster publia une déclaration publique de quatre pages exposant la chronologie vue de son côté, environ douze heures avant l'annonce prévue de l'entreprise. OpenAI dévoila ensuite son résultat Navier-Stokes à midi le 8 septembre comme prévu, avec manuscrit, formalisation et chiffres de coût. Les débats éclatèrent en quelques heures sur Hacker News, Reddit et X, mêlant l'enthousiasme pour les mathématiques et le malaise sur la provenance. Buckmaster quitta enfin son bureau vers 02h30 ce matin-là, après une nuit passée à répondre aux messages de collègues du monde entier. Le décalage de douze heures entre les deux publications fixa le différend aux yeux du public.

Le récit officiel changea ensuite plusieurs fois, chaque version redessinant la fenêtre d'un contact possible. Le 8 septembre au matin, la ligne assurait que rien n'avait été vu avant la publication et que des matériaux dérivés anonymisés restaient possibles. L'après-midi, l'accent passa aux différences entre les preuves, surtout Euler forcé ou non, puis le 9 septembre vint un démenti catégorique couvrant les deux mois précédents. Une mise à jour du 10 septembre fut suivie le 13 septembre d'une borne ferme : rien d'entré après le 3 juillet n'aurait pu compter, avec aucun commentaire sur l'usage intensif de Codex avant cette date . Chaque révision répondait à la critique précédente tout en ouvrant une nouvelle faille.

Derrière les communiqués se jouait une querelle privée plus âpre sur la signature et l'argent. Selon Buckmaster, OpenAI proposa plusieurs options, dont annoncer Euler d'abord, ou réécrire sa preuve Navier-Stokes avec lui comme auteur unique ou premier auteur, avec un million de dollars versé au duo comme aux personnes les plus proches du problème. Une condition attachée exigeait qu'Alpöge fût écarté de la signature, une clause que Buckmaster dit avoir rejetée net. La correspondance devint brutale, avec un avertissement sur la politesse jugée facultative, pour lequel Bubeck s'excusa ensuite sur le ton. L'épisode montra comment le crédit et la rétribution se heurtent quand la découverte automatisée croise des revendications humaines de priorité.

Ce que les mathématiciens attendent désormais

Terence Tao salua l'exploit du duo comme remarquable, sans obstacle de principe à son extension vers Navier-Stokes, tout en dénonçant le pillage méthodique du domaine par des preuves exploitées à l'échelle industrielle. Il compara la pratique au saccage d'un site archéologique à la pelleteuse et estima que 2026 avait séparé les réponses de la compréhension, comme lorsqu'on ne voit que la première et la dernière scène d'un film. Le 11 septembre, 28 médaillés Fields signèrent une déclaration pour des normes plus lentes et limpides. Michael Harris ajouta que sans profit de tels déploiements ne dureront pas, mais que les décideurs pourraient juger les humains superflus, un risque débattu dans un échange IBM sur la collaboration entre savants et machines.

La mécanique du prix avance plus lentement que les cycles de presse, exigeant une revue qualifiée, deux ans d'attente et l'adhésion de la communauté mathématique. La présidente Ulrike Bridson décrit ce processus comme lent et rigoureux, un dessein fait pour survivre à ce genre d'agitation. OpenAI affirme ne pas vouloir réclamer la récompense, laissant aux mathématiciens la question de l'éligibilité entre modèles forcés et non forcés. Les règles et l'historique des sept défis sont conservés par ClayMath dans ses archives officielles avec dates et références. Un récapitulatif de la séquence des annonces et des déclarations changeantes fut proposé par TheNextWeb dans un article de la mi-septembre avec liens vers les documents sources.

Le 6 octobre, le projet s'élargit en une livraison massive : 722 manuscrits, 372 familles de résultats et des centaines de questions ouvertes, avec un dépôt GitHub public et des formalisations Lean. Les propositions jointes d'AGMAI réclament une publication rapide, la divulgation des modèles, des directives et des coûts, sans transformer les preuves en outils de marketing. L'animateur Dagogo Altraide y vit un moment Deep Blue contre Kasparov, un vrai jalon pour les mathématiques pures aux retombées pratiques limitées, car les formules appliquées fonctionnaient déjà bien. Un récapitulatif compact de cette livraison et de son accueil fut mis en ligne par TheVerge dans un bilan de la même semaine sur les annonces des modèles de pointe.