본 논문은 수학 공식의 통합을 위한 자동화된 프레임워크를 제시합니다. 대규모 언어 모델(LLM)을 이용하여 수학 공식을 체계적으로 수집하고, LLM-코드 피드백 루프를 통해 검증하며, 새로운 기호 알고리즘으로 공식들을 군집화하고 통합합니다. π를 대상으로 455,050개의 arXiv 논문에서 407개의 서로 다른 공식을 검증하고, 그 중 381개(94%)의 관계를 증명하였으며, 188개(46%)는 단일 수학적 객체에서 유도될 수 있음을 보였습니다. 이 방법은 e, ζ(3), 카탈란 상수 등 다른 상수에도 일반화될 수 있으며, AI 지원 수학이 숨겨진 구조를 발견하고 여러 분야의 지식을 통합할 수 있는 잠재력을 보여줍니다.
