Not sure why you're down the bottom when the current top post says pretty much the same thing. I agree that the reevaluation and refocusing that is being forced by AI is one the maths establishment could fruitfully have had a long time ago.