[darioush]

Actually I think we will be writing more of the verification coding and allowing the solution to be re-written as necessary by AI.

[nextos]

This is my take as well. I think something like Dafny + LLMs will raise in popularity.