But they needed to have already solved the problem in order to be able to verify that the LLM hadn't just hallucinated a solution. (and I wonder how many hallu

But they needed to have already solved the problem in order to be able to verify that the LLM hadn't just hallucinated a solution. (and I wonder how many hallucinated solutions the LLM came up and were rejected - sorry "refined" - by the team).