Global coordination on AI is hard work, but not impossible.