Navier-Stokes : deux preuves annoncées, aucune vérifiée
D'après Déclaration de Tristan Buckmaster (Courant Institute, NYU), 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 publiés portent sur les milieux poreux incompressibles, Boussinesq et Euler incompressible en 3D, avec forçage lisse.
- Le quatrième, sur Navier-Stokes hypo-dissipatif, est retenu : les auteurs attendent la fin de la vérification formelle par Lean avant de le publier.
- Le 6 septembre, on annonce à Buckmaster qu'un modèle interne d'OpenAI a produit une preuve d'environ 100 pages sur Navier-Stokes forcé. Il ne l'a jamais vue.
- 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 preuve annoncée mais jamais montrée ne peut être évaluée par personne. Le seul fait vérifiable aujourd'hui est celui-ci : sur Navier-Stokes, les deux camps annoncent, aucun ne publie.
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
Pour savoir qui avait raison, il suffira d'attendre deux publications : le certificat Lean des auteurs, et le texte de la preuve attribuée au modèle d'OpenAI.
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.
Fondée sur la source originale
Sources
- Déclaration de Tristan Buckmaster (Courant Institute, NYU) : Document de quatre pages, lu en entier
- Relais média : Numerama IA →
