OpenAI utilise des milliers d'agents pour s'attaquer à Navier-Stokes

OpenAI a déclaré avoir utilisé des milliers d'agents pour produire une preuve concernant le problème d'existence et de régularité des équations de Navier-Stokes, selon Wired. Ces équations, formulées au XIXe siècle pour décrire l'écoulement des fluides visqueux, sont utilisées par les ingénieurs pour modéliser l'écoulement de l'air dans la conception des avions.

La preuve obtenue par OpenAI indique que les équations de Navier-Stokes impliquent qu'un fluide pourrait exploser dans des conditions irréalistes. Le problème d'existence et de régularité reste ouvert : il s'agit de déterminer si, à partir de conditions initiales régulières, les solutions des équations demeurent lisses ou peuvent développer des singularités.

Juspreet Singh Sandhu, mathématicien à l'université d'État du Colorado, et Jared Speck, mathématicien à l'université Vanderbilt, sont cités dans le contexte de ce travail. Leurs réactions n'ont pas été détaillées dans les faits rapportés.

Un débat ancien sur la finalité des mathématiques

En 1940, pendant la Seconde Guerre mondiale, G. H. Hardy publie A Mathematician's Apology, où il défend l'idée que les mathématiques doivent être cultivées pour elles-mêmes, indépendamment de leurs applications. La théorie des nombres, souvent citée comme exemple de mathématiques pures, s'est ensuite révélée essentielle aux protocoles de chiffrement qui sécurisent les courriels et les comptes bancaires.