Computational intractability, artificial intelligence, and the Cold War