Erbar-Maas 奇异因果干预定理
展示连续时间马尔可夫链上奇异极限的交互式数学实验室。
学术论文
智能体审计的双重证书：分离结构不可恢复性与决策相关性
对已部署的语言模型智能体进行审计，需要两个可分离的量：多少有效操作状态逃逸了记录轨迹，以及这些残差状态中有多少驱动了行为。本文提出一个双重证书协议（dual-certificate protocol）。静态证书 $\varepsilon_{\text{state}}^{\text{UB}}$ 通过未追踪信道上的最小割对残差隐状态熵给出上界。动态证书 $\delta_{\text{act}}^{\text{LB}}$…
你的模型更新，就是一纸驱逐通知：拟社会型人工智能关系中的财产权益
与人工智能系统维持拟社会关系的用户，会取得一种合同法、侵权法与消费者保护法都无法识别的衡平法利益。凡是单方改变人格参数、重置对话记忆、或修改行为倾向的模型更新，都在发挥“推定驱逐”（constructive eviction）的作用：它们把用户从其通过长期互动建立起来的情感性权益空间中排挤出去，却既不给通知、不给补偿，也不给迁移路径。…