OpenAI annonce vouloir résoudre 100 théorèmes, un audit indépendant lancé pour vérifier les résultats

— Résumé

OpenAI a annoncé son intention de résoudre 100 théorèmes mathématiques à l'aide de ses modèles d'intelligence artificielle. Face à l'accumulation de résultats mathématiques produits par ces systèmes, une partie de la communauté scientifique a décidé de réagir. Un Advisory Group on Mathematics and Artificial Intelligence (AGMAI), soutenu par l'ENS, a été créé pour mener un audit indépendant destiné à vérifier la validité des résultats avancés par OpenAI. Cette initiative illustre les interrogations soulevées dans le milieu académique quant à la fiabilité des productions mathématiques générées par l'intelligence artificielle, et la nécessité d'un contrôle scientifique externe avant toute validation de ces résultats. Pour les entreprises et organisations s'appuyant sur des outils d'IA pour des tâches mathématiques ou scientifiques, cette démarche souligne l'importance d'une vérification indépendante des affirmations avancées par les fournisseurs de modèles.