AI Keeps Pissing Off Mathematicians