[0xB31B1B]

Yes

[axiom92]

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

[scottmf]

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

[axiom92]

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