Paper proposes proof-carrying contracts for AI agent agreements
An Airlock blocks an operation unless the agent supplies a proof that agreed constraints hold in every modeled case.
Stories per day · 30 days
1 stories, newest first · one card per story