
Defense in Depth: Layered Strategies Against AI Risk (with Li-Lian Ang)
Future of Life Institute Podcast
00:00
Boosting defenders versus formal security
Li-Lian discusses differential acceleration for defenders and the limits of usability versus formally verifiable security.
Play episode from 13:44
Transcript


