If math is more than proof, we need to better celebrate the rest of it

Grant Sanderson argues in a guest post on Terence Tao's blog that 'motivated explanations' should earn academic credit on par with proofs. He says proofs were always a proxy for understanding, and that proxy breaks when machines can generate proofs without insight. He defines motivated explanations as narratives that show how an idea could have been discovered, including wrong turns and fixes. He points to Part IV of the Princeton Companion to Mathematics as a model, admits the metric is squishier than proof, and says the community must reward this work if it wants outsiders to see what mathematicians really contribute.

Why it matters: Grant Sanderson publishes a substantive opinion piece on Terry Tao's blog, arguing that after AI can mass-produce proofs, math needs to elevate 'motivated explanation' to the same status as proof. The idea isn't new, but coming from the 3Blue1Brown creator on Tao's platform gi...