LLM 让代码廉价化：递归重写或破解软件验证难题

jd_pressman 认为，LLM 让写代码变得极其廉价，即使代码量增至 100 倍，受大量对抗性压力考验的软件也能承受。他主张借助可规模化 agent 和基于现有实现的快速迭代，以递归式重写使大规模代码验证成为可能；有意义的“已验证软件”还要求其依赖项同样经过验证。