Pure Mathematics in Machine Learning