증명 스케치
수학적 증명의 세부적인 계산이나 논리 전개를 생략하고 전체적인 논리 흐름과 핵심 아이디어만을 개략적으로 기술한 문서이다. AI 에이전트가 이를 입력받아 엄밀한 수학적 언어로 세부 내용을 채워나가는 가이드 역할을 수행한다.