수학 관련 표준 데이터셋을 정한뒤에, 오직 추론만으로 페르마의 마지막 정리를 몇 시간만에 증명하는지 측정할지도 모름