A korrentour readingWhat is a korrent?
Mathematics alone can be left running: point a prover at a formal library, walk away for ten years, and there will be something there when you come back.
Drawn from what Grant Sanderson said
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.