A korrentour readingWhat is a korrent?
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Drawn from what Grant Sanderson said
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.