Contexte et création
Le 21 septembre 2026, Terence Tao a annoncé la formation du Advisory Group on Mathematics and Artificial Intelligence (AGMAI), hébergé à l'Institute for Advanced Study (IAS) et accessible via agmai.org. Le groupe réunit dix mathématiciens de renom – François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten, Melanie Matchett Wood – issus d’institutions telles que Harvard, Stanford, EPFL ou le College de France. Cette composition reflète la volonté d’ancrer la réflexion dans l’expertise académique la plus élevée.
Missions et fonctionnement
Le mandat officiel consiste à conseiller les entreprises d’IA sur leurs interactions avec la recherche mathématique et la communauté scientifique, notamment la présentation responsable et la diffusion des résultats produits par les modèles d’IA. Le groupe se veut indépendant : aucun membre ne perçoit de rémunération et aucune décision n’est prise au nom d’une société d’IA. Les recommandations seront publiées sur le site dédié et pourront être adressées à toute entreprise dont les modèles ont un impact significatif sur les mathématiques.
Défis techniques et scientifiques
Le premier défi identifié porte sur la coordination du déploiement d’un grand nombre de résultats mathématiques générés par le modèle interne d’OpenAI. La diffusion massive soulève plusieurs questions concrètes : comment garantir la validité formelle des preuves, assurer la reproductibilité des calculs et éviter la propagation d’erreurs non détectées ? Sans protocole de vérification automatisée, chaque résultat doit être soumis à un examen humain, ce qui crée un goulet d’étranglement logistique. De plus, la publication prématurée peut influencer la direction de la recherche en introduisant des conjectures non confirmées, modifiant ainsi les priorités de financement et de publication.
Sur le plan de la gouvernance, l’absence de pouvoir décisionnel chez AGMAI implique que la responsabilité finale repose sur les entreprises d’IA. Cette configuration nécessite un cadre contractuel clair, incluant des clauses de transparence sur les données d’entraînement et les critères de sélection des résultats à publier. Sans ces garanties, le risque de « science à la carte » augmente, où les découvertes sont choisies pour leur impact médiatique plutôt que pour leur robustesse.
Perspectives et limites
Le groupe prévoit de recueillir les avis de la communauté mathématique via un formulaire en ligne, afin d’alimenter ses recommandations. Cette approche participative peut enrichir la réflexion, mais dépend de la mobilisation des chercheurs, souvent déjà surchargés. En outre, le modèle d’IA d’OpenAI reste propriétaire, limitant l’accès aux algorithmes sous‑jacent et compliquant l’audit externe. Tant que ces aspects techniques ne seront pas résolus, les recommandations d’AGMAI resteront principalement orientées vers des bonnes pratiques de communication et de validation, plutôt que vers des solutions techniques précises.
