I think we should still review code for the proof check. In my opinion (and my CPO) for the outstanding code, you will need excellent requirements, and they can change, or there could be more dependencies. Actual code creation absolutely needs to be more and more reliant on the LLMs to speed up the process. Short answer: 70% yes, 30% human review (especially principal-level engineers) should be there.