"Pratiques mathématiques à l'heure de l’IA" par François Charles

"Pratiques mathématiques à l'heure de l’IA" par François Charles

Historique des titres
  • "Pratiques mathématiques à l'heure de l’IA" par François Charles — observé le 20261106-1237 UTC (YouTube)

par François Charles · Voir la chaîne sur PSI

Sciences humaines, sociales & pensée Mathématiques PBMathématiques
🎙 François Charles 👥 16K 📅 6 novembre 2026 ⏱ 34 min 👁 73 📄 opinion experte 🧭 2026-11-06
Disponible en : Français (actuel) English

Mots-clés

IAmathématiquespublicationévaluationrecherche

Résumé

Dans cet exposé donné lors du séminaire MIAM, François Charles, professeur à l’ENS-PSL et directeur du département de mathématiques, partage sa réflexion sur l’impact de l’intelligence artificielle générative sur la pratique des mathématiques. Il constate que des modèles résolvent désormais des problèmes de recherche inédits, comme le montrent les tests de l’initiative First Proof, et que la publication massive de textes générés par IA (700 manuscrits d’OpenAI) interroge la notion d’auteur et de lecture. Il propose une analogie avec le mythe de l’écriture dans le Phèdre de Platon, soulignant que la question du statut du texte et de l’auteur est ancienne. Il évoque la surproduction croissante sur arXiv et le problème préexistant du manque de lecteurs, notamment chez les rapporteurs. Il présente alors deux initiatives : First Proof, pour l’évaluation scientifique des capacités des modèles, et Hexagone, une plateforme parallèle pour documenter les avancées de l’IA sans les attribuer à un auteur humain. Il compare cette situation à l’histoire des revues et des recensions (Math Reviews), appelant à repenser les institutions. Il partage enfin un exemple personnel où un modèle l’a aidé à établir des liens entre géométrie arithmétique et transport optimal, illustrant l’intérêt de sortir de sa niche. Il conclut sur la nécessité de transformer les structures pour préserver les valeurs de la recherche mathématique.

216 mots

Évaluation critique

Valeur des informations & solidité de l’argumentation

L’exposé offre une perspective riche et nuancée sur les défis posés par l’IA aux mathématiques. François Charles argumente avec des exemples concrets (First Proof, Hexagone, les 700 textes d’OpenAI) et une mise en perspective historique (le Phèdre de Platon, l’histoire des revues). Il reconnaît les limites de son point de vue et insiste sur la pluralité des approches. La force de son argumentation réside dans son appel à une action collective pour réorienter les institutions plutôt que de subir passivement les évolutions technologiques.

Rigueur scientifique, qualité des sources, adéquation du titre

Les sources citées sont principalement des initiatives qu’il connaît de l’intérieur (First Proof, Hexagone) et des références historiques. Il ne fournit pas de données chiffrées précises, mais son propos est honnête sur son caractère expérienciel. Le titre correspond bien au contenu : il traite des pratiques mathématiques, tant individuelles qu’institutionnelles, à l’ère de l’IA. La rigueur est satisfaisante pour un exposé de ce type, même si on aurait pu attendre plus de références à des études systématiques.

175 mots

Adéquation titre / contenu

Le titre annonce bien le contenu : la discussion porte sur les pratiques mathématiques individuelles et institutionnelles face à l'IA, avec des exemples concrets.

Qualité & fiabilité

8/10

Exposé argumenté d'un mathématicien reconnu, appuyé sur des initiatives réelles (First Proof, Hexagone) et une réflexion historique. Le propos est nuancé et reconnaît ses limites, mais repose principalement sur des opinions et expériences personnelles, sans données chiffrées précises.

Moments clés

Repères établis par PSI à partir de la transcription : le créateur n'a pas défini de chapitres.

Sources citées

Apport & nouveautés

François Charles apporte un regard personnel et institutionnel sur l’irruption de l’IA générative dans les mathématiques, soulignant la nécessité de repenser les structures de la recherche (publication, évaluation, lecture). Il propose des pistes comme la plateforme Hexagone et l’initiative First Proof pour encadrer et évaluer les productions de l’IA.

Pour aller plus loin :

  • Manifeste de Leiden — Référence sur l’évaluation de la recherche scientifique, pertinent pour la réflexion sur l’évaluation des carrières.
  • Phèdre de Platon — Dialogue sur l’écriture et la mémoire, utilisé comme analogie historique.
  • arXiv — Serveur de prépublications, directement concerné par la surproduction de textes générés par IA.

102 mots

Profil radar

Le profil montre des scores élevés en qualité et fiabilité, mais un niveau technique modéré, reflétant un exposé de réflexion plutôt que de contenu mathématique pointu. La quantité d'informations est substantielle, mais la dimension technique reste limitée.

Fiabilité 8/10