본 논문은 인공지능(AI)을 형식적 방법(FM)에 적용한 연구 동향을 조사한 체계적 매핑 연구이다. 2019년부터 2023년까지의 연구 논문을 대상으로 AI가 FM에 어떻게 기여할 수 있는지, 그리고 향후 연구 방향을 제시하고자 한다. 4개의 주요 데이터베이스를 검색하고, 포함/제외 기준을 적용하여 189개의 연구 결과를 분석하였다. 분석 결과, 정리 증명 분야에서 AI 활용이 두드러지지만, 다른 FM 하위 분야는 상대적으로 연구가 부족한 것으로 나타났다. 현재 AI 적용 FM 연구는 초기 단계이며, 이론적 기반, 표준 벤치마크, 사례 연구 등이 부족하다는 점을 지적하고 있다. 공유 학습 데이터 세트와 표준 벤치마크의 부재 또한 문제점으로 제기되었다.
