Navier-Stokes : OpenAI expose une preuve issue de 10 000 agents
OpenAI prétend avoir apporté une preuve à l’un des problèmes du millénaire, celui de Navier-Stokes, en utilisant un système de 10 000 agents. La démonstration, publiée avec un dépôt Lean pour faciliter la vérification, porte sur un cas particulier prévu par l’énoncé officiel, mais sa validité scientifique reste à confirmer par un examen indépendant.
