OpenAI affirme que son IA a résolu le problème du millénaire de Navier-Stokes

OpenAI a annoncé mercredi que son système d'intelligence artificielle interne a résolu le problème d'existence et de régularité de Navier-Stokes — l'un des sept problèmes du millénaire de l'Institut Clay, formulés en 2000 et dotés chacun d'un million de dollars.

Les équations de Navier-Stokes décrivent le mouvement des fluides et des gaz, essentielles à l'aéronautique, à la météorologie et à la médecine. La question ouverte porte sur l'existence de solutions régulières globales pour des conditions initiales raisonnables.

Percée mathématique historique

Les problèmes du millénaire sont les questions les plus importantes des mathématiques. Un seul avait été résolu : la conjecture de Poincaré, démontrée par Grigori Perelman en 2003. Si la déclaration d'OpenAI est vérifiée, ce serait la deuxième résolution en un quart de siècle — et la première accomplie par une IA.

OpenAI a présenté ses résultats lors d'un briefing de presse et publié les détails sur son site ; Quanta Magazine a également couvert l'événement. La validation requiert l'examen de mathématiciens de premier plan.