热点事件持续更新

递归重写或助规模化软件验证

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

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

AI 根据报道生成 · 1 小时前更新

最新进展10月23日 08:45

沿着报道，了解事件的不同侧面。

10月23日

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

还没有足够的连续观测数据，暂不绘制趋势。