In the light of Succinct's announcement of real time proving, I think we should think about how we are going to use provers in the next few years.

I don't think the time to put limits on provers is now: https://ethereum-magicians.org/t/relaxing-the-prover-hardware-requirements-for-the-next-few-years