Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI