Cet article présente une étude cartographique systématique examinant les tendances de recherche dans l'application de l'intelligence artificielle (IA) aux méthodes formelles (MF). Il examine la contribution de l'IA à la MF et suggère des orientations de recherche futures, en ciblant les articles de recherche publiés entre 2019 et 2023. Quatre grandes bases de données ont été consultées et 189 études ont été analysées selon des critères d'inclusion/exclusion. L'analyse a révélé que si l'utilisation de l'IA est prédominante dans la démonstration de théorèmes, d'autres sous-domaines de la MF restent relativement peu étudiés. La recherche actuelle sur la MF basée sur l'IA en est à ses balbutiements, manquant de fondements théoriques, de référentiels standard et d'études de cas. Le manque de données d'apprentissage partagées et de référentiels standard a également été identifié comme un défi.
