Comment by mdspan

Right, which makes the one-shot task cost the same as the permanent solution in that case. So if you wanted to do this task even twice, you would still be better off creating the tool once and just using it. Imagine if proof assistants like Lean didn't exist. Research with AI would get a whole lot more expensive if it had to re-create Lean every single time you asked it to prove something.