Comment by contubernio

As a professional mathematician it seems that AI is already at the point where, when well guided, it both does better research and writes better exposition than run if the mill mathematicians.

Well guided is a qualifier that matters.