博文
数学家也分"物种"：为什么我们用同一把尺子量所有天才
||
你有没有想过一个荒诞的场景——
让一个评审委员会去评价莎士比亚。委员会看了《哈姆雷特》，给出的意见是："本作品未解决任何已知技术问题，未引用前人文献，无明确应用场景，建议不予资助。"
这听起来很可笑。但把场景换一下：一个年轻数学家提出了一套全新的、极其抽象的语言框架，没有解决任何具体的"大猜想"，论文被拒了三次，审稿人说"有意义但太玄""方向偏""短周期内看不出价值"。第三年，他在"非升即走"的考核中被淘汰。
这不是虚构。这是过去几十年里反复发生的真实故事。
问题出在哪？出在我们默认了一个前提：所有数学家都是同一种人，所以可以用同一套标准评价。
但数学家其实分"物种"。不同物种有不同的生存逻辑，不同的产出方式，不同的时间尺度——当然也需要完全不同的评价标准。
物种一：顶级解题家——"山头收割机"代表人物： 安德鲁·怀尔斯、格里戈里·佩雷尔曼、陶哲轩
他们做什么： 找到数学版图上最显眼的那座未登顶的山峰，然后一个人把它拿下来。费马大定理、庞加莱猜想、哥德巴赫猜想——这些"圣杯级"难题，是他们的猎物。
他们的产出特征：
目标极其明确——问题已经摆在那里几百年了
产出是一篇或几篇"核弹级"论文
同行一眼就能看出价值——因为问题本身的重要性是公认的
引用量通常很高，而且来得很快
对他们的评价标准（也是当前体系唯一熟悉的标准）：
指标 | 含义 |
|---|---|
解决了什么级别的问题 | 问题越著名、悬而未决越久，得分越高 |
论文发表在什么期刊 | 《 Annals 》《 Inventiones 》等顶刊 |
引用量 | 越快达峰越好 |
获奖情况 | 菲尔兹奖、沃尔夫奖、克雷研究所千禧年大奖 |
同行评议 | "他证明了那个不可能的问题" |
这套标准运转得很好——对这类数学家。 怀尔斯证明了费马大定理，全世界都知道这是天才。评审委员会不需要理解他的证明细节，只需要知道"他拿下了费马大定理"就够了。
但问题是：这套标准被当成了放之四海而皆准的真理。
物种二：范式开创者——"规则改写者"代表人物： 伽罗瓦、格罗滕迪克、图灵、康托尔
他们做什么： 不爬现有的山。他们觉得地图本身画错了，于是重新画一张。他们发明新的数学对象（群、概形、图灵机、集合），让后来的几代人用他们的语言思考。
他们的产出特征：
没有"解决"某个具体问题——他们让问题本身消失了
产出是一套新语言、新框架、新"操作系统"
同时代人经常看不懂，或者看懂了但觉得"这不是数学"
引用曲线是延迟的——5年、15年、甚至40年后才爆发
最终影响方式不是"被引用"，而是"被默认使用而不知来源"
对他们的评价标准（当前体系几乎不具备）：
指标 | 含义 |
|---|---|
发明了什么新基本对象 | 群、流形、范畴、概形…… |
是否统一了散落的问题 | 原来各说各的分支能否被收进一张图 |
教科书是否被重写 | 后人是否必须用他的语言重新教这门课 |
延迟接受度 | 死后多少年思想被主流接纳 |
"抹掉测试" | 把他从数学史上抹掉，学科面貌是否不可逆转地不同 |
核心区别： 解题家的价值是"被引用"，范式开创者的价值是"被遗忘"——因为他们的语言已经变成了数学本身，后人不再需要引用他们，就像你不需要每篇论文都引用欧几里得。
当前体系对他们的评价结果：
伽罗瓦生前论文被拒稿，死于决斗，21岁。格罗滕迪克早期被拒稿，如果放在今天的tenure track上，第三年就被淘汰了。康托尔被权威骂成"疯子"，晚年精神崩溃。
他们的共同命运是：在需要"2-3年见分晓"的体系里，他们的回报周期是20-50年。
物种三：体系建筑师——"连接者"代表人物： 罗伯特·朗兰兹、埃米·诺特、亨利·庞加莱
他们做什么： 他们不一定要发明全新的基本对象（虽然有时会），但他们的核心贡献是发现不同数学分支之间的深层联系，建立宏大的统一纲领。
朗兰兹纲领就是最典型的例子——他提出了一个将数论和表示论连接起来的宏大猜想网络。这个纲领不是一道题，而是一张地图，告诉全世界的数学家"这些看似无关的领域其实是同一个东西的不同侧面"。
他们的产出特征：
产出是"纲领""猜想网络""对偶关系"
自己可能只证明了其中一小部分
核心贡献是"指路"——告诉别人哪里有金矿
影响方式是催生整个研究方向，让几十、上百人沿着他的路线工作
对他们的评价标准：
指标 | 含义 |
|---|---|
纲领的统摄力 | 能覆盖多少看似无关的分支 |
催生的研究方向数量 | 多少人沿着他的路线工作 |
纲领中猜想的解决进度 | 随着时间推移，他的猜想被逐个证明 |
跨学科渗透 | 他的框架是否溢出到数学之外的领域 |
诺特是另一个绝佳例子。她把抽象代数变成了今天这个样子。她没有证明费马大定理，但她发明的工具让后来所有人能更高效地工作。她的评价标准是"她走了之后，这门学科的地基换了"。
物种四：工匠大师——"深度雕刻者"代表人物： 很多菲尔兹奖得主其实属于这一类
他们做什么： 在已有的范式和框架内，把事情做到极致。他们不发明新语言，也不解决"圣杯级"难题，但他们在某个具体方向上做出了极其深刻、系统性的推进。
比如：在某个代数几何的具体问题上，把格罗滕迪克的工具用到出神入化，证明了一系列关键定理，完善了整个理论大厦的某个楼层。
他们的产出特征：
产出是大量高质量论文
每篇论文推进一小步，积累起来是一大步
领域内的专家极其尊敬他们
但大众和媒体很少听说他们的名字
对他们的评价标准：
指标 | 含义 |
|---|---|
论文的系统性和深度 | 是否形成了一套完整的理论体系 |
领域内影响力 | 同行是否认为他是该方向的权威 |
技术工具的精进 | 是否把现有方法推到了新高度 |
对具体问题的推进 | 是否解决了该方向的关键技术障碍 |
这类数学家是数学界的"中流砥柱"。 没有他们，范式开创者铺好的路就没人去走，解题家也缺少必要的工具。但他们最容易被忽视——因为他们的贡献是"渐进式"的，不像解题家那样有戏剧性的突破，也不像范式开创者那样有颠覆性的革命。
核心冲突：一套逻辑打败了所有逻辑现在回到开头的问题。
我们的学术评价体系——数论文、看影响因子、短周期考核、同行评议——这套逻辑本质上是从物种一（解题家）的特征中抽象出来的：
解题家有明确的问题 → 所以考核要有"明确的研究目标"
解题家的产出是论文 → 所以数论文
解题家的引用来得快 → 所以看短期引用量
解题家的价值容易被同行识别 → 所以同行评议有效
这套逻辑对解题家运转得很好。问题是：它被当成了评价所有物种的唯一标准。
范式开创者被淘汰，因为他们的产出不是"解决具体问题"。
体系建筑师被低估，因为他们的纲领需要几十年才能验证。
工匠大师被边缘化，因为他们的渐进式贡献在"影响因子"面前不够性感。
一套逻辑打败了所有其他逻辑——不是因为它更好，而是因为它更"可管理"。
量化指标天然被官僚系统偏爱，因为不可量化的东西无法纳入KPI、预算分配和晋升决策。所以这套逻辑一旦被制度化，它不需要跟其他逻辑辩论，它直接取消其他逻辑的参赛资格。
一个年轻人想做长周期的基础框架研究，不是被谁否定了——他第三年就拿不到续约。不是有人说他的方向不好——是没人有权等他。不是评审机制出了bug——是机制运转完全正常，只是它正常运作的结果，就是系统性地过滤掉所有需要十年才能显形的东西。
那怎么办？这不是一篇能给出完整解决方案的文章。但至少可以指出方向：
第一，承认物种差异。 不同物种需要不同的评价逻辑。对解题家数论文没问题；对范式开创者，需要"延迟评价"机制——比如十年考核制而非三年考核制。对体系建筑师，需要看"纲领影响力"而非单篇引用。对工匠大师，需要看系统性贡献而非是否有"大新闻"。
第二，允许"不可量化"的合法性。 当一种新语言成为常识，它就从"某某的理论"变成了"数学本身"。你无法用引用次数衡量欧几里得。评价体系必须保留"定性评价"的空间——让真正懂行的人有权力说"这个人做的事情现在看不出价值，但十年后可能是基础性的"。
第三，保护"异常值"。 伽罗瓦、格罗滕迪克、康托尔——他们的共同特征是早期被拒稿、被嘲笑、被边缘化。任何真正原创性的工作，在早期都像"不是数学"。体系需要容错空间，需要允许一定比例的人做"看起来没用"的事情。
结语数学史上最讽刺的一件事是：我们今天用来评价数学家的这套体系，如果用它来评价伽罗瓦，伽罗瓦会不及格；用它来评价格罗滕迪克，格罗滕迪克会被淘汰；用它来评价图灵，图灵会被认为"方向太偏"。
而这些人，恰恰是让数学"不可逆转地不同"的人。
下一次当你看到一个年轻人因为"论文不够、方向太偏、审稿人看不懂"被淘汰时，想想这件事：你淘汰的可能不是一个不合格的研究者，而是一个正在重新安装数学的人。
而我们的体系，正在用一套逻辑，打败所有其他逻辑。
数学的魅力不仅在于找到答案，也在于问出正确的问题——以及允许那些问出奇怪问题的人活下来。
https://blog.sciencenet.cn/blog-3582667-1554647.html
上一篇：[转载]科研入道的极致境界
下一篇：奥利茨(Orlicz) 空间简史
