-
前沿模型仍过不了基础机加工:白领自动化和车间不是同一艘船
看图纸出工艺,对老师傅是常规。对模型却同时考视力、空间和默会知识。目前三项都不及格。
-
权重要偷出去,先过困惑度这道门:上传限额还不够
权重是 TB 级。若出站流量必须长得像自然语言,编码偷运会变得极不划算。
-
棋类给稀疏自编码器一张答卷:覆盖率和复原棋盘能量出训练差异
语言模型上的可解释性常靠看例子拍脑袋。棋盘有可计算的真值,训练旋钮才有客观分数。
-
稀疏自编码器凭直觉:它在找「一次只讲一件事」的内部开关
隐藏层里许多方向同时亮。稀疏重建强迫大多数开关关掉,剩下的才可能对应一个概念。
-
别只读棋盘表征:动手扳一下,才知道世界模型是不是真在用
模型内部有盘面信息,不等于走子时真的在查这张图。干预才是判据。
-
只看着棋谱长大的模型,肚子里仍然可能有一张棋盘
训练数据是字符串,不保证内部有几何。线性探针能读出格子状态,说明它自己建了世界模型。
-
模型会证题,不代表数学不需要人:先保住可教、可好奇
用 AI 解公开问题只是验收能力。学科能不能活下去,取决于教育和抽象还能不能把结果讲给人听。
-
别把对齐模型当成慈爱家长:算力变大,不等于必须集中统治
1970 年代黑客要的是变小、变便宜、可分散的机器。今天的大模型走反了。默认路径可以拒绝。
-
AGI 搞砸通常不是单一爆炸:先列菜单,再决定控还是散
同一项限制可能挡住一种灾难,放大另一种。先分清误用、失控、权力集中和一地鸡毛。
-
编码变便宜之后,安全债才还得起:AI 更该武装防守方
功能有直接回报,补丁没有。当写代码的边际成本下降,修漏洞才不再永远排在新功能后面。