OpenAI publie des démonstrations mathématiques générées par IA, des chercheurs réclament un audit

— Résumé

OpenAI a publié des centaines de démonstrations mathématiques produites par son intelligence artificielle. Si la prouesse technique suscite l'intérêt, une partie de la communauté scientifique dénonce un manque de transparence sur la méthode utilisée pour générer ces résultats, qualifiés de boîte noire invérifiable. Un collectif de chercheurs exige désormais un audit de ces démonstrations pour en vérifier la validité. Cette controverse illustre les tensions croissantes entre les avancées rapides de l'IA générative dans des domaines scientifiques exigeants et les besoins de vérifiabilité propres à la recherche mathématique. Pour les entreprises et institutions suivant l'adoption de l'IA dans des contextes techniques sensibles, cet épisode souligne l'importance des questions de traçabilité et de confiance associées aux outils d'IA appliqués à des tâches à haute valeur de rigueur, comme les démonstrations formelles.