陶哲轩博客发了一篇客座文章：AI 时代，我们为什么还需要人类数学家？

Why Do We Need Human Mathematicians Anymore?

这篇文章是数学家罗博深在陶哲轩博客上发的，起因是 OpenAI 解出了纳维-斯托克斯千禧年大奖难题，数学圈炸了锅，各种宣言和公开信满天飞。罗博深没跟着喊口号，而是从“人类应该帮助人类繁荣”这个公理出发，推了一套逻辑：如果 AI 继续变强，它创造出来需要人干的活，会比能干活的人还多，多到 AI 的进步反而会被拖慢。这个结论反直觉，而且他声明适用于所有行业...

推荐理由：文章本身是数学家对数学圈恐慌的回应，但论证跳出了具体技术，从“人类繁荣”的公理往下推，得出一个反直觉的结论。我会先打个折：正文没给出这套逻辑的严格数学证明，更像一篇思想实验，所以别当定理看。但它在陶哲轩的地盘发出来，时机又卡在 OpenAI 解难题之后，对 AI 从业者来说，提供了一个不同于“替代焦虑”的思考角度，值得一读。