AIBearisharXiv – CS AI · May 17/10
🧠
The Two Boundaries: Why Behavioral AI Governance Fails Structurally
Researchers present a formal framework proving that AI governance systems structurally fail when expressiveness boundaries (what AI can do) and governance boundaries (what's regulated) are defined independently, creating inevitable gaps. The paper proposes 'coterminous governance'—aligning these boundaries through architectural separation of computation from effects—as the only viable solution, with proofs mechanized in Coq.