François Charles

Parcours

François Charles entre à l'École normale supérieure en 2004, après deux ans de classes préparatoires. Il soutient sa thèse le 6 avril 2010, sous la direction de Claire Voisin, alors qu'il est agrégé-préparateur à l'ENS. Le CNRS le recrute à la sortie du doctorat ; il passe ensuite quelques années au MIT, puis revient en France comme professeur à l'université Paris-Saclay, au Laboratoire de mathématiques d'Orsay. Le Collège de France lui attribue le cours et prix Peccot pour l'année 2013-2014. Nicolas Bergeron, alors directeur du DMA, le fait revenir enseigner rue d'Ulm.

Depuis juin 2025, il dirige le Département de mathématiques et applications (DMA) de l'ENS-PSL, laboratoire commun ENS et CNRS (UMR 8553). Il succède à Cyril Imbert, directeur de recherche CNRS, qui tenait le poste depuis 2022. Il est aussi rédacteur en chef du Journal de l'École polytechnique. Sa façon de décrire la fonction, en octobre 2025 : « Mon travail est avant tout de faciliter les mathématiques qui se créent et se transmettent à l'ENS. »

Recherche : la géométrie arithmétique

Ses travaux se tiennent à la frontière de la géométrie et de l'arithmétique : il cherche à éclairer de façon géométrique des problèmes de nature arithmétique. Deux résultats marquent son parcours : la démonstration de la conjecture de Tate pour les surfaces K3 sur les corps finis (Inventiones Mathematicae, 2013) et un théorème de Bertini arithmétique (Annales scientifiques de l'ENS, 2021). Avec Anna Cadoret, il a établi un résultat de finitude uniforme pour les groupes de Brauer. Avec Jean-Benoît Bost, il écrit deux monographies sur les surfaces arithmétiques et la géométrie des nombres en dimension infinie, dont l'une est à paraître dans les Annals of Mathematics Studies.

Il décrit lui-même ce champ comme « un domaine assez éloigné des applications, mais qui m'a beaucoup amené aux frontières des mathématiques », avec des contacts vers la physique de l'état solide, la physique nucléaire et la cryptographie quantique.

Sa position sur l'IA en mathématiques

Le 11 août 2026, dans un grand entretien à L'Express, il juge que les modèles d'OpenAI et d'Anthropic, qui venaient d'apporter des avancées sur l'empilement de sphères en grandes dimensions, les groupes non sofiques ou la conjecture jacobienne, imposent aux mathématiciens « le moment de se montrer ambitieux ». Il pose dans le même entretien la question de l'accès aux meilleurs modèles : « un fossé mathématique important pourrait se creuser entre les pays ayant des IA de pointe et les autres ». Le 31 août, il développe le sujet sur le plateau de Tech & Co (BFM Business).

Le 23 septembre 2026, lors d'une rencontre à l'ENS rapportée par Alliancy, il parle de « révolution scientifique » et attend qu'elle gagne les autres sciences. Il écarte l'argument des hallucinations : « Bien utilisés, les modèles le plus avancés font extrêmement peu d'erreurs ». La contrepartie tombe sur le chercheur : « le scientifique reste pleinement responsable du contenu produit, il ne suffit pas d'appuyer sur un bouton ». Les universités doivent selon lui se positionner sans attendre sur l'accès aux modèles de frontière détenus par quelques entreprises, sur les carrières et sur la qualité des connaissances produites. Quand une entreprise demande conseil aux universitaires, « c'est notre devoir de fournir ces recommandations », même face à des intérêts bien plus puissants que la communauté mathématique.

Après la publication par OpenAI de plus de 700 résultats, le 6 octobre 2026, Libération titre son analyse d'une phrase de lui : « L'aventure scientifique ne va pas s'arrêter avec l'IA, elle va s'accélérer ».

L'AGMAI, un groupe consultatif indépendant

Le 21 septembre 2026, OpenAI annonce travailler avec un Advisory Group on Mathematics and Artificial Intelligence (AGMAI), hébergé par l'Institute for Advanced Study de Princeton. Le groupe est né à l'envers de ce qu'OpenAI avait proposé : approchés pour former un conseil externe de l'entreprise, les mathématiciens ont préféré constituer un groupe indépendant, qui conseille tout laboratoire dont les modèles sont susceptibles de peser sur les mathématiques. Il compte neuf membres : François Charles (ENS-PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford), Ravi Vakil (Stanford), Edward Witten (IAS) et Melanie Matchett Wood (Harvard).

Les règles sont écrites sur agmai.org : les membres travaillent sans rémunération, publient leurs avis, décident seuls de leur composition et n'ont aucun pouvoir de décision dans une entreprise d'IA. OpenAI précise de son côté que le groupe n'a pas à se prononcer sur le rythme de ses travaux internes.

Le 29 septembre 2026, après plus de 600 réponses d'une consultation de la communauté, le groupe publie ses recommandations sur la diffusion responsable de mathématiques générées par IA : nettoyer la rédaction et citer la littérature avant publication, déposer les résultats dans un lieu qu'aucun laboratoire ne contrôle, formaliser ce qui peut l'être, et financer le travail humain de compréhension qui suit. Le préambule demande aux laboratoires de cesser de tester des problèmes avancés sur des modèles propriétaires inaccessibles à la communauté. Le 6 octobre, jour du dépôt d'OpenAI, l'AGMAI précise que son rôle ne vaut ni jugement sur la portée des résultats ni aval de la méthode, et qualifie la publication de « début, pas d'achèvement » de leur intégration au savoir mathématique.

Ce que les articles SFEIR en retiennent

L'article de Didier Girard sur les 722 preuves déposées par OpenAI met la déclaration de l'AGMAI du 6 octobre en regard des faits du dépôt : OpenAI a suivi une partie des recommandations du 29 septembre (42 % des résultats principaux formalisés en Lean), mais les manuscrits sont hébergés sur son propre GitHub et proviennent d'un test sur un modèle propriétaire. Le déplacement de valeur que décrit François Charles pour les mathématiques, de la production vers la vérification et la compréhension, est celui que l'article transpose au code produit par les agents.