Would it matter if AI had a proof for RH or P < NP, but the proof was 1000 pages long that Leaf could verify but otherwise impenetrable by a human mind? We generally assume these are true already -- I am not sure a long convoluted proof puts us in a much different place.

▲

kccqzy 2 hours ago | parent [-]

As the article had said there are two cultures in mathematics. At one end of the spectrum are mathematicians who are primarily motivated by the wish to solve problems, and at the other are mathematicians who are primarily motivated by the wish to attain conceptual understanding.

You are clearly on one end of the spectrum and do not seem to understand the other end.

	▲	waynecochran 2 hours ago \| parent [-]
		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.