AI 公司作为控制系统：一项形式化建模研究

一篇研究论文将 AI 公司建模为开放、依赖资源的控制系统，用 contextual ∞-topos、范畴论、lenses 等语言描述状态、不可逆操作与多条反馈回路，并给出可认证更新保持、下降、观测监管局限等基础结果。