AI and Mathematics