Harvard : sommet sur les mathématiques à l’ère de l’IA

Un sommet intitulé Math Research in the Age of AI s’est tenu la semaine dernière au Harvard Center for Mathematical Sciences and Applications. Organisé par Dan Freed, de l’université Harvard, Larry Guth, du MIT, Bryna Kra, de l’université Northwestern, Emily Riehl, de l’université Johns Hopkins, et Mohammed Abouzaid, de Stanford, il a réuni trente-deux mathématiciens issus du milieu académique, du gouvernement et de l’industrie. La rencontre avait pour objectif d’aider la communauté mathématique à s’adapter à une période de transformation rapide, liée au développement rapide de l’intelligence artificielle. Les participants ont cherché à identifier des pistes concrètes pour anticiper les changements touchant la production, l’évaluation et la diffusion de la recherche mathématique, tout en proposant des idées pour construire l’avenir du domaine. Les travaux ont été structurés autour de cinq groupes thématiques. Le premier portait sur l’évaluation, la production et la dissémination des résultats scientifiques, un enjeu central alors que les outils d’IA peuvent accélérer certaines tâches ou rendre obsolètes certains modes de valorisation de la recherche. Un deuxième groupe a réfléchi à des actions coordonnées à l’échelle de la communauté face à l’ère de l’intelligence artificielle. Les participants ont également étudié le rôle des outils open source, la formalisation des mathématiques, qui consiste à exprimer des preuves dans des systèmes vérifiables par ordinateur, ainsi que les collaborations possibles entre universités et laboratoires d’intelligence artificielle. Le rapport du sommet a été publié sur le site dédié à l’événement. Les organisateurs invitent les personnes intéressées à y apporter des commentaires et à fournir un retour, afin de prolonger la discussion publique autour des orientations proposées pour l’avenir de la recherche mathématique.