Mathematicians Hate AI. They Can’t Quit It · Bharat Hunt