Under what circumstances have governments cancelled AI-type systems? — LessWrong