Oct 7, 2021
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:
That word vector thing:
(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