만약에 말이야 인간 수학자가 이해하기 엄청나게 어려우면 검증이 가능한걸까?