Artificial Intelligence and Mathematics