Comment by bashtoni

Is AI going to put Mathematicians out of a job, or is it going to create many new jobs reviewing proofs it creates?

I'm not sure it's clear right now.