顶数家 littmath：应降低 AI「最后一公里」成果的学术回报

littmath · x · 2026-09-06

数学家 Daniel Litt（littmath）与 Scott Armstrong 讨论数学界的评价机制如何应对 AI。Armstrong 以近期渗流理论突破为例：Kozma 和 Nitzan 应获「大部分」功劳，叙事应是「Claude 证明了确认其想法所需的引理」而非「Claude 解决了渗流问题」；若这项工作发生在 2026 年，两人很可能借 AI 完成完整证明。Litt 认同并身体力行：社区应减少给「最后一公里」工作的回报，尽管可能出现滥用者，仍应维护社区价值。