Navier-Stokes : OpenAI expose une preuve issue de 10 000 agents

OpenAI affirme avoir résolu un cas particulier du problème des équations de Navier‑Stokes, l’un des problèmes du millénaire, grâce à un réseau de 10 000 agents.

• La preuve, accompagnée d’un dépôt Lean, cible un sous‑cas spécifié dans l’énoncé officiel du problème.
• Le travail a été rendu public pour permettre une vérification formelle, mais aucune validation indépendante n’a encore été réalisée.
• La communauté scientifique reste prudente : la robustesse et la portée de la démonstration doivent encore être confirmées.