Intelligence artificielle
OpenAI affirme avoir résolu un cas particulier des équations de Navier-Stokes
- OpenAI publie une preuve mathématique pour un cas particulier des équations de Navier-Stokes, l'un des problèmes du millénaire.
- La démonstration utilise 10 000 agents et un dépôt Lean pour vérification par la communauté scientifique.
- Sa validité reste à confirmer, mais elle ouvre une voie pour résoudre ce défi mathématique.
Lire à la source
