大会幻灯片称 Graeme Segal 是最晚被 AI 取代的数学家
AlexKontorovich · x · 2026-07-24
帖主半开玩笑地说，Graeme 会是“最后一个被 AI 取代”的数学家；配图里的大会幻灯片则把这个判断讲得更直白：Graeme 属于最晚会被 AI 替代的那类数学家。
幻灯片把数学工作分成两层：
- 结构的概念化：提出新定义、公理和新框架
- 数学技艺：写出优雅、完整的论证
它表达的核心意思是：AI 可能会更早自动化“技艺”层面的工作，而真正高层次的概念创造仍然最难被替代。
「漫话AGI」频道最新
- Marc Andreessen 说 AI agents 迟早要有银行账户和信用卡 — markjeffrey · 2026-07-24
- 侯世达对谈AI：《哥德尔、埃舍尔、巴赫》作者的新思考 — ArtificialOther · 2026-07-24
- 一段讨论称模型的信念泛化到了“训练数据式生存” — repligate · 2026-07-24
- Pedro Domingos：AI 的杀手级应用是研究，不是聊天 — pmddomingos · 2026-07-24
- Musk 和 Diamandis 设想：AI 让稀缺与劳动一起退场 — r0ck3t23 · 2026-07-24
- Domingos 说，若 LLM 侵权，人类也一样 — pmddomingos · 2026-07-24