Mathematicians Hate AI But Can't Quit It

Powerful AI models pose an existential risk to mathematics, yet researchers remain dependent on them because they are too useful, highlighting a deep tension in the field.