Can AI do maths yet? Thoughts from a mathematician