Large Language Models for Mathematicians