OpenAI a annoncé ce mardi que l'un de ses systèmes d'intelligence artificielle a trouvé une solution au problème de l'existence et de la régularité des équations de Navier-Stokes, l'un des Sept Problèmes du Millénaire définis par le Clay Mathematics Institute en 2000. La résolution de chacun de ces problèmes vaut un prix d'un million de dollars et, jusqu'à présent, un seul avait été résolu auparavant.
L'entreprise affirme que le système d'IA a démontré, en environ 88 heures, que les équations de Navier-Stokes peuvent « exploser ». La preuve a été rendue publique, mais continue de devoir être validée par la communauté mathématique, un processus qui peut prendre des mois, voire des années.
L'annonce a déjà ouvert une dispute sur les crédits, les données privées et les prétendues pressions. La controverse surgit dans le contexte d'une course technologique entre les entreprises d'IA pour la résolution de problèmes mathématiques complexes.
OpenAI espère que la publication de la preuve permettra à la communauté scientifique d'analyser et de vérifier le travail, dans un processus traditionnellement long et exigeant une révision par les pairs.
