생성-검증 격차
해결책을 찾아내는 것(생성)은 매우 어렵지만, 제시된 해결책이 옳은지 확인하는 것(검증)은 상대적으로 쉽고 효율적인 특성이다. 수학적 발견에서 AI가 제안한 복잡한 해법을 컴퓨터 알고리즘으로 즉시 검증할 수 있게 하는 핵심 원리이다.