Safety is Non-Compositional: A Formal Framework for Capability-Based AI Systems
arXiv:2603.15973v1 Announce Type: new Abstract: This paper contains the first formal proof that safety is non-compositional in the presence of conjunctive capability dependencies: two agents …
Cosimo Spera
6 views