AI-generated code with OpenAI Codex