I think that's ultimately a good thing. As proofs weren't supposed to be the point as stated by William Thurston long ago. Maybe now the focus can be more on better explanations and creating tools for growing understanding and intuition.

▲

cowlevel an hour ago | parent [-]

Good explanations should take the form of human-understandable proofs.

	▲	btilly an hour ago \| parent [-]
		Define "human understandable". It's worthy of note that most humans, do not find most mathematicians understandable. As is frequently demonstrated in Calculus classes. Therefore it is arguable that even human produced results are not generally human understandable.