Mathematics and AI