Mathematics and AI: A Personal Perspective