> My friend, who is a math professor, told me that they weep because they are about to become just like us developers: prompt writers and AI output reviewers.

If it was about understanding interesting proofs that some AI came up with, and extracting their essence, I don't think the situation would be so bad.

I see the much larger problem in the now existing career prospects of non-tenured researchers in mathematics. Everybody know how precarious the career prospects in academia and how precarious often the non-tenured positions in academia already are. With the new AI breakthroughs in math, these have in my opinion even worsened a lot.

UPDATE: For a related point, see also pixl97's post: https://news.ycombinator.com/item?id=50104145