Mathematicians Hate AI. They Can’t Quit It | Agent5