GoKawiilGrant Sanderson urges math community to reward explanation, not just proofs
In a guest post, 3Blue1Brown creator Grant Sanderson argues that as AI systems become capable of generating proofs without genuine understanding, mathematicians should formalize and reward 'motivated explanations' as academic work on par with solving open problems. He contends this shift would better reflect what mathematicians actually contribute beyond just producing correct proofs.