The V&V method - A step towards safer AGI — LessWrong