본 논문은 수학 공식의 통합을 위한 자동화된 프레임워크를 제시한다. 이 프레임워크는 대규모 언어 모델(LLM)을 사용하여 공식을 체계적으로 수집하고, LLM-코드 피드백 루프를 통해 검증하며, 새로운 기호 알고리즘을 사용하여 클러스터링 및 최종 통합을 수행한다. $\pi$를 대상으로 이 프레임워크를 적용하여 455,050개의 arXiv 논문에서 385개의 서로 다른 $\pi$ 공식을 검증하고, 이 중 360개(94%) 공식 간의 관계를 증명했으며, 166개(43%)는 단일 수학적 객체에서 파생될 수 있음을 밝혔다. 이 방법은 $e$, $\zeta(3)$, Catalan's constant와 같은 다른 상수에도 적용 가능하며, AI 기반 수학의 지식 통합 가능성을 보여준다.
