Rocks to Rules：AI Alignment Forum 提出从名词到规则与契约的可互操作语义阶梯
Rocks to Rules: Climbing a Rickety-But-Interoperable Semantic Ladder
AI 导读
AI Alignment Forum 一篇长文提出从名词经动词到规则与契约的可互操作语义阶梯。起点是世界模型不同、预测相同的两个推理者先就名词达成一致，每级阶梯都配有算子；作者另提出带悬赏的猜想：任何一级的机制都离不开其下各级。作者称，想交给 AI 的价值观只能表达为规则与契约，尚无定理判定你的“谋杀”何时是我的“谋杀”的函数。