I am arguing that their is an quantity intercept (The demand for compute if it cost nothing would be a finite number and may go down rather then up with advancements in cheaper inference and accuracy).

Sure you can do all these things you mentioned but eventually even if it was free they would be done and doing some of these things your self would be annoying and a waist of time. Once some has formalized a proof why would some do it again and why would some one rewrite a program again, it will still take time and human effort over just using it. If you just spend 1 minute with each agent of your say 10000

I really don't think most people want to be running tens of thousands of agents and would not find a need for that many agents. if you it takes you just 1 minute of looking at output of your agents that would take you 1 year and 52 days. I think you have to admit there is a limit. Though I could find busy work for my agents, you could do the same with computing before hand such searching for primes, there is a limited thing that people want out of their machines is my point and people who would run such things would be a minority if they exist at all.