形式化证明推动软件优化转向编写规格

形式化证明正在降低 AI 软件优化的验证成本，使开发者逐渐从亲自撰写证明，转向规定软件应执行的行为。软件优化的重心可能因此从证明代码正确，转向编写规格并审查其是否准确表达人的意图。

AI 根据报道生成 · 48 分钟前更新

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