粉笔与飞机：数学的浪漫时代正在结束
来源：unintendedconsequenc.es — 2026-10-19
📋 概述
文章借陶哲轩的话讨论数学界正在经历的情绪：AI 让证明从稀缺变成充裕，数学进入「工业时代」，浪漫的英雄时代结束。作者把当下反应与历史上的卢德运动、缝纫机对裁缝的冲击并列，并摘录同行心声——1976 年四色定理用计算机证明时，Halmos 喊「打倒神谕，那不是数学」；今天则是博士生的恐慌、经费焦虑，以及「数学的暗夜」式的精神危机自述。
🔑 核心要点
- 陶哲轩的判断：从「证明稀缺」转向「证明充裕」，数学进入大规模协作的工业时代。
- 1976 年四色定理的计算机证明已经演过一次礼仪之争，Halmos 的原话是「打倒神谕」。
- 现实焦虑集中在职业与经费：博士生恐慌，政策制定者要「附加值」的解释。
- 作者同情但不粉饰：生不逢时的感慨无法规模化，也没人会给今天的数学家发补偿。
💡 金句
We are transitioning from an era of proof scarcity to proof abundance.
👍 0
👎 0
← 返回 Hacker News 首页