Guaranteed Safe AI? World Models, Safety Specs, & Verifiers, with Nora Ammann & Ben Goldhaber

[@2CSST2]

I don't think guaranteeing safety is something that could ever be done when making progress on anything, there will always be unknown unknowns. As a matter of fact though, there are also unknown risks on top of known ones in deciding NOT to make progress...