Repérer l’IA dans les preuves mathématiques

MMarc

Un nouvel article sur arXiv étudie comment détecter la participation de l’intelligence artificielle à la production de preuves mathématiques, en la distinguant de son aide à la rédaction. L’étude rassemble 8 281 articles répartis en 5 cohortes, constituées pour couvrir différents degrés d’implication de l’intelligence artificielle dans ces travaux. Ce dispositif ne se limite pas à un seul niveau de participation : il permet d’examiner un ensemble d’articles où le rôle attribué à l’intelligence artificielle varie. L’analyse comprend également des paires d’articles consacrés aux mêmes problèmes mathématiques, afin de comparer des travaux portant sur un problème commun. Les cohortes organisent donc l’étude selon les degrés d’implication de l’intelligence artificielle, tandis que les paires rapprochent des articles liés par leur sujet mathématique. L’objectif annoncé est de repérer une contribution à la construction même des preuves, plutôt que de confondre cette contribution avec une intervention dans la formulation du texte. Mais le résumé disponible s’interrompt avant les résultats : il ne permet pas de savoir si la méthode détecte effectivement cette participation, ni d’en mesurer l’efficacité. Les informations publiées décrivent ainsi le périmètre de l’étude et ses comparaisons, sans fournir de conclusion vérifiable sur la capacité de détection; cette limite empêche, pour l’instant, d’évaluer ce que les 8 281 articles permettent d’établir.