AutoMathKG는 정의, 정리, 문제 등 수학적 개념과 그 관계를 포함하는 대규모 수학 지식 그래프(KG)이다. 기존 연구의 한계인 불완전한 데이터셋과 다양한 정보원의 자동 통합 어려움을 극복하기 위해, ProofWiki, 교과서, arXiv 논문, TheoremQA 등 다양한 정보원을 통합하고, 대규모 언어 모델(LLM)과 벡터 데이터베이스(MathVD)를 활용하여 지식을 증강하고 자동 업데이트 기능을 구현하였다. 특히, Math LLM은 누락된 증명이나 해결책을 제공하고, MathVD는 유사한 엔티티 검색을 통해 지식 융합을 지원한다. 실험 결과, AutoMathKG는 우수한 검색 성능과 강력한 수학적 추론 능력을 보였다.
