Este artículo presenta un estudio sistemático que examina las tendencias de investigación en la aplicación de la inteligencia artificial (IA) a los métodos formales (MF). Examina cómo la IA puede contribuir a los MF y sugiere futuras líneas de investigación, centrándose en artículos de investigación publicados entre 2019 y 2023. Se realizaron búsquedas en cuatro bases de datos principales y se analizaron 189 estudios utilizando criterios de inclusión/exclusión. El análisis reveló que, si bien el uso de la IA es prominente en la demostración de teoremas, otros subcampos de los MF permanecen relativamente poco investigados. La investigación actual sobre los MF basados en IA se encuentra en sus primeras etapas, careciendo de fundamentos teóricos, puntos de referencia estándar y estudios de caso. La falta de conjuntos de datos de aprendizaje compartidos y puntos de referencia estándar también se identificó como un desafío.
