Brett, Naval and more on AI & AGI