范畴论数学家：AI 在扩展数学已知，而非取代数学家

hugobowne · x · 2026-08-27

Hugo Bowne-Anderson 转述范畴论数学家 Emily Riehl 的观点：AI 并没有从根本上改变她对「做数学家意味着什么」的理解，因为她一直像关心「什么为真」一样关心「为什么为真」。AI 尤其通过新例子和反例在「扩展」数学家已知为真的东西，但即使一个例子「从 AI 对话中掉出来」，仍有真正的数学工作要做——数学家要理解它的含义、来源、是否有其他解释、以及它如何嵌入整个学科。Bowne 认为这正是「AI 实际上会创造更多工作」的好例子，也是 Tim O'Reilly 长期主张的观点。