Lex Fridman interview with Lenat a few years back. https://www.youtube.com/watch?v=3wMKoSRbGVs