01▲Governed Individuation: Cryptographically Decoupling an Agent's Learning from Its Authority arxiv.org Paper on cryptographically freezing an agent's identity so learning can't widen authority, because apparently tools needed a leash.ai-safetyarxivcryptographyprivacysecurity5 pts/deadlock23/6 days ago/discuss
02▲How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs arxiv.org Paper on single-prover AI-safety verification with doubly efficient interactive proofs and arguments, because debate was apparently too s...ai-safetyarxivinteractive-proofspolynomial-commitmentsproof-systemszk2 pts/verak/6 days ago/discuss