Sean Goedecke：AI 正在拆掉我们用来识别「专业」的代理指标
作者借近五千名数学家签名的声明，讨论 AI 解题如何掏空「难题」作为专业声望代理，并对照软件工程中的类似冲击。
工程师 Sean Goedecke 发文分析：近五千名数学家（含二十余位菲尔兹奖得主）签署的声明《A Severe Misalignment of AI in Mathematics》，核心不是「怕被自动化」，而是 AI 公司用解难题当基准，正在破坏数学真正看重的概念理解与洞见。
他把数学分为「解谜」（高可见、易 externally 表彰）与「造概念」（真正推进学科但对外难懂），认为解谜长期充当造概念的激励与筛选代理；当 AI 能「硬算」出答案却不产出可传承思想时，代理指标被 Goodhart 化。文中也对照软件工程：GitHub 大项目、周末重写系统等旧声望信号同样因 AI 而贬值，行业需要重建「什么算有价值的人类工作」。