Lukas_Gloor comments on Christiano, Cotra, and Yudkowsky on AI progress