Navier-Stokes : deux preuves annoncées, aucune vérifiée
Le 8 septembre 2026, Tristan Buckmaster (Courant Institute) et Levent Alpöge (Anthropic) publient trois résultats sur l'explosion en temps fini. Ils disent en avoir un quatrième, sur Navier-Stokes, et le retiennent : sa vérification par le logiciel Lean n'est pas terminée.