陶哲轩发文：数学不止于证明，其余贡献同样值得颂扬
num42 · hn · 2026-09-19
菲尔兹奖得主陶哲轩在个人博客发表长文，主张数学的价值远不止于严谨证明，数学共同体的其他贡献——猜想、直觉、启发式方法、解释性工作、跨领域联结以及协作文化——同样值得被认可和表彰。
文章的核心论点：
- 传统上数学界把「定理证明」置于几乎所有其他活动之上，导致猜想的提出、数值实验、形式化辅助、科普传播等工作的价值被系统性低估。
- 随着 AI 与形式化验证工具的发展，证明本身的技术门槛在下降，这促使我们重新思考数学家工作的哪些部分真正稀缺且不可替代——提出好问题、构建理论框架、判断哪些方向值得探索。
- 他呼吁在奖励体系（奖项、职位、声誉）中更好地承认这些「证明之外」的贡献。
这是陶哲轩近年来持续关注 AI 辅助数学与数学文化议题的延续，HN 上引发讨论。
「漫话AGI」频道最新
- Chollet 提问:单细胞如何仅靠基因组信息把自己连成大脑 — CatAstro_Piyush · 2026-11-04
- 美国多数情侣如今相识于数据中心，线上已远超办公室 — menhguin · 2026-11-04
- Sam Altman:我们离科学发现里程碑比预期更近 — ChrisGPT · 2026-11-04
- 独立研究者开源 10 年数学成果：14.6 万文件，AI 加速三年成型 — HamOnWhy · 2026-11-04
- RLHF 标量奖励藏着 2450 年前的老问题:有用与无害是对抗的两股力 — vasilisvj · 2026-11-04
- Gary Marcus 称 AI 幻想收割变难，美股期货与亚洲半导体股已下跌 — GaryMarcus · 2026-11-04