François Charles (École normale supérieure) : L'IA résout des problèmes mathématiques centenaires - 31/08

Le 31 août, François Charles, directeur du département Mathématiques et applications de l'École normale supérieure (ENS), a participé à l'émission Tech & Co sur BFM Business, aux côtés du journaliste François Sorel. L'entretien portait sur un sujet qui suscite un intérêt croissant dans la communauté scientifique : la capacité de l'intelligence artificielle à s'attaquer à des problèmes mathématiques qui résistent aux chercheurs humains depuis parfois plus d'un siècle.

La mathématique est une discipline où certaines questions, pourtant formulées simplement, demeurent sans réponse pendant des décennies, voire des générations entières. C'est précisément sur ce terrain que les systèmes d'IA commencent à montrer des aptitudes inattendues, capables d'explorer des espaces de solutions d'une ampleur inaccessible à un esprit humain seul. François Charles, en tant que responsable d'un département au coeur de la recherche mathématique française, est particulièrement bien placé pour évaluer la portée réelle de ces avancées et distinguer ce qui relève de la prouesse technique de ce qui constitue une véritable rupture épistémologique.

Si le contenu précis de l'intervention n'est pas détaillé dans les sources disponibles, le cadre de l'émission Tech & Co — consacrée aux transformations numériques et technologiques — indique que l'échange visait à rendre accessibles au grand public des enjeux habituellement réservés aux spécialistes. La question centrale est de savoir dans quelle mesure des outils algorithmiques peuvent non seulement vérifier des démonstrations existantes, mais aussi produire des raisonnements originaux susceptibles de faire avancer des domaines entiers des mathématiques.

Cette intervention s'inscrit dans un contexte plus large où plusieurs équipes de recherche à travers le monde explorent l'usage de l'IA — notamment des modèles de type grand langage ou des systèmes de preuve formelle — pour automatiser ou assister la découverte mathématique. L'ENS, institution de référence en France pour la formation et la recherche en mathématiques, se trouve ainsi au coeur d'un débat qui dépasse la simple curiosité technologique pour toucher à la nature même du raisonnement scientifique.