자동화된 증명 검증기를 사용하면 문제를 작은 조각으로 나누고, 조금씩 해결한 다음, 모든 조각이 정확하다는 확신을 가지고 다시 조립할 수 있습니다. 일부 사람들에게는 이것이 수학 연구의 새로운 시대를 알리는 신호입니다.