Can mathematicians still refuse to use AI at this point? · Briflio