Navier-Stokes : OpenAI publie, son modèle s'auto-vérifie
D'après Déclaration de Tristan Buckmaster (Courant Institute, NYU) et OpenAI, « On the Navier-Stokes Millennium Prize Problem », relayé par Numerama IA
Image : générée (Gemini)
Rédigé à partir de la source originale; chaque fait est vérifié contre le texte source.
À retenir
- Les trois résultats de Buckmaster et Alpöge sur l'explosion en temps fini sont publiés. Leur quatrième, sur Navier-Stokes hypo-dissipatif, reste retenu au 9 septembre : leur vérification Lean n'est pas terminée.
- OpenAI, elle, a publié un exposé de sa preuve et une formalisation Lean, en revendiquant les énoncés « C » et « D » de la formulation officielle du prix Clay.
- L'entreprise attribue cette formalisation et cette vérification à son propre modèle, pour 17 heures de calcul. Sa page d'annonce ne nomme aucun mathématicien, aucune équipe Lean extérieure, aucun relecteur indépendant.
- Présenté d'abord comme obtenu avec très peu d'intervention humaine, ce résultat aurait en fait mobilisé une équipe entière et un calcul considérable.
- Sébastien Bubeck a demandé à deux reprises le retrait de Levent Alpöge de la liste des auteurs, au motif qu'il travaille chez Anthropic. Buckmaster a refusé.
Pourquoi ça compte
Une vérification par ordinateur ne vaut que par l'indépendance de celui qui la conduit. Ici, le système qui a produit la preuve est aussi celui qui l'a formalisée et vérifiée : c'est une garantie interne, pas une validation par un tiers. La distinction disparaît des relais qui titrent simplement que le problème est résolu.
Chiffre-clé
Un million de dollars américains : la somme attachée par l'institut Clay, depuis 2000, à chacun des sept problèmes du prix du millénaire, dont un seul a été résolu à ce jour.
Citation
« Je n'ai pas vu la preuve d'OpenAI. Je ne sais pas ce que leur modèle a fait, ni comment. Je n'accuse personne de quoi que ce soit. » Tristan Buckmaster
Action concrète
Ce qui manque n'est plus la publication, c'est l'audit. Trois choses restent à établir par des tiers : que le code Lean compile chez quelqu'un d'autre, qu'il ne repose sur aucun résultat admis, et que l'énoncé formalisé corresponde bien à la formulation officielle du prix Clay.
Repères datés
- 2026-09-03 - Buckmaster écrit lui-même à un mathématicien d'OpenAI, une rumeur circulant sur une percée attribuée à Anthropic.
- 2026-09-06 - Deux appels avec Sébastien Bubeck. Buckmaster apprend qu'un modèle interne d'OpenAI aurait une preuve de 100 pages sur Navier-Stokes forcé.
- 2026-09-08 - Publication des trois résultats et d'une déclaration de quatre pages. Bubeck qualifie publiquement les allégations de fausses et incendiaires.
- 2026-09-08 - OpenAI publie son exposé de preuve et sa formalisation Lean, douze heures après l'annonce de Buckmaster.
Fondée sur la source originale
Sources
- Déclaration de Tristan Buckmaster (Courant Institute, NYU) : Document de quatre pages, lu en entier
- OpenAI, « On the Navier-Stokes Millennium Prize Problem » : Annonce officielle du 8 septembre 2026 ; page refusée au fetcher (HTTP 403), lue par recherche
- Relais média : Numerama IA →
