Machine Learning in Mathematics