I agree, but it's still something we shouldn't eliminate a priori. I think Mathematics as a profession will be greatly enhanced by AI, but I can't prove that.