Comment by SpicyLemonZest

Perhaps an AI could! Today they do not, because the people driving them understand constructing the proof rather than understanding the proof to be "the problem".

(I suppose it's possible that in some distant AI future there might be no value in people understanding theoretical math, but I'm pretty skeptical of that; to me it seems like the same error as thinking nobody needs to understand multiplication because you can ask the computer to solve any multiplication problem.)