ChatGPT for Mathematicians