Mathematicians Hate AI. They Can’t Quit It