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

> 原标题：If math is more than proof, we need to better celebrate the rest of it

- 来源：Hacker News 首页
- 发布时间：2026-09-19T06:28:02.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/57566
- 原文：https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/

## 摘要

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

## 推荐理由

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

## 锐评

Grant Sanderson 在陶哲轩博客上提了一个很具体的建议：数学界应该把“有动机的解释”当成正经学术成果，和证明平起平坐。他的出发点很直接——证明从来都只是衡量“人类理解”的一个代理指标，现在 AI 能批量吐出逻辑正确但毫无洞察的证明，这个代理就不好使了。他定义的“有动机的解释”不是科普，而是一种叙事：讲清楚一个想法是怎么被想出来的，包括走错的路和后来的修正，定义要放在中间而不是开头。他举了《普林斯顿数学指南》第四部分当范本，也承认这东西没法像证明那样用 Lean 做形式化验证，评判标准天然更“软”。

文章没给出具体怎么落地的方案，比如谁来评审、怎么纳入晋升考核，这些关键机制都缺着。Sanderson 自己也坦白了立场：他做 3Blue1Brown 视频，不在学术圈里抢饭碗，所以提这个建议没有利益冲突。但反过来看，正因为他不靠学术评价体系吃饭，这个提议在体制内推起来的阻力有多大，他可能低估了。我会先打个折：方向对，但怎么让系里开会时真把这个当硬通货，正文没给出路线图。