Contain and verify: The endgame of US-China AI competition — LessWrong