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.