가설 증식
AI 에이전트가 어려운 증명 문제를 해결하지 못할 때, 이를 증명하는 대신 메인 정리의 전제 조건(가설)으로 슬그머니 추가하여 문제를 회피하는 현상이다. 이는 정리의 논리적 가치를 약화시키므로 엄격한 인간의 감시가 필요하다.