Machine Learning Pure Math