So my understanding is it works like this: You take some Python you throw it at OpenAI and you see if the resulting C++ compiles. Doesn't the fact that you need to check the result even compiles also imply you probably want to check if the result is functionally correct also?