Machine learning mathematics