ActualitésFrance
OuvrirOpenAI, preuve formelle Lean sur Navier–Stokes (pré-annonce) — ce que doivent savoir les petites équipes
OpenAI a publié un dépôt Lean qui formalise un cas de Navier–Stokes avec un terme de forçage externe, d'après un article public. Le résultat est rapporté comme produit par un système coordonné d'environ 10 000 agents ; la formalisation et sa portée mathématique requièrent un examen scientifique. Ce guide explique simplement quoi faire pour vérifier, archive et communiquer — puis donne une checklist technique pour les équipes.