The V&V method – A step towards safer AGI
lesswrong.com