Charles He comments on Christiano, Cotra, and Yudkowsky on AI progress