자동 정리 증명
컴퓨터 프로그램을 사용하여 수학적 정리를 자동으로 증명하는 기술이다. AI 에이전트가 논리적 결함 없이 증명 과정을 완결 짓는 것이 핵심 목표이며 수학 및 컴퓨터 과학의 융합 분야이다.