Podcasts Culture AI Safety - Clark Barrett

AI Safety - Clark Barrett

Published: Oct. 7, 2021, 10:46 a.m.

Prof Clark Barrett of the Stanford Center for AI Safety talks SMT, formal methods, Gödel and God with Passer and Mason.

Check out the exciting work at Stanford:

http://aisafety.stanford.edu/

That word vector thing:

https://twitter.com/goodfellow_ian/status/1133528189651677184?lang=en

(Yes, I am pointing you to a tweet - follow it to the arXiv paper, it's the CURRENTYEAR)

Follow BPO on Twitter: @PLanghaus

My audio was a disaster on this one and I will do better. - PL