I wonder whether they allowed humans input for the AI besides the initial generic prompt? Could they provide guidance for the AI?

We all know that by this kind of problems, intuition/guiding principles to transform the problem is all you need. The human may not be fast enough or error-free to sample correctly the already restricted solution space, but machine can. And for them, it’s a huge advantage. So did they allow human input (as part of a centaur team!) input or not?

These AI teams often have one of the best (ex-) competitive programmers.