Mathématiques : la preuve au cœur du débat sur l’IA

OOndine

Matthieu Alfaro, professeur de mathématiques appliquées, explique les réactions aux annonces de laboratoires d’intelligence artificielle dans un entretien publié par le Blog du Modérateur. Il travaille au Laboratoire de mathématiques Raphaël Salem, rattaché à l’Université de Rouen Normandie et au Centre national de la recherche scientifique. Début octobre, OpenAI a publié 719 manuscrits consacrés à des problèmes mathématiques encore ouverts ; 16 portaient sur le domaine de recherche de Hugo Duminil-Copin. Ce chiffre situe l’ampleur de la publication et montre qu’une partie des travaux concernait un domaine précis, celui d’un mathématicien. Début septembre, Anthropic a annoncé que son modèle Claude avait formalisé, en 11 jours et dans le langage Lean, une démonstration du dernier théorème de Fermat. Quatre jours après cette annonce, OpenAI a revendiqué un résultat sur les équations de Navier-Stokes, autre problème mathématique majeur. La réaction de la communauté s’est aussi exprimée dans une tribune signée par 25 lauréats de la médaille Fields, qui dénoncent l’écart entre les objectifs des entreprises d’intelligence artificielle et ceux des mathématiciens.