“The o1 model has been used internally at OpenAI to author pull requests in the company's codebases.”