That is what they did though. The LLM didn't know what problem it was "solving".
They also don't just keep the best and search from that point but feed the resulting programs and their scores into an LLM.
They also don't just keep the best and search from that point but feed the resulting programs and their scores into an LLM.