생성-검증 격차
해답을 찾아내는 과정은 매우 어렵지만, 제시된 해답이 옳은지 확인하는 과정은 상대적으로 쉽고 효율적인 특성이다. 수학적 발견에서 AI가 제안한 가설을 컴퓨터가 즉시 검증할 수 있게 하여 평가의 객관성과 확장성을 확보하는 핵심 원리이다.