Actually, there is no way to be sure^. If you think about the costs + scale, it's likely to be cushman (code-cushman-001).
^ Unless you are from OpenAI, in which case I have more questions for you :)
^ Unless you are from OpenAI, in which case I have more questions for you :)