It’s a prisoner’s dilemma. A single mathematician working with AI while all others forebear will clearly outcompete.