如果数学不止是证明，我们得好好奖励剩下的那部分

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

Grant Sanderson 在陶哲轩博客上发了一篇客座文章，核心观点是：数学界应该把“有动机的解释”抬到和证明同等的学术地位。他的逻辑很直接——证明本来只是衡量“人类理解”的一个代理指标，现在机器能批量生成没有洞察的证明，这个代理就失效了。他定义的“有动机的解释”不是科普，而是一种叙事：讲清楚一个想法是怎么被想出来的，包括走错的路和后来的修正，定义...

推荐理由：Grant Sanderson 在陶哲轩的博客上发了一篇观点鲜明的文章，核心论点是：AI 能批量生成证明后，数学界必须把“有动机的解释”抬到和证明同等的地位。这个想法本身不算全新，但由 3Blue1Brown 的主创在陶哲轩的平台上说出来，分量就不一样了。文章没有给出具体的操作方案，正文也没披露学界对此的正式回应，但问题提得尖锐——当证明不再是人类理解的可靠代理指标，我们该用什么来衡量数学工作的价值？我会先打个折，因为目前还只是一篇博客观点，没有形成可落地的标准，但它的讨论价值很高。