Eliezer Yudkowsky - The Challenge of AI Verification (via searchlore.ai)