Comment by waynecochran
10 hours ago
I am not sure this is either end. An obscure proof to RH or P < NP does not seem to solve anything -- seems to leave us right where we are -- that was my point. We would know a fact for which we could do nothing with nor gain any new insight.
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.