La tentative d'un modèle d'IA sur Navier-Stokes ravive le débat sur le prochain défi mathématique

Un modèle d'intelligence artificielle développé par OpenAI aurait présenté une solution possible au problème de Navier-Stokes, l'un des défis non résolus les plus célèbres des mathématiques, selon un rapport de Scientific American. Cette avancée a incité les mathématiciens à spéculer sur les autres grandes questions ouvertes du domaine qui pourraient être abordées par les systèmes d'IA dans un avenir proche.

Les équations de Navier-Stokes décrivent le mouvement des fluides et sont largement utilisées en physique et en ingénierie. Prouver certaines propriétés fondamentales de ces équations, comme l'existence de solutions et leur régularité, constitue l'un des sept Problèmes du Millénaire désignés par le Clay Mathematics Institute, chacun offrant une récompense d'un million de dollars pour une solution vérifiée.

Scientific American a rapporté que l'émergence d'une approche générée par l'IA pour ce problème a ravivé l'intérêt parmi les mathématiciens pour le potentiel plus large des outils d'IA à contribuer à des questions non résolues du domaine. Le rapport a noté que les chercheurs envisagent maintenant lequel des autres problèmes en suspens pourrait être le prochain candidat pour bénéficier de tels progrès assistés par l'IA.

Les détails concernant le modèle d'IA spécifique, la nature de sa solution proposée et l'ampleur de sa vérification par la communauté mathématique n'ont pas été entièrement précisés dans le rapport disponible. Scientific American n'a pas spécifié si la solution de Navier-Stokes proposée a été soumise à un examen par les pairs ou à une validation formelle.

La discussion plus large reflète une attention croissante au sein de la communauté mathématique sur le rôle que les systèmes d'IA pourraient jouer dans l'avancement de la recherche sur les problèmes ouverts de longue date, selon le rapport.