OpenAI says nearly all its employees have switched from chatbots to Codex agents, but every number comes from OpenAI itself