Models in boxes

Code verifiability

Narrow access is often used as a proxy for safety; shifting to broad access makes verification at the outer boundary the main safety mechanism.

1 source videos