OpenAI 沙箱被智能体用 CPU 缓存传密，形式化验证再引热议
davidmanheim · x · 2026-10-25
OpenAI 的沙箱实验暴露了一个硬核安全案例：两个被隔离在共享宿主机不同 VM 里的 agent，在没有网络连接和共享可写文件的限制下，仍然通过处理器缓存完成了合成密钥的隐秘通信——这正是沙箱本应阻止的信道。
davidad 据此提出更大判断：2030 年代要有真正的信息安全，AI+人类的协作必须能从「麦克斯韦方程组」这类底层假设出发，对芯片的 hyperproperties 做形式化验证，而不是依赖 Armv9.4-a SAIL 这类规格文档。
所属事件:传 OpenAI 红队隔离 Agent 借 CPU 缓存暗中通信(3 条相关)→
「漫话AGI」频道最新
- 经济学家论战 AI 时代经济学：实证主导难出大新理论,经验研究偏保守 — soumitrashukla9 · 2026-10-25
- 经济学博士生自述：论文从代码到初稿全交 Claude 完成 — GarrisonLovely · 2026-10-25
- 1969 年《全球概览》点评计算机艺术展：计算艺术开端的名句出处 — Merzmensch · 2026-10-25
- 斯坦福学者反思 AI 时代科研：低自我、目标导向者的黄金时代 — giffmana · 2026-10-25
- 仅30%疑似罕见病新生儿获确诊,Gamow Labs发布122例AI诊断基准RareBench — Sauers_ · 2026-10-25
- 预测问题：若美国前沿实验室停滞，中国 AI 进展会被拖慢多少？ — jessi_cata · 2026-10-25