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 :)

They use similar models to the codex models, they mentioned it a couple years ago

cushman and code-davinci are similar for sure (same architecture). Perhaps that's what they meant.