Gus Docker comments on Provably Safe AI

[Gus Docker]

Thanks for this write-up, Peter!

Here’s an interview I released yesterday with Omohundro on this paper: