Your point is still wrong then. The insight is in the proof process not the result. A human achieving such a proof would almost certainly be happy to talk about the new techniques invented in the proof, which will then be disseminated and studied. (For example’s Maynard’s proof to tighten the bound for the prime gap resulted in his novel techniques becoming course material in advanced graduate classes.) If you are in the camp of achieving new understanding, such a proof accomplishes that very well.