Our readingWhat is a korrent?
Some theorems may only ever be provable by unintelligible case-by-case brute force; the four colour theorem still has no conceptually elegant proof.
Drawn from what Terence Tao said
Subjectmathematics
What this subject means
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.