Again I analogize to the situation with developers. There are glass half empty devs who seem to enjoy writing boilerplate and hate AI, and glass half full devs who realize AI when properly used enables an order of magnitude increase in productivity.

If AI saps motivation from some mathematicians, I question where their motivation came from in the first place. Maybe they're just too wedded to the traditional way of doing things and aren't fully appreciating the actual productivity gains AI makes possible.

> glass half full devs who realize AI when properly used enables an order of magnitude increase in productivity

Again, have you read Tao’s recent criticism of AI in mathematics? Nothing you’re saying is disputed.

> If AI saps motivation from some mathematicians, I question where their motivation came from in the first place

Question away. I care about results. If a substantial number of great mathematicians say this is a problem, and a substantial number of students agree, whether they’re unappreciative of their potentially pending unemployment is irrelevant to both that fact and the fact that they’re not going to be producing mathematics. (Again, here. The American mathematical ecosystem collapsing doesn’t mean the same will happen abroad.)