OpenAI Codex：基于云的编码代理，由 codex-1 提供动力
OpenAI 已发布 Codex，这是一款面向软件工程的基于云的编码代理。Codex 由 codex-1 模型提供动力，该模型是 OpenAI o3 的一个专门针对编码任务进行优化的版本，通过在真实编码任务上的强化学习进行训练，以模仿人类风格、精确遵循指令，并迭代测试代码直至通过。
技术架构与执行环境
Codex 在隔离的云容器中运行，以确保安全和受控的执行。每个代理在其自己的容器中运行，在模型运行期间不具备互联网访问。环境预装有用户的代码库以及用户定义的开发环境，包括所有必要的依赖、配置和工具。
在此隔离环境中，Codex 具备以下能力：
- 文件系统访问：代理可以读取和编辑容器内的文件。
- 命令执行：Codex 可以执行终端命令，包括运行测试、代码检查工具和类型检查器，以验证其工作。
工作流与可验证性
Codex 旨在提供其操作的可验证证据。模型会提供终端日志和文件的引用，以便用户验证代理所执行的工作。
任务完成后，用户有三种主要方式来整合结果：
- 检查：用户可以审查代理工作的结果。
- 改进：用户可以请求对模型输出进行进一步的更改或改进。
- 导出：用户可以将生成的差异导出为 GitHub 拉取请求，或复制代码用于本地测试和开发。
与 o3 和 o4-mini 的关系
此公告作为 OpenAI o3 和 o4-mini 系统卡的补充，提供了关于 Codex 代理能力以及使用 codex-1 模型的技术实现的具体细节。