AI Safety - Clark Barrett

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