x
Steve Omohundro: Provable AI Safety — LessWrong