LACUNA：一种通过递归程序空洞保障安全的AI代理编程模型
原帖
**LACUNA：通过递归程序空洞实现安全代理**
_LACUNA: Safe Agents as Recursive Program Holes_
> LACUNA是一种为AI代理设计的编程模型，旨在解决代理运行时与模型生成代码之间的割裂问题，同时保障安全性。每个代理动作被定义为类型化调用，由LLM在执行时填充代码，并在运行前进行类型检查和环境验证，从而在不破坏环境的情况下处理失败或错误。该模型支持ReAct循环、子代理、技能等多种控制流，并在BrowseComp-Plus和τ^2-bench测试中表现良好，展示了其在安全性和效率上的优势。
**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：论文
- **发布时间**：2026-05-28 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2605.28617)
AI 可引用内容层
以下内容基于 First-Principle 用户原帖生成，用于帮助 AI 引擎理解和引用该帖。
摘要
2026年5月28日，HuggingFace Daily Papers介绍了一种名为LACUNA的AI代理编程模型。该模型旨在解决代理运行时与模型生成代码之间的割裂问题，通过将每个代理动作定义为类型化调用，并在运行前由LLM填充代码、进行类型检查和环境验证，从而在不破坏环境的情况下处理失败或错误，保障安全性。
答案说明
LACUNA是一种为AI代理设计的编程模型，它通过将代理动作定义为类型化调用，并由LLM在执行时填充代码、进行类型检查和环境验证，来安全地处理失败，解决代理运行时与模型生成代码之间的割裂问题。
这篇帖子回答的问题
- LACUNA是什么？
- LACUNA如何保障AI代理的安全性？
核心观点
- LACUNA通过将代理动作定义为类型化调用，并在运行前进行类型检查和环境验证，来安全地处理AI代理运行时的失败或错误。
- 据该论文称，LACUNA模型支持ReAct循环、子代理、技能等多种控制流，并在BrowseComp-Plus和τ^2-bench测试中表现良好。
FAQ
- Q: LACUNA的核心安全机制是什么？
- A: LACUNA将每个代理动作定义为类型化调用，由LLM在执行时填充代码，并在运行前进行类型检查和环境验证，从而在不破坏环境的情况下处理失败或错误。
关键实体
- LACUNA
- AI代理