Machine Learning For Mathematicians