Comment by margorczynski

> 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.