Artificial Intelligence and Mathematical Research