陶哲轩客座博客，罗博深亲撰：AI 都解纳维 - 斯托克斯了，人类数学家还有什么用？

作者罗博深（Po-Shen Loh）是卡内基梅隆大学数学教授、美国奥数队总教练，也是疫情期间用数学建模影响公共政策的人。他没有停留在 AI 写的证明不可信 这种浅层焦虑上，而是搭建了一条完整的推理链

1、观察：没有任何物种把未来交给比自己弱的同类来决定；

2、结构差异：老式软件是人写的指令，AI 的决策过程和你的大脑一样不可解剖；

3、后果：AI 加速的黑客攻击可以反过来攻陷原本可信的系统，所有软件一夜之间变成不可信类别；

4、结论：需要人类监管的控制点将爆炸式增长， 这些是高技能岗位，不是被替代的岗位

原文发表于陶哲轩博客，中文译文如上

补充注释：

这篇博文最初以不同的文件格式编写，并使用人工智能技术进行了转换。——T.[本文所有文字均由 罗博深 在 vim 终端中撰写，未使用任何人工智能生成。网页设计、布局以及部分标题和摘要由 Claude Code 生成，并以本文作为提示输入。

#AI反常识howto #AI搞学习howto #howto修炼提问力 #人类学 #人类文明进程 #自然哲学的数学原理 #科学家 #howto用AI抢救一切 #人类文明在进步 #科技与人文