“The U.S. government has not imposed any formal export controls or bans on OpenAI's models.”