And not how many times it was prompted before it returned a working solution. Or how many prior variants of this prompt were tried. Or if proof checking softw

And not how many times it was prompted before it returned a working solution. Or how many prior variants of this prompt were tried. Or if proof checking software was used to hone in on the final winning prompt / LLM output.