SOTAVerified

Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems

2026-03-19Unverified0· sign in to hype

Cosimo Spera

Unverified — Be the first to reproduce this paper.

Reproduce

Abstract

This paper contains the first formal proof that safety is non-compositional in the presence of conjunctive capability dependencies: two agents each individually inca- pable of reaching any forbidden capability can, when combined, collectively reach a forbidden goal through an emergent conjunctive dependency.

Reproductions