1 Automated Mathematics: 자동화된 수학