Carlo Ciliberto, Alessandro Rudi, Enrico Tassi · 2026 · arXiv
DOI: 10.48550/arXiv.2610.28484 · open-access PDF
Agentes de IA agem cada vez mais em nome de pessoas ou outros agentes, comprando serviços, trocando informações e delegando trabalho. O que um agente deve respeitar está escrito em instruções, políticas ou acordos, mas o texto sozinho não pode fazê-lo cumprir. Pode cometer erros, ser redirecionado pelo que lê, ou perseguir interesses diferentes. Para uma economia de tais agentes funcionar, as partes precisam de acordos em que possam confiar sem inspeccionar ou confiar nos agentes uns dos outros. Introduzimos Contratos de Carregamento de Prova (PC2), um quadro para tornar as restrições acordadas aplicáveis ao longo da interação de um agente.
Machine translation (Meta M2M100); the English original follows.
AI agents increasingly act on behalf of people or other agents, purchasing services, exchanging information and delegating work. What an agent must respect is written in instructions, policies or agreements, but text alone cannot make it comply. It may make mistakes, be redirected by what it reads, or pursue different interests. For an economy of such agents to function, parties need agreements they can rely on without inspecting or trusting one another's agents. We introduce Proof-Carrying Contracts (PC2), a framework for making agreed constraints enforceable throughout an agent's interaction
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.28484, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange