Grant Sanderson argues that mathematics should elevate "motivated explanations"—work that clarifies intuitions and explains why theorems matter—alongside proof generation as a measure of mathematical contribution. He contends this shift would better reflect what mathematicians truly do and help outsiders understand their value beyond proof-generating machines.