I'm not a very good mathematician, but I do know a fair bit about software engineering, and with AI I've been busier than ever. I probably wouldn't be so busy if AI was better at anticipating what I actually wanted rather than making guesses no human would ever make.

This is just a short term problem though. Eventually AI will get pretty good at figuring out exactly I want and it will build that from the start. The requirement of me reviewing the AI output only lasts as long as models stay bad at anticipating my needs, which I don't think will take too much longer.

> reviewing proofs it creates?

If you mean reviewing for correctness then no, a Lean proof is a much stronger guarantee than anything that can be provided by any human.

For someone who's goal in math was taking unsolved problems and working on them then it's probably over. Just like in software engineering writing code by hand is kinda over.