Contexte et annonce
Le 21 septembre 2026, OpenAI a présenté l'Advisory Group on Mathematics and Artificial Intelligence, un groupe indépendant installé à l'Institute for Advanced Study (IAS) de Princeton. Cette initiative intervient immédiatement après la publication d’une solution au problème de Navier‑Stokes, l’un des sept problèmes du Millénaire, et après que l’entreprise a affirmé que son modèle interne avait résolu plus de 100 problèmes ouverts couvrant plusieurs domaines des mathématiques.
Le groupe compte neuf mathématiciens, dont Camillo De Lellis de l’IAS, le seul à avoir signé la lettre ouverte des 25 lauréats de la Médaille Fields qui critiquent la rapidité des publications d’IA dans le domaine.
Fonctionnement du modèle mathématique d'OpenAI
OpenAI ne détaille pas l’architecture exacte, mais les déclarations publiques laissent entendre l’usage d’un modèle de grande taille entraîné sur des corpus scientifiques, combiné à des capacités de raisonnement en chaîne (chain‑of‑thought) et à des appels à des solveurs symboliques externes. Cette hybridation permet de générer des conjectures, d’esquisser des démonstrations et d’interroger des systèmes de preuve formelle pour valider les étapes critiques.
Le processus typique comprend trois phases : génération de texte mathématique, traduction en langage formel (par exemple Lean ou Coq) et vérification automatisée. La réussite de plus de 100 résolutions indique que le pipeline a atteint un taux de validation suffisant pour être considéré comme fiable, même si les critères de succès exacts (taux de faux positifs, complexité des preuves) ne sont pas publiés.
Rôle et limites du groupe consultatif
Le groupe consultatif possède un mandat strictement advisory : il évalue la pertinence des résultats, publie des commentaires publics et peut refuser de participer à la diffusion de travaux jugés non concluants. Les membres ne sont pas rémunérés, mais ils conservent la liberté de publier leurs avis indépendamment.
En revanche, le groupe n’a aucun pouvoir décisionnel sur le rythme de recherche d’OpenAI. L’entreprise se réserve le droit de poursuivre ses travaux sans contrainte, ce qui limite la capacité du groupe à influer sur les priorités ou à imposer des exigences de vérification supplémentaires.
Enjeux scientifiques et de gouvernance
La capacité d’une IA à résoudre un nombre important de problèmes ouverts soulève plusieurs questions : la robustesse des preuves générées, la reproductibilité des résultats et la dépendance croissante des mathématiciens à des outils automatisés. Sans un cadre de validation transparent, le risque de « preuves hallucinations » demeure élevé, surtout pour les problèmes où les critères de preuve formelle sont encore en cours de définition.
Le contraste entre l’enthousiasme d’OpenAI et la mise en garde des lauréats de la Médaille Fields indique un besoin urgent de protocoles de gouvernance qui équilibrent innovation rapide et rigueur scientifique. Le groupe consultatif, bien que limité, constitue une première tentative d’instaurer un dialogue structuré entre la communauté mathématique et les laboratoires d’IA.
