標籤
2 篇文章
這篇論文用形式化演算描述 LLM 代理人的對話與資訊流,目標是把隔離、保密與完整性變成可證明的安全規則。
Martin Fowler、Anthropic、OpenAI 都指向同一件事:LLM 能不能上線,不只看模型,還看外層的 harness。