“O1 has authored multiple pull requests that have been integrated into OpenAI's internal code repository.”