数学家或成AI替代首波目标
推荐指数 27.0 NO. 020 · 2026.08.22
发布2026/08/23Score73Comments49
为什么值得看
一份PDF文档在HackerNews引发讨论，认为数学家的工作模式（形式化推理、符号操作）最易被AI自动化。该观点挑战了"创意工作最后才被替代"的普遍假设，对AI能力边界和职业风险评估有参考价值。
编辑判断
这个观点的尖锐之处在于它反转了常见的替代顺序：不是从低端重复劳动开始，而是从高度形式化的精英工作切入。Lean等证明助手已经展示了这条路的可行性，Terence Tao等顶尖数学家也在积极拥抱AI辅助证明。
对AI工程师的启示是，"形式化程度高、有明确验证标准"的任务可能比"看起来复杂但模糊"的任务更容易被攻克。如果你在评估某个垂直领域的AI替代风险，不要只看薪资高低，要看任务是否可被形式化验证。做教育科技或职业转型的团队，可以重新思考培训资源的投放优先级。
社区反馈
意见分歧 46 条评论
核心争论：数学家是否最先被AI替代，还是这仅是泰德·卡辛斯基2004年的反技术预言
相关内容
数学成为第一个被AI取代的学科？OpenAI峰会上，顶尖数学家追问 超3000名数学家签署《莱顿宣言》，应对AI生成数学成果泛滥、真假难辨的困境。 AI真能取代数学家？菲尔兹奖得主集体“辟谣” 2026国际基础科学大会上，菲尔兹奖得主表示AI可解题却无法感受数学之美、在不确定中创造。 数学家谈如何拥抱AI：把AI作为工具，而不是思考的替代品 菲尔兹奖得主比尔卡尔指出AI擅长计算和引理证明，但难提出新思想；巴姆勒提醒应重视证明过程的直觉与解释。 “因为AI不再招研究生了！”菲尔兹奖得主转身加盟OpenAI 菲尔兹奖得主Jacob Tsimerman加盟OpenAI，反映数学家职业困境与AI对学术生态的冲击。
The interesting context: 1) this has nothing to do with LLMs 2) this is a pdf of a handwritten letter and 3) this was written by the unabomber
Well, thank you for the context of (2) and (3), but you’re dead wrong about (1), because Kaczynski was uniquely qualified to accurately predict LLMs, and here is the proof, complete with an analogy of headstone carving. So this is our battle-cry: “Ted Kaczynski wasn’t wrong!”
I would like to also know the date.